- Dec 20, 2017
-
-
Julien Signoles authoredallows ocamldoc html generation to succeed See merge request frama-c/e-acsl!181
-
Julien Signoles authored
[headers] skip first line starting by '#!' for 'script.sh' files See merge request frama-c/e-acsl!182
-
- Dec 18, 2017
-
-
Patrick Baudin authored -
Patrick Baudin authored
-
- Dec 15, 2017
-
-
Virgile Prevosto authored
sync with frama-c/frama-c!1602 See merge request frama-c/e-acsl!180
-
Virgile Prevosto authored
-
- Dec 14, 2017
-
-
Virgile Prevosto authored
Rejects C arrays as argument of builtin ACSL predicates See merge request frama-c/e-acsl!177
-
- Dec 13, 2017
-
-
Andre Maroneze authored
-
- Dec 11, 2017
-
-
Boris Yakobowski authored
Fixes an oracle wrt frama-c!1571. See merge request frama-c/e-acsl!179
-
- Dec 09, 2017
-
-
David Bühler authored
By default, rte now emits is_finite alarms which are not yet supported.
-
- Dec 06, 2017
-
-
Julien Signoles authored
-
- Dec 05, 2017
-
-
Julien Signoles authored
Stable/sulfur See merge request frama-c/e-acsl!176
-
-
-
-
Patrick Baudin authored
-
- Nov 28, 2017
-
-
Julien Signoles authored
-
Julien Signoles authored
-
- Nov 27, 2017
-
-
Julien Signoles authored
fix 'segfault' in the generated code when the main has a precondition depending on the memory model See merge request frama-c/e-acsl!174
-
Julien Signoles authored
-
Julien Signoles authored
restore behavior of -e-acsl-valid which was broken since Jan. 2017 or so See merge request frama-c/e-acsl!173
-
Julien Signoles authored
-
- Nov 16, 2017
-
-
Boris Yakobowski authored
Merge sulfur See merge request frama-c/e-acsl!172
-
Andre Maroneze authored
-
Andre Maroneze authored
update oracles wrt kernel changes See merge request frama-c/e-acsl!171
-
- Nov 15, 2017
-
-
Virgile Prevosto authored
-
Andre Maroneze authored
synchronize with frama-c!1539 See merge request frama-c/e-acsl!170
-
Andre Maroneze authored
-
- Nov 13, 2017
-
-
Boris Yakobowski authored
(See frama-c/e-acsl!169)
-
Boris Yakobowski authored
-
- Oct 31, 2017
-
-
Virgile Prevosto authored
`PLUGIN_DISTRIB_EXTERNAL` expects path **relative to the plugin directory**
😡
-
- Oct 25, 2017
-
-
Julien Signoles authored
fix bts bug #2303 about unamed formals (cannot be easily tested through an execu… See merge request !168
-
Julien Signoles authored
-
Julien Signoles authored
-
Julien Signoles authored
-
Julien Signoles authored
fix bts bug #2303 about unamed formals (cannot be easily tested through an executable program that prints the issue)
-
- Oct 19, 2017
-
-
Andre Maroneze authored
[Kernel] update wrt new logic label type See merge request !167
-
- Oct 18, 2017
-
-
Loïc Correnson authored
-
- Oct 16, 2017
-
-
Andre Maroneze authored
Update tests and oracles against kernel modifications See merge request !165
-
- Oct 15, 2017
-
-
Virgile Prevosto authored
See @signoles' comment in MR!165
-
