Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
F
frama-c
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
14
Issues
14
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
Operations
Operations
Incidents
Packages & Registries
Packages & Registries
Container Registry
Analytics
Analytics
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
pub
frama-c
Commits
9abcd565
Commit
9abcd565
authored
Jun 24, 2020
by
Andre Maroneze
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
21.1 minor release
parent
9b253e39
Changes
4
Hide whitespace changes
Inline
Side-by-side
Showing
4 changed files
with
5 additions
and
4 deletions
+5
-4
ALL_VERSIONS
ALL_VERSIONS
+1
-0
Changelog
Changelog
+1
-1
VERSION
VERSION
+1
-1
opam/opam
opam/opam
+2
-2
No files found.
ALL_VERSIONS
View file @
9abcd565
Version number Date of release Notes
============== =============== =====
21.1 (Scandium) 2020, June 25 Bugs fixed
21.0 (Scandium) 2020, June 11
20.0 (Calcium) 2019, December 4
19.1 (Potassium) 2019, September 18 OCaml 4.08 compatibility
...
...
Changelog
View file @
9abcd565
...
...
@@ -14,7 +14,7 @@
###############################################################################
##################################
Open Source Release
<next-release>
Open Source Release
21.1 (Scandium)
##################################
###################################
...
...
VERSION
View file @
9abcd565
21.
0
21.
1
opam/opam
View file @
9abcd565
...
...
@@ -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
"
version: "21.
1
"
maintainer: "francois.bobot@cea.fr"
authors: [
"Michele Alberti"
...
...
@@ -65,7 +65,7 @@ authors: [
homepage: "http://frama-c.com/"
license: "GNU Lesser General Public License version 2.1"
dev-repo: "git+https://git.frama-c.com/pub/frama-c.git"
doc: "http://frama-c.com/download/user-manual-21.
0
-Scandium.pdf"
doc: "http://frama-c.com/download/user-manual-21.
1
-Scandium.pdf"
bug-reports: "https://bts.frama-c.com/"
tags: [
"deductive"
...
...
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