Tags

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

0.10

6c7ff461 · [release] Bump version to 0.10 · Dec 02, 2025

Release: Release v0.10
```
Release 0.10
```
0.10-beta

96288824 · Update changelog · Nov 03, 2025

Release: Release v0.10~beta
```
Release 0.10~beta
```
0.9

b4c6a928 · [release] bump version to 0.9 (Frama-C 31.0 Gallium) · Jun 24, 2025

Release: Release v0.9
```
Release 0.9
```
0.9-beta

c713a1a8 · changelog entry · May 27, 2025

Release: Release v0.9~beta
```
Release 0.9~beta
```
0.8

9db1739c · [ci] automated release should be _fully_ automated · Dec 11, 2024

Release: Release v0.8
```
Release 0.8
```
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

1
2