- 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
-
- Sep 17, 2024
-
-
Allan Blanchard authored
-
- Aug 21, 2024
-
-
Loïc Correnson authored
-
- Aug 08, 2024
-
-
Thibault Martin authored
[dune] follow Frama-C dune version See merge request frama-c/meta!104
-
-
Allan Blanchard authored
Uses Logic_builtin.register instead of Logic_builtin.add. See merge request frama-c/meta!103
-
Allan Blanchard authored
-
- Aug 07, 2024
-
-
David Bühler authored
-
- Jul 30, 2024
-
-
Virgile Prevosto authored
Replace deprecated Cil type constructors with Cil_const See merge request frama-c/meta!102
-
- Jul 26, 2024
-
-
Thibault Martin authored
-
- Jun 10, 2024
-
-
Allan Blanchard authored
-
- May 15, 2024
-
-
Allan Blanchard authored
(cherry picked from commit 0a361eaf)
-
Allan Blanchard authored
Fix opam version after Frama-C master update See merge request frama-c/meta!101
-
-
- May 13, 2024
-
-
Thibault Martin authored
-
Thibault Martin authored
-
- Apr 02, 2024
-
-
Virgile Prevosto authored
Merge branch 'fix/martin/kernel/1293-misleading-api-function-annotations-iter_behaviors' into 'master' Fix/martin/kernel/1293 misleading api function annotations iter behaviors See merge request frama-c/meta!87
-
Thibault Martin authored
-
- Mar 29, 2024
-
-
Virgile Prevosto authored
Feature/martin/kernel/add stack datatype and state builder See merge request frama-c/meta!96
-
- Mar 28, 2024
-
-
- Mar 26, 2024
-
-
Allan Blanchard authored
Fix/kernel/1023 extension acsl See merge request frama-c/meta!85
-
- Mar 25, 2024
-
-
- Mar 19, 2024
-
-
Virgile Prevosto authored
sync with frama-c/frama-c!4310 See merge request frama-c/meta!99
-
- Mar 13, 2024
-
-
Allan Blanchard authored
[nix] changes deprecated symbol See merge request frama-c/meta!98
-
- Mar 12, 2024
-
-
Andre Maroneze authored
-
- Mar 11, 2024
-
-
Allan Blanchard authored
-
- Mar 07, 2024
-
-
Virgile Prevosto authored
Feature/kernel/martin/refactoring check builtins See merge request frama-c/meta!86
-
- Mar 06, 2024
-
-
- Feb 22, 2024
-
-
Loïc Correnson authored
Update WP cache See merge request frama-c/meta!97
-
