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
- Feb 15, 2023
-
-
David Bühler authored
-
David Bühler authored
-
David Bühler authored
-
David Bühler authored
-
Virgile Prevosto authored
-
Allan Blanchard authored
-
- Feb 10, 2023
-
-
Allan Blanchard authored
[PDG] Fixes the build of the PDG manual See merge request frama-c/frama-c!4081
-
David Bühler authored
[Kernel] allow linking of plugins using -threads See merge request frama-c/frama-c!4082
-
- Feb 08, 2023
-
-
Patrick Baudin authored -
Andre Maroneze authored -
Patrick Baudin authored
-
Patrick Baudin authored
-
- Feb 06, 2023
-
-
David Bühler authored
[Makefile] prevent accidental 'make install PREFIX=~' See merge request frama-c/frama-c!4076
-
- Feb 03, 2023
-
-
Andre Maroneze authored
-
- Feb 02, 2023
-
-
David Bühler authored
[opam] use --root in installation See merge request frama-c/frama-c!4070
-
- Jan 27, 2023
-
-
Allan Blanchard authored
-
Allan Blanchard authored
[ivette] support DESTDIR during Ivette installation See merge request frama-c/frama-c!4067
-
- Jan 26, 2023
-
-
Allan Blanchard authored
-
- Jan 25, 2023
-
-
Andre Maroneze authored
-
- Jan 23, 2023
-
-
Allan Blanchard authored
Fixes to ensure compatibility with Windows/Cygwin See merge request frama-c/frama-c!4035
-
- Jan 20, 2023
-
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
On Windows, 'run script.sh' makes Dune try to run CreateProcess() on the script itself. Adding 'bash' prevents an error. Since the shebang of the script also mentions bash, this should keep the previous behavior on Unix.
-
- Jan 16, 2023
-
-
Allan Blanchard authored
Accepts `\ghost` attribute in ACSL parser See merge request frama-c/frama-c!4042
-
- Jan 11, 2023
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
Fixes #2638
-
- Jan 10, 2023
-
-
David Bühler authored
[printer] Fix precedence level for pretty-printing ACSL ranges. See merge request frama-c/frama-c!4034
-
Virgile Prevosto authored
-
- Jan 06, 2023
-
-
Virgile Prevosto authored
-
- Jan 04, 2023
-
-
Virgile Prevosto authored
-
- Jan 03, 2023
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
Fixes #2639
-
Virgile Prevosto authored
-
- Jan 01, 2023
-
-
Virgile Prevosto authored
-
- Dec 09, 2022
-
-
Allan Blanchard authored
[opam] relax constraint on yojson See merge request frama-c/frama-c!4010
-
- Dec 08, 2022
-
-
David Bühler authored
Fix release actions See merge request frama-c/frama-c!4004
-
-
-
- Dec 02, 2022
-
-
Loïc Correnson authoredFix WP regression on terminates See merge request frama-c/frama-c!4014
-
Allan Blanchard authored
[doc] fix metrics figures See merge request frama-c/frama-c!4008
-
