- 14 Jan, 2022 7 commits
-
-
Patrick Baudin authoredFix/makefile rectypes See merge request frama-c/frama-c!3530
-
Virgile Prevosto authored
[Libc] add langinfo.h; add definitions to improve non-POSIX compatibility See merge request frama-c/frama-c!3322
-
Andre Maroneze authored -
Andre Maroneze authored
-
Andre Maroneze authored
-
Virgile Prevosto authored
[Kernel] cleanup unused code in Rmtmps See merge request frama-c/frama-c!3529
-
Andre Maroneze authored
-
- 13 Jan, 2022 3 commits
-
-
Andre Maroneze authored
-
Allan Blanchard authored[Rte] add dkey for function annotation messages; remove unnecessary warn See merge request frama-c/frama-c!3499
-
Allan Blanchard authored
-
- 12 Jan, 2022 11 commits
-
-
Michele Alberti authored[Libc] add spec for GCC builtin __sync_synchronize Closes #784 See merge request frama-c/frama-c!3493
-
Andre Maroneze authored
-
Allan Blanchard authored
Remove useless subtitution in Induction tactic See merge request frama-c/frama-c!3526
-
Allan Blanchard authored
-
Patrick Baudin authored
[wp/doc] Document Mod-Mask See merge request frama-c/frama-c!3521
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
Fix induction tactic typing See merge request frama-c/frama-c!3524
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- 11 Jan, 2022 6 commits
-
-
Andre Maroneze authored
[Cabs2cil] avoid crash with overly large array initializers See merge request frama-c/frama-c!3520
-
David Bühler authored
[Eva] Simplify the usage of Abstraction.dynamic_register See merge request frama-c/frama-c!3473
-
-
Andre Maroneze authored
[Eva] Fixes crashes when evaluating some ACSL terms with top locations. See merge request frama-c/frama-c!3503
-
Virgile Prevosto authored
-
Andre Maroneze authored
-
- 10 Jan, 2022 13 commits
-
-
Allan Blanchard authored
[WP] bitwise operator land : added simplification rules and tactic See merge request frama-c/frama-c!3444
-
Allan Blanchard authored
-
Patrick Baudin authored
-
Maxime Jacquemin authored[gui] In the project menu, fixes project names containing the character '&'. See merge request frama-c/frama-c!3491
-
Allan Blanchard authored
Cosmetic changes on Goal GUI See merge request frama-c/frama-c!3513
-
David Bühler authored
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Loïc Correnson authored[wp] Support generalized variant + decreases See merge request frama-c/frama-c!3511
-
Loïc Correnson authored
[wp] Keep global const dependencies Closes #695 See merge request frama-c/frama-c!3518
-
