Tags · Charles Southerland / frama-c · GitLab

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

22.0+r2

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

Download source code

zip tar.gz tar.bz2 tar
22.0+r1

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

Download source code

zip tar.gz tar.bz2 tar
22.0

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

Download source code

zip tar.gz tar.bz2 tar
22.0-beta

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

Download source code

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

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

Download source code

zip tar.gz tar.bz2 tar
21.1

9abcd565 · 21.1 minor release · Jun 24, 2020

Download source code

zip tar.gz tar.bz2 tar
21.0

c384486c · update version number for final 21.0-Scandium release · Jun 11, 2020
```
Frama-C 21.0 (Scandium) release.
```
Download source code

zip tar.gz tar.bz2 tar
21.0-beta

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

Download source code

zip tar.gz tar.bz2 tar
Vessedia-D3.5

af482dc9 · Merge branch '771-wp-multiple-instances-of-the-generic-list-type' into 'master' · Dec 18, 2019
```
Frama-C release as provided in Vessedia D3.5 deliverable
```
Download source code

zip tar.gz tar.bz2 tar
20.0

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

Download source code

zip tar.gz tar.bz2 tar
19.1

701a4902 · Merge branch 'feature/potassium-19.1' into 'stable/potassium' · Sep 17, 2019

Download source code

zip tar.gz tar.bz2 tar
19.0

f762aafa · Sets version to 19.0 for the Potassium release. · Jun 21, 2019

Download source code

zip tar.gz tar.bz2 tar
18.0

c1c1951e · Fixes the build-src-distrib script for the new VERSION format. · Nov 28, 2018

Download source code

zip tar.gz tar.bz2 tar