- Feb 25, 2025
-
-
Thibault Martin authored
[Kernel compatibility] Use new Ast_types module See merge request frama-c/meta!113
-
- Feb 24, 2025
-
-
Virgile Prevosto authored
-
- Feb 20, 2025
-
-
Thibault Martin authored
-
- Feb 19, 2025
-
-
Maxime Jacquemin authored
Bind parameters of the Option monad See merge request frama-c/meta!114
-
Maxime Jacquemin authored
-
Maxime Jacquemin authored
-
- Feb 03, 2025
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
- Jan 31, 2025
-
-
Thibault Martin authored
[kernel compatiblity] Use records for Cil_types.typ See merge request frama-c/meta!110
-
Thibault Martin authored
-
- Jan 27, 2025
-
-
Allan Blanchard authored
Follows Frama-C Nix update See merge request frama-c/meta!112
-
- Jan 24, 2025
-
-
Allan Blanchard authored
-
- Jan 16, 2025
-
-
Thibault Martin authored
Update headers to 2025 See merge request frama-c/meta!111
-
Thibault Martin authored
-
- Dec 11, 2024
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
- Dec 10, 2024
-
-
Virgile Prevosto authored
-
- Dec 09, 2024
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
- Nov 15, 2024
-
-
Virgile Prevosto authored
-
- Nov 08, 2024
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
- Nov 07, 2024
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
- Oct 25, 2024
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
- Oct 08, 2024
-
-
Allan Blanchard authored
[ci] Remove DEFAULT after merge in Frama-CI See merge request frama-c/meta!109
-
- Oct 03, 2024
-
-
Thibault Martin authored
-
Thibault Martin authored
-
Thibault Martin authored
-
Thibault Martin authored
-
Thibault Martin authored
-
Thibault Martin authored
-
- Sep 25, 2024
-
-
Allan Blanchard authored
[wp] fix integer/pointer conversion See merge request frama-c/meta!107
-
Allan Blanchard authored
-
- Sep 23, 2024
-
-
Thibault Martin authored
Feature/acsl/modules See merge request frama-c/meta!100
-
- Sep 18, 2024
-
-
Allan Blanchard authored
Removed axioms in WP Why3 theories See merge request frama-c/meta!106
-