Tags

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

compat-fc-22.0-beta-1

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

compat-fc-22.0-beta

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
2020-10-15

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

Prev
1
2
Next