Skip to content

GitLab

Explore

Sign in

Tags

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

0.0.17-beta

e62fc25c · [opam] opam lint insist on explicit URL · Nov 15, 2024

Release: Release v0.0.17~beta
```
Release 0.0.17~beta
```
0.0.16

14092f5c · 2024 headers · Sep 04, 2024

Release: Release v0.0.16
```
Release 0.0.16
```
0.0.15

4c406b61 · [ci] explicitly add needed packages for nix release target · Mar 19, 2024

Release: Release v0.0.15
```
Release 0.0.15
```
0.0.14

37978d6c · [opam] update dependencies for package · Aug 31, 2023

Release: Frama-Clang 0.0.14 for Frama-C 27 - Cobalt
```
v0.0.14
```
0.0.13

6aa099a2 · update requirements in README · Oct 06, 2022

Release: Frama-Clang 0.0.13, compatible with Frama-C 25.0 Manganese
pre-dune

85dbf80c · Update nix/frama-ci.* · Jun 07, 2022
0.0.12

c1505102 · [distrib] distribute gen_ast.mli · Apr 11, 2022

Release: Frama-Clang 0.0.12, compatible with Frama-C 24.0 Chromium
24.0-beta

0f8e9caa · Merge branch 'feature/andre/static-assert' into 'stable/chromium' · Oct 26, 2021
0.0.10

902ac8e0 · update user manual · Mar 08, 2021
v0.0.10

78c4fa71 · version bump · Mar 08, 2021
VESSEDIA-D2.5

d0dc3251 · update version number · Dec 13, 2019
```
Release made as part of VESSEDIA deliverable D2.5
```
VESSEDIA-D2.3

0932c396 · version bump · Aug 30, 2019
```
release made for VESSEDIA deliverable D2.3
```
0.0.4

432af3e2 · Bump version number · Dec 21, 2017
```
Tag release 0.0.4
```
20150324

642b01aa · [Na-compat] Revert "Update pretty-printer extension against new kernel API" · Mar 24, 2015
```
Stance internal release on 2015-03-24
```