Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 168
    • Issues 168
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
    • Model experiments
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Wiki
  • Home

Home · Changes

Page history
24.0-beta-Chromium release authored Nov 04, 2021 by Virgile Prevosto's avatar Virgile Prevosto
Show whitespace changes
Inline Side-by-side
Home.md
View page @ 792e5b28
......@@ -5,6 +5,7 @@ This wiki mainly hosts manuals for pre-releases of Frama-C. Final releases and t
Available releases:
<!-- LAST RELEASE -->
- [24.0-beta (Chromium)](Frama-C-24.0-beta-Chromium)
- [23.1 (Vanadium)](Frama-C-23.1-Vanadium)
- [23.0 (Vanadium)](Frama-C-23.0-Vanadium)
- [23.0~rc1 (Vanadium)](Frama-C-23.0-rc1-Vanadium)
......
Clone repository
Final Releases
  • 23.1 (Vanadium)
  • 23.0 (Vanadium)
  • 22.0 (Titanium)
  • 21.1 (Scandium)
  • 21.0 (Scandium)
  • 20.0 (Calcium)
  • 19.1 (Potassium)
  • 19.0 (Potassium)
  • 18.0 (Argon)
  • Chlorine-20180502
  • Chlorine-20180501
  • Sulfur-20171101
  • Phosphorus-20170501

Beta Releases
  • 24.0-beta (Chromium)
  • 23.0~rc1 (Vanadium)
  • 22.0-beta (Titanium)
  • 21.0-beta (Scandium)
  • 20.0-beta (Calcium)
  • 19.0-beta2 (Potassium)
  • 19.0-beta (Potassium)
  • 18.0-beta (Argon)
  • Chlorine-20180501-beta
  • Sulfur-20171101-beta
  • 15-Phosphorus beta1