Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Charles Southerland
frama-c
Commits
c384486c
Commit
c384486c
authored
Jun 10, 2020
by
Andre Maroneze
Browse files
update version number for final 21.0-Scandium release
parent
f26c6871
Changes
3
Hide whitespace changes
Inline
Side-by-side
ALL_VERSIONS
View file @
c384486c
Version number Date of release Notes
============== =============== =====
21.0 (Scandium) 2020, June 11
20.0 (Calcium) 2019, December 4
19.1 (Potassium) 2019, September 18 OCaml 4.08 compatibility
19.0 (Potassium) 2019, June 21
...
...
VERSION
View file @
c384486c
21.0
-beta
21.0
opam/opam
View file @
c384486c
...
...
@@ -16,7 +16,7 @@ Thanks to this approach, Frama-C provides sophisticated tools, including:
These plug-ins communicate between each other via the Frama-C API
and via ACSL (ANSI/ISO C Specification Language) properties.
"""
version: "21.0
-beta
"
version: "21.0"
maintainer: "francois.bobot@cea.fr"
authors: [
"Michele Alberti"
...
...
Write
Preview
Supports
Markdown
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