Tags · pub / frama-c · GitLab

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

27.1 protected

2b89cfd8 · Frama-C 27.1 - Cobalt · Jul 18, 2023

Release: Frama-C 27.1 Cobalt

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

Download source code

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

2aef8ff2 · [ci] fix yaml dependency on internal tests · May 16, 2023

Download source code

zip tar.gz tar.bz2 tar
26.1 protected

b668f35a · Fixes Changelog. · Feb 15, 2023

Release: Frama-C 26.1 Iron

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

Download source code

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

102b7b76 · [ci] Fixes the publish-website script. · Oct 28, 2022

Download source code

zip tar.gz tar.bz2 tar
25.0-r1 protected

56625c50 · fix version number in opam/opam · Jul 06, 2022

Download source code

zip tar.gz tar.bz2 tar
pre-dune protected

16011f2c · Merge branch 'feature/eva/api-callbacks' into 'master' · Jul 06, 2022

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

Download source code

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

2d75836d · Update E-ACSL version · May 11, 2022

Download source code

zip tar.gz tar.bz2 tar
2022-03-23 protected

1e5a4ec5 · Merge branch 'fix/doc-makefile' into 'master' · Mar 22, 2022

Download source code

zip tar.gz tar.bz2 tar
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