Tags · pub / frama-c · GitLab

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

24.0 protected

c5a50737 · Version bump · Nov 30, 2021

Release 24.0 - Chromium

Download source code

zip tar.gz tar.bz2 tar
24.0-beta protected

4e9d990c · [wp] configure checks for correct Coq version · Nov 04, 2021

Download source code

zip tar.gz tar.bz2 tar
23.1 protected

5b639faf · [opam] Fix opam file version · Jul 21, 2021

Release 23.1

Download source code

zip tar.gz tar.bz2 tar
23.0 protected

03efab5b · Fix opam version · Jul 06, 2021

Release 23.0

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

Download source code

zip tar.gz tar.bz2 tar
22.0+r2 protected

f32442be · Merge branch 'feature/eva/builtins' into 'master' · Mar 01, 2021

Download source code

zip tar.gz tar.bz2 tar
22.0+r1 protected

f609aa83 · [wp] fix triggers for cint ranges · Nov 26, 2020

Download source code

zip tar.gz tar.bz2 tar
22.0 protected

1d61b784 · [doc] Update Frama-C versions · Nov 20, 2020

Release 22.0

Download source code

zip tar.gz tar.bz2 tar
22.0-beta protected

cc18134c · Removes automatically inserted end-of-line · Oct 28, 2020

Download source code

zip tar.gz tar.bz2 tar
2020-10-16 protected

a49f2eed · Merge branch 'bugfix/basile/eacsl-bittree-compilation' into 'master' · Oct 15, 2020

Download source code

zip tar.gz tar.bz2 tar
2020-10-15 protected

159bca76 · Merge branch 'fix/wp/initialized-issues-965' into 'master' · Oct 15, 2020

Download source code

zip tar.gz tar.bz2 tar
THS-1 protected

c5f05916 · update opam version number · Sep 10, 2020

Download source code

zip tar.gz tar.bz2 tar
thales-dis/2020-08-06 protected

c6bf67b9 · [wp] Add a comment for Term context zones · Aug 04, 2020

Download source code

zip tar.gz tar.bz2 tar
21.1 protected

9abcd565 · 21.1 minor release · Jun 24, 2020

Download source code

zip tar.gz tar.bz2 tar
21.0 protected Frama-C 21.0 (Scandium) release.

c384486c · update version number for final 21.0-Scandium release · Jun 11, 2020

Release 21.0

Download source code

zip tar.gz tar.bz2 tar
21.0-beta protected

f4c58515 · Merge branch 'feature/andre/release-script-and-manuals' into 'stable/scandium' · May 15, 2020

Download source code

zip tar.gz tar.bz2 tar
20.0 protected

333b5db4 · fix changelog for release · Dec 04, 2019

Download source code

zip tar.gz tar.bz2 tar