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
- Jul 26, 2022
-
-
Patrick Baudin authored -
Patrick Baudin authored
-
Patrick Baudin authored
-
Valentin Perrelle authored
[Lint/Headers] fixes determination if directory is under git control See merge request frama-c/frama-c!3874
-
Patrick Baudin authored
-
Patrick Baudin authored
[Makefile] adds/modifies lint and header targets related to commits Closes #1099 See merge request frama-c/frama-c!3846
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Allan Blanchard authoredStrict headers See merge request frama-c/frama-c!3873
-
- Jul 25, 2022
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Andre Maroneze authoredAdd a way to iterate through alarms with sequences See merge request frama-c/frama-c!3847
-
Valentin Perrelle authored
[analysis-scripts] avoid issues with non-executable scripts due to Dune See merge request frama-c/frama-c!3870
-
- Jul 22, 2022
-
-
Andre Maroneze authored
-
Andre Maroneze authored
[ci] restore check TS API See merge request frama-c/frama-c!3867
-
- Jul 21, 2022
-
-
Valentin Perrelle authored
[Eva] Complete public API, now entirely used by the Inout, From, Scope and Aorai plugins See merge request frama-c/frama-c!3864
-
David Bühler authored
-
- Jul 20, 2022
-
-
Allan Blanchard authored
-
Julien Signoles authoredImprove inference for conditionals See merge request frama-c/frama-c!3570
-
Thibaut Benjamin authored
-
Thibaut Benjamin authored
-
Thibaut Benjamin authored
-
Thibaut Benjamin authored
-
Thibaut Benjamin authored
-
- Jul 19, 2022
-
-
David Bühler authored
-
Thibaut Benjamin authored
[e-acsl] Simplify the type system See merge request frama-c/frama-c!3592
-
David Bühler authored
-
David Bühler authored
-
David Bühler authored
-
David Bühler authored
-
David Bühler authored
Eva does not ignore recursive calls anymore, and Db.Value.ignored_recursive_call always returns false.
-
David Bühler authored
In the Eva request, filters the possible callstacks to only keep those from the given statement call.
-
David Bühler authored
-
