Skip to content
GitLab
Explore
Sign in
pub
frama-c
Tags
Tags give the ability to mark specific points in history as being important
28.1
protected
e7192abf
·
28.1 release
·
Feb 29, 2024
Release:
Frama-C 28.1 Nickel
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
28.0
protected
b3dbccc6
·
[release] fix script for beta -> final release
·
Nov 30, 2023
Release:
Frama-C 28.0 Nickel
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
MIEL-2023-10
protected
49876062
·
Merge branch 'fix/normalize-spelling-of-preprocessor' into 'master'
·
Oct 17, 2023
MIEL 2023-10 release
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
28.0-beta
protected
22713a7c
·
[release] add main changes for 28.0
·
Oct 26, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
27.1
protected
2b89cfd8
·
Frama-C 27.1 - Cobalt
·
Jul 18, 2023
Release:
Frama-C 27.1 Cobalt
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
27.0
protected
93a2c7dd
·
Frama-C 27.0 - Cobalt
·
Jun 14, 2023
Release:
Frama-C 27.0 Cobalt
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
27.0-beta
protected
2aef8ff2
·
[ci] fix yaml dependency on internal tests
·
May 16, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
26.1
protected
b668f35a
·
Fixes Changelog.
·
Feb 15, 2023
Release:
Frama-C 26.1 Iron
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
26.0
protected
7d685b17
·
Fixes a minor typo in the main changes for the 26.0 release.
·
Nov 23, 2022
Release:
Frama-C 26.0 Iron
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
26.0-beta
protected
102b7b76
·
[ci] Fixes the publish-website script.
·
Oct 28, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
25.0-r1
protected
56625c50
·
fix version number in opam/opam
·
Jul 06, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pre-dune
protected
16011f2c
·
Merge branch 'feature/eva/api-callbacks' into 'master'
·
Jul 06, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
25.0
protected
33434c44
·
Release 25.0
·
Jun 21, 2022
Release:
Frama-C 25.0 Manganese
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
25.0-beta
protected
2d75836d
·
Update E-ACSL version
·
May 11, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2022-03-23
protected
1e5a4ec5
·
Merge branch 'fix/doc-makefile' into 'master'
·
Mar 22, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
24.0
protected
c5a50737
·
Version bump
·
Nov 30, 2021
Release:
24.0 - Chromium
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
24.0-beta
protected
4e9d990c
·
[wp] configure checks for correct Coq version
·
Nov 04, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
23.1
protected
5b639faf
·
[opam] Fix opam file version
·
Jul 21, 2021
Release:
23.1
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
23.0
protected
03efab5b
·
Fix opam version
·
Jul 06, 2021
Release:
23.0
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
23.0-rc1
protected
0d437d3f
·
Handle version with tilde by using it with branch name and files
·
May 20, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next