Tags · pub / meta · GitLab

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

0.2

d01ef8d4 · version bump and update opam file · Jan 04, 2022

Release MetAcsl 0.2, compatible with Frama-C 24.0 Chromium

Download source code

zip tar.gz tar.bz2 tar
24.0-beta

81ccaa96 · [ci] set default branch to stable/chromium · Oct 19, 2021

Download source code

zip tar.gz tar.bz2 tar
0.1.2

1a72ad9e · Merge branch 'feature/wp/test-cfg' into 'master' · Mar 01, 2021

Download source code

zip tar.gz tar.bz2 tar
0.1.1

55985a47 · Merge branch 'feature/called_arg' into 'master' · Jan 28, 2021

Download source code

zip tar.gz tar.bz2 tar
0.1

6518a6e6 · preparing v0.1 · Nov 27, 2020

Release First public release of MetAcsl

Download source code

zip tar.gz tar.bz2 tar
compat-fc-22.0-beta-1 Introducing new option `-meta-separate-annots`

4c29c7bb · shorter option name for separating annotations + update README · Nov 05, 2020

Download source code

zip tar.gz tar.bz2 tar
compat-fc-22.0-beta This tag is meant to be compiled against Frama-C [22.0-beta](https://git.frama-c.com/pub/frama-c/-/tags/22.0-beta)

6ae75d54 · Merge branch 'fix/union-simpl' into 'stable/titanium' · Oct 27, 2020

Download source code

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

86a09659 · [opam] opam configuration for public release · Oct 15, 2020

Download source code

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

14dd5df8 · [license] put LICENSE at toplevel · Oct 15, 2020

Download source code

zip tar.gz tar.bz2 tar