Tags

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

0.2.3

f074f33e · Add opam file · Jun 18, 2024

Release: LAnnotate 0.2.3 for Frama-C 29 - Copper
0.2.1

da72d8e3 · bump Frama-C version · Aug 04, 2023

Release: LAnnotate 0.2.1 for Frama-C 27 - Cobalt
```
update upper bound of Frama-C dependency
```
0.2

3c103d7e · update opam instructions · Aug 25, 2022

Release: Lannotate for 25.0 Manganese
25.0-beta

9401a9a9 · Merge branch 'stable/chromium' · Mar 30, 2022
0.1

fe67eff0 · update markdown · Mar 30, 2022

Release: Lannotate for 24.0 Chromium