- 01 Jul, 2020 6 commits
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
Otherwise configure won't bother with giving a value to the appropriate variables...
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
`configure_tool` performs everything by itself.
-
- 30 Jun, 2020 10 commits
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Allan Blanchard authored
Resolve "[wp] incorrect sorting for float builtins" Closes #898 See merge request frama-c/frama-c!2738
-
Andre Maroneze authored
[Eva] Do not fail on comparisons involving wide strings See merge request frama-c/frama-c!2735
-
David Bühler authored
Comparison alarms are emitted for any comparison involving wide strings.
-
David Bühler authored
-
David Bühler authored
Removes function [iter_on_strings] from Locations.Location_Bytes. Do not fail on comparison of wide strings: just returns false, thus leading to an alarm in all cases.
-
Loïc Correnson authored
-
Loïc Correnson authored
-
Loïc Correnson authored
-
- 29 Jun, 2020 3 commits
-
-
Andre Maroneze authored
-
Andre Maroneze authored
[typing] always push current pack status on pragma pack push directives Closes #897 See merge request frama-c/frama-c!2737
-
Virgile Prevosto authored
Even if we don't know what to do with the argument of the push, this at least ensures that push/pop directives stay well parenthesized.
-
- 26 Jun, 2020 6 commits
-
-
Andre Maroneze authored
[Dev] add ppx_deriving_yojson to reference configuration; sort and update list See merge request frama-c/frama-c!2730
-
Virgile Prevosto authored
-
Andre Maroneze authored
-
Allan Blanchard authored
status of loop assigns in presence of multiple emitter See merge request frama-c/frama-c!2725
-
Andre Maroneze authored
-
Allan Blanchard authored
-
- 25 Jun, 2020 14 commits
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
similar semantics as the parameter of same name in `add_assigns` and `add_allocates` in contracts
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
i.e. they will present at most one AAssigns and AAllocates per set of behaviors.
-
Virgile Prevosto authored
-
- 24 Jun, 2020 1 commit
-
-
Andre Maroneze authored
-