Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
24.0-tacinstance-fix
c82d73d9
·
fix TacInstance
·
Apr 12, 2022
Release:
24.0 TacInstance Fix
new tag
2022-03-23
1e5a4ec5
·
Merge branch 'fix/doc-makefile' into 'master'
·
Mar 22, 2022
24.0
c5a50737
·
Version bump
·
Nov 30, 2021
24.0-beta
4e9d990c
·
[wp] configure checks for correct Coq version
·
Nov 04, 2021
23.1
5b639faf
·
[opam] Fix opam file version
·
Jul 21, 2021
23.0
03efab5b
·
Fix opam version
·
Jul 06, 2021
23.0-rc1
0d437d3f
·
Handle version with tilde by using it with branch name and files
·
May 20, 2021
22.0+r2
f32442be
·
Merge branch 'feature/eva/builtins' into 'master'
·
Mar 01, 2021
22.0+r1
f609aa83
·
[wp] fix triggers for cint ranges
·
Nov 26, 2020
22.0
1d61b784
·
[doc] Update Frama-C versions
·
Nov 20, 2020
22.0-beta
cc18134c
·
Removes automatically inserted end-of-line
·
Oct 28, 2020
2020-10-16
a49f2eed
·
Merge branch 'bugfix/basile/eacsl-bittree-compilation' into 'master'
·
Oct 15, 2020
2020-10-15
159bca76
·
Merge branch 'fix/wp/initialized-issues-965' into 'master'
·
Oct 15, 2020
THS-1
c5f05916
·
update opam version number
·
Sep 10, 2020
thales-dis/2020-08-06
c6bf67b9
·
[wp] Add a comment for Term context zones
·
Aug 04, 2020
21.1
9abcd565
·
21.1 minor release
·
Jun 24, 2020
21.0
c384486c
·
update version number for final 21.0-Scandium release
·
Jun 11, 2020
Frama-C 21.0 (Scandium) release.
21.0-beta
f4c58515
·
Merge branch 'feature/andre/release-script-and-manuals' into 'stable/scandium'
·
May 15, 2020
20.0
333b5db4
·
fix changelog for release
·
Dec 04, 2019