Skip to content
GitLab
Projects Groups 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
    • Contributors
    • Graph
    • Compare
  • Issues 173
    • Issues 173
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • Deployments
    • Deployments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
  • 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 · History

Page version Author Changes Last updated
4ac9ff90 David Bühler
Update Home
Feb 15, 2023
842c7587 David Bühler
Update Home
Nov 23, 2022
0f7b4cca David Bühler
Update Home
Oct 28, 2022
fa6ca4d2 François Bobot
25.0-Manganese release
Jun 21, 2022
60da0f5c François Bobot
25.0-beta-Manganese release
May 11, 2022
978598e3 Virgile Prevosto
24.0-Chromium release
Nov 30, 2021
792e5b28 Virgile Prevosto
24.0-beta-Chromium release
Nov 04, 2021
65dc6a46 Allan Blanchard
23.1-Vanadium release
Jul 21, 2021
186bff2e Allan Blanchard
23.0-Vanadium release
Jul 06, 2021
8e78f110 François Bobot
23.0-rc1-Vanadium release
May 20, 2021
97572bfa Allan Blanchard
22.0 Titanium release
Nov 20, 2020
0438e12c Allan Blanchard
22.0-beta Titanium release
Oct 28, 2020
1da6f945 Andre Maroneze
21.1 Scandium release
Jun 24, 2020
4d17a4fd Andre Maroneze
21.0 Scandium release
Jun 11, 2020
4940046e Andre Maroneze
21.0-beta-Scandium release
May 15, 2020
d6382bfe Andre Maroneze
Initial import from Github's Frama-C-snapshot
May 11, 2020
Clone repository
Final Releases
  • 26.1 (Iron)
  • 26.0 (Iron)
  • 25.0 (Manganese)
  • 24.0 (Chromium)
  • 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
  • 26.0~beta (Iron)
  • 25.0~beta (Manganese)
  • 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