Snippets Groups Projects

Tags

Tags give the ability to mark specific points in history as being important

24.0

c5a50737 · Version bump · 3 years ago
zip
tar.gz
tar.bz2
tar
24.0-beta

4e9d990c · [wp] configure checks for correct Coq version · 3 years ago
zip
tar.gz
tar.bz2
tar
23.1

5b639faf · [opam] Fix opam file version · 3 years ago
zip
tar.gz
tar.bz2
tar
23.0

03efab5b · Fix opam version · 3 years ago
zip
tar.gz
tar.bz2
tar
23.0-rc1

0d437d3f · Handle version with tilde by using it with branch name and files · 3 years ago
zip
tar.gz
tar.bz2
tar
22.0+r2

f32442be · Merge branch 'feature/eva/builtins' into 'master' · 4 years ago
zip
tar.gz
tar.bz2
tar
22.0+r1

f609aa83 · [wp] fix triggers for cint ranges · 4 years ago
zip
tar.gz
tar.bz2
tar
22.0

1d61b784 · [doc] Update Frama-C versions · 4 years ago
zip
tar.gz
tar.bz2
tar
22.0-beta

cc18134c · Removes automatically inserted end-of-line · 4 years ago
zip
tar.gz
tar.bz2
tar
2020-10-16

a49f2eed · Merge branch 'bugfix/basile/eacsl-bittree-compilation' into 'master' · 4 years ago
zip
tar.gz
tar.bz2
tar
2020-10-15

159bca76 · Merge branch 'fix/wp/initialized-issues-965' into 'master' · 4 years ago
zip
tar.gz
tar.bz2
tar
THS-1

c5f05916 · update opam version number · 4 years ago
zip
tar.gz
tar.bz2
tar
thales-dis/2020-08-06

c6bf67b9 · [wp] Add a comment for Term context zones · 4 years ago
zip
tar.gz
tar.bz2
tar
21.1

9abcd565 · 21.1 minor release · 4 years ago
zip
tar.gz
tar.bz2
tar
21.0

c384486c · update version number for final 21.0-Scandium release · 4 years ago
```
Frama-C 21.0 (Scandium) release.
```
zip
tar.gz
tar.bz2
tar
21.0-beta

f4c58515 · Merge branch 'feature/andre/release-script-and-manuals' into 'stable/scandium' · 4 years ago
zip
tar.gz
tar.bz2
tar
20.0

333b5db4 · fix changelog for release · 5 years ago
zip
tar.gz
tar.bz2
tar