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
- Apr 15, 2019
-
-
Patrick Baudin authored
-
- Apr 09, 2019
-
-
Andre Maroneze authored
[syntax] allow for one letter attributes. See merge request frama-c/frama-c!2222
-
Andre Maroneze authored
-
Virgile Prevosto authored
Fixes [external BTS 2432](https://bts.frama-c.com/view.php?id=2432)
-
Andre Maroneze authored
-
Andre Maroneze authored
Obfuscates names of parameters in function types See merge request frama-c/frama-c!2221
-
- Apr 08, 2019
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
Fixes external issue 2433
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
- Apr 05, 2019
-
-
Andre Maroneze authored
[Eva] Prints a summary of the analysis at the end See merge request frama-c/frama-c!2188
-
David Bühler authored
-
David Bühler authored
-
David Bühler authored
-
David Bühler authored
-
David Bühler authored
As it is redundant with all the information displayed during the analysis.
-
David Bühler authored
-
- Apr 04, 2019
-
-
Andre Maroneze authored
[tests] New macro for the tests using Eva See merge request frama-c/frama-c!2219
-
David Bühler authored
-
David Bühler authored
-
David Bühler authored
-
David Bühler authored
Separate from EVA_CONFIG, which also disables the other plugins.
-
David Bühler authored
-
Valentin Perrelle authored
[Eva] New module type gathering all abstractions and the evaluator See merge request frama-c/frama-c!2214
-
Andre Maroneze authored
[Eva] Reduces the gauges state from the valuation on assignments. See merge request frama-c/frama-c!2217
-
Virgile Prevosto authored
[tests] fix test extension See merge request frama-c/frama-c!2218
-
- Apr 03, 2019
-
-
Andre Maroneze authored
-
Valentin Perrelle authored
[Eva] New meta option -eva-precision See merge request frama-c/frama-c!2186
-
David Bühler authored
[tests] refactor tests to simplify future changes See merge request frama-c/frama-c!2198
-
David Bühler authored
-
David Bühler authored
-
David Bühler authored
This can notably reduce the possible number of iterations after a widening.
-
David Bühler authored
-
Andre Maroneze authored
Fix/andre/variadic enum Closes #467 and #630 See merge request frama-c/frama-c!2200
-
Patrick Baudin authored
[NIX] tests tarball compilation See merge request frama-c/frama-c!2209
-
David Bühler authored
-
- Apr 02, 2019
-
-
Julien Signoles authored[rte] accesses to local _Bool variables are considered as trivial annotations See merge request frama-c/frama-c!2111
-
-
-
-
