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
- Oct 11, 2022
-
-
Michele Alberti authored -
Michele Alberti authored
-
Michele Alberti authored
-
- Oct 10, 2022
-
-
Michele Alberti authored
-
Michele Alberti authored
-
David Bühler authored
[Eva] Fixes a crash on recursive functions with a specification but no assigns. Closes #1162 See merge request frama-c/frama-c!3957
-
David Bühler authored
-
- Oct 07, 2022
-
-
Allan Blanchard authored[Cil builder] Improve support for variadic and extends supported features See merge request frama-c/frama-c!3938
-
David Bühler authored
[Eva] update Metrics log in tutorial; add item to FAQ See merge request frama-c/frama-c!3903
-
Valentin Perrelle authored
-
David Bühler authored
-
-
-
Valentin Perrelle authored
-
- Oct 05, 2022
-
-
Andre Maroneze authored
Update analysis scripts for new features See merge request frama-c/frama-c!3901
-
Virgile Prevosto authored
[Kernel] JCDB: improve parsing of quoted arguments See merge request frama-c/frama-c!3951
-
Valentin Perrelle authored
-
Valentin Perrelle authored
-
Valentin Perrelle authored
-
Valentin Perrelle authored
-
Valentin Perrelle authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
[ghost] fix VLAs and builtins calls Closes #1173, #2580 et #918 See merge request frama-c/frama-c!3932
-
- Oct 04, 2022
-
-
Andre Maroneze authored
-
Patrick Baudin authored[ptests] Adds fatal errors on invalid LOG/BIN directives of EXEC/EXECNOW See merge request frama-c/frama-c!3947
-
-
-
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Allan Blanchard authored
-
Valentin Perrelle authored
- easier to instantiate - locs can now be changed each time a block is opened (needed by Variadic)
-
Valentin Perrelle authored
-
Valentin Perrelle authored
-
Valentin Perrelle authored
-
Virgile Prevosto authored
cleanup: remove obsolete files See merge request frama-c/frama-c!3939
-
Virgile Prevosto authored
[kernel] Option -version prints a newline. Option -print-version does not. Closes #1174 et #1176 See merge request frama-c/frama-c!3945
-
- Oct 03, 2022
-
-
Patrick Baudin authored
[ptests] EXIT directives are also for EXEC/EXECNOW subtests See merge request frama-c/frama-c!3946
-
Patrick Baudin authored
-
Loïc Correnson authoredFix WP terminates proof in absence of decreases Closes #1141 See merge request frama-c/frama-c!3941
-
