Tags

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

30.0 protected

01813077 · tentative fix for building ivette package in the CI on macos · Dec 05, 2024

Release: Frama-C 30.0 Zinc
30.0-beta protected

c8b7d55c · [opam] fix wrong userman name · Nov 07, 2024
MIEL-2024-10 protected

0b3a0861 · [region] refactor add-field · Oct 10, 2024
29.0 protected

87cc1d5a · Release of 29.0 (Copper) · Jun 05, 2024

Release: Frama-C 29.0 Copper
29.0-beta protected

dc89269b · [libc] Initialize vld to avoid warning with macos · May 14, 2024
28.1 protected

e7192abf · 28.1 release · Feb 29, 2024

Release: Frama-C 28.1 Nickel
28.0 protected

b3dbccc6 · [release] fix script for beta -> final release · Nov 30, 2023

Release: Frama-C 28.0 Nickel
MIEL-2023-10 protected

49876062 · Merge branch 'fix/normalize-spelling-of-preprocessor' into 'master' · Oct 17, 2023
```
MIEL 2023-10 release
```
28.0-beta protected

22713a7c · [release] add main changes for 28.0 · Oct 26, 2023
27.1 protected

2b89cfd8 · Frama-C 27.1 - Cobalt · Jul 18, 2023

Release: Frama-C 27.1 Cobalt
27.0 protected

93a2c7dd · Frama-C 27.0 - Cobalt · Jun 14, 2023

Release: Frama-C 27.0 Cobalt
27.0-beta protected

2aef8ff2 · [ci] fix yaml dependency on internal tests · May 16, 2023
26.1 protected

b668f35a · Fixes Changelog. · Feb 15, 2023

Release: Frama-C 26.1 Iron
26.0 protected

7d685b17 · Fixes a minor typo in the main changes for the 26.0 release. · Nov 23, 2022

Release: Frama-C 26.0 Iron
26.0-beta protected

102b7b76 · [ci] Fixes the publish-website script. · Oct 28, 2022
25.0-r1 protected

56625c50 · fix version number in opam/opam · Jul 06, 2022
pre-dune protected

16011f2c · Merge branch 'feature/eva/api-callbacks' into 'master' · Jul 06, 2022
25.0 protected

33434c44 · Release 25.0 · Jun 21, 2022

Release: Frama-C 25.0 Manganese
25.0-beta protected

2d75836d · Update E-ACSL version · May 11, 2022
2022-03-23 protected

1e5a4ec5 · Merge branch 'fix/doc-makefile' into 'master' · Mar 22, 2022

Prev
1
2
Next