Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Open sidebar
POLLIEN Baptiste
paparazzi-frama-c
Commits
c7ce20dd
Commit
c7ce20dd
authored
May 21, 2021
by
GARION Christophe
Browse files
fmics21: minor changes in README
parent
ee6d34e0
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
2 additions
and
3 deletions
+2
-3
README.md
README.md
+2
-3
No files found.
README.md
View file @
c7ce20dd
...
...
@@ -14,9 +14,8 @@ Required software
-----------------
To run the verification, the following software are required:
-
Frama-C, the compiled version from the
[
source
](
https://git.frama-c.com/pub/frama-c
)
, tested on commit:
3fa7de0c695188a9b0adf7a8b8bfb24a335c1df7
-
Frama-C, a compiled version from
[
source
](
https://git.frama-c.com/pub/frama-c
)
using commit
`3fa7de0c`
-
Alt-Ergo 2.3.3
-
CVC4 1.9-prerelease
-
Z3 4.8.6
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment