Select Git revision
Search by author
- Any Author
- authors
-
Allan Blanchard
blanchard
-
Amine Nasri anasri
-
Andre Maroneze
maroneze
-
Armand Puccetti puccetti
-
Augustin Lemesle alemesle
-
Augustin PERRIN aperrin
-
Aymeric Varasse
varasse
-
Basile Desloges
bdesloges
-
Benjamin Jorge jorge
-
Bernard Botella botella
-
Boris Yakobowski
byako
-
Cécile Ruet-Cros cruetcros
-
Charles Babu M charlesm
-
Christophe Junke
cjunke
-
David Bühler buhler
-
David Feliot dfeliot
-
Dorian Lesbre
dlesbre
-
Fabio ALVES falves
-
Florent Kirchner kirchner
-
Frama-CI frama-ci
- Dec 18, 2017
-
-
Patrick Baudin authored
-
- Dec 15, 2017
-
-
Virgile Prevosto authored
sync with frama-c/frama-c!1602 See merge request frama-c/e-acsl!180
-
- 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
-
- Oct 14, 2017
-
-
Virgile Prevosto authored
- improvement in Variadic - local variables are now always kept, even if unused.
-
- Oct 12, 2017
-
-
Andre Maroneze authored
synchronize with frama-c/frama-c!1205 See merge request !164
-
Andre Maroneze authored
-
- Sep 06, 2017
-
-
Julien Signoles authored
Fix incompatible types in test See merge request !161
-
