- Sep 26, 2022
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- Sep 21, 2022
-
-
Andre Maroneze authored
[kernel] fix ast-diff on code with forward-decl of struct Closes #1164 See merge request frama-c/frama-c!3908
-
Allan Blanchard authored
Fix missing shared files in installation See merge request frama-c/frama-c!3866
-
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- Sep 19, 2022
-
-
Patrick Baudin authored
[lint] fix identification of files that have been subject to git mv See merge request frama-c/frama-c!3917
-
Patrick Baudin authored
[Wp] doc: recalls the name of the default anonymous behavior Closes #2631 See merge request frama-c/frama-c!3918
-
Patrick Baudin authored
[test] Fixes promoting when using test script Closes #1153 See merge request frama-c/frama-c!3898
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Patrick Baudin authored
-
- Sep 16, 2022
-
-
Patrick Baudin authored
-
David Bühler authored
[eva] enable apron tests (dune) See merge request frama-c/frama-c!3716
-
- Sep 15, 2022
-
-
Patrick Baudin authored
-
Patrick Baudin authored
[Makefile] export WP cache-related Makefile variables to commands See merge request frama-c/frama-c!3895
-
Patrick Baudin authored
Take into account more git statuses in commit hook linter See merge request frama-c/frama-c!3912
-
- Sep 14, 2022
-
-
David Bühler authored
[Eva] Bug fix in the "smashed" function of trace_partitionning.ml See merge request frama-c/frama-c!3910
-
Allan Blanchard authored
[doc] remove rebellious @plugin tags See merge request frama-c/frama-c!3909
-
- Sep 13, 2022
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- Sep 12, 2022
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
supports pattern such as ```c enum { TAG1 = 42, TAG2 = TAG1 << 3 }; ```
-
Virgile Prevosto authored
-
Allan Blanchard authored
-
Maxime Jacquemin authored
The function relied on "List.map" which is not tail-rec. With enough plevel, it provoked a stack overflow. I've simply fixed it by performing the mapped computation inside the fold directly.
-
- Sep 09, 2022
-
-
Virgile Prevosto authored
In presence of the following pattern of code: ```c struct S; enum { t = 1 }; struct S { char[t]; }; ``` -ast-diff will attempt to compare the use of `t` in the field declaration before having visited the `enum` definition. Thus, we can't rely on an enumitem being present in the correspondance table when looking for a correspondance.
-
Virgile Prevosto authored
-