Tags

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

0.8-beta

a1cf62b8 · [doc] fix Why3's URL · Nov 15, 2024

Release: Release v0.8~beta
```
Release 0.8~beta
```
0.7

368ff9b4 · [release] Bump version to 0.7 · Oct 03, 2024

Release: Release v0.7
```
Release 0.7
```
0.6

df15bd93 · [release-script] Misc fixes · Feb 15, 2024

Release: Release v0.6
```
Release 0.6
```
0.5.1

3a3777b7 · Merge branch 'check-callee-assigns-declared-27.1' into 'stable/cobalt' · Nov 22, 2023
0.5

3c771013 · v.0.5 · Nov 07, 2023

Release: MetAcsl 0.5, compatible with Frama-C 27.x
feature-callee-assigns

5108aa28 · Merge branch 'check-callee-assigns' into 'stable/cobalt' · Nov 07, 2023
0.5-beta

cb710f21 · update version and opam dependencies · May 17, 2023

Release: MetAcsl 0.5~beta, compatible with Frama-C 27.0~beta
0.4

fefcc911 · Update installation instructions · Dec 08, 2022

Release: MetAcsl 0.4, compatible with Frama-C 26.0 Manganese
0.4-beta

27c5ac8f · Merge branch 'feature/0.4-release' into 'stable/iron' · Nov 04, 2022
pre-dune

41189bee · Update version number to 0.3+dev · Jul 08, 2022
0.3

3a6bf467 · Preparing release 0.3 (for Manganese) · Jul 05, 2022

Release: MetAcsl 0.3, compatible with Frama-C 25.0 Manganese
2022-03-23

70a8c43d · Merge branch 'fix/andre/enable-warning-6' into 'master' · Mar 04, 2022
0.2

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

Release: MetAcsl 0.2, compatible with Frama-C 24.0 Chromium
24.0-beta

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

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

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

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

Release: First public release of MetAcsl
compat-fc-22.0-beta-1

4c29c7bb · shorter option name for separating annotations + update README · Nov 05, 2020
```
Introducing new option `-meta-separate-annots`
```

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

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)

2020-10-16

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