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 05, 2017
-
-
- 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
-
Andre Maroneze authored
-
- Sep 04, 2017
-
-
Virgile Prevosto authored
sync with frama-c/frama-c!1450 See merge request !160
-
Andre Maroneze authored
-
- Sep 01, 2017
-
-
David Bühler authored
Updates test oracles wrt Eva changes. See merge request !159
-
David Bühler authored
-
- Aug 24, 2017
-
-
Virgile Prevosto authored
Update due to logic label typing. See merge request !154
-
-
-
- Aug 10, 2017
-
-
Andre Maroneze authored
sync with frama-c/frama-c!1439 See merge request !158
-
Andre Maroneze authored
-
