Tags · pub / ltest / lannotate · GitLab

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

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
```
Download source code

zip tar.gz tar.bz2 tar
0.2

3c103d7e · update opam instructions · Aug 25, 2022

Release: Lannotate for 25.0 Manganese

Download source code

zip tar.gz tar.bz2 tar
25.0-beta

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

Download source code

zip tar.gz tar.bz2 tar
0.1

fe67eff0 · update markdown · Mar 30, 2022

Release: Lannotate for 24.0 Chromium

Download source code

zip tar.gz tar.bz2 tar