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 18, 2023
-
-
Allan Blanchard authored
-
- Jul 17, 2023
-
-
Allan Blanchard authored
Easier use of make_machdep.py in installed Frama-C See merge request frama-c/frama-c!4215
-
- Jul 12, 2023
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
turns out clang wants to have a specific CPU when using -target avr
-
Virgile Prevosto authored
- fix f-string as reported by @maroneze - --verbose is now reflected in `logging` level as well.
-
Virgile Prevosto authored
Far from perfect, but at least we now generate a correct dune file in such case.
-
- Jul 11, 2023
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
- Jul 07, 2023
-
-
Allan Blanchard authored
[e-acsl] remove unnecessary symbolic links See merge request frama-c/frama-c!4231
-
- Jul 06, 2023
-
-
Andre Maroneze authoredThese symbolic links cause issues on Cygwin, and they are no longer needed anway since Dune already copies the files to the right place.
-
David Bühler authored
Resolve "Erreur avec multiples instances d'Ivette" See merge request frama-c/frama-c!4228
-
-
- Jul 05, 2023
-
-
Allan Blanchard authored
[opam] fix release option in opam installation See merge request frama-c/frama-c!4226
-
Allan Blanchard authored
Backport fixes after 27.0 See merge request frama-c/frama-c!4227
-
Allan Blanchard authored
[gui] Fixes GUI freeze when a plugin aborts after parsing succeeded. See merge request frama-c/frama-c!4223
-
Allan Blanchard authored
[kernel] Printer_tag: catches Not_found exception when calling Globals.Type.global See merge request frama-c/frama-c!4222
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- Jun 30, 2023
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
- Jun 23, 2023
-
-
David Bühler authored
-
David Bühler authored
Fixes crash in Ivette and the GTK GUI on files with undefined type. No tag is created on undefined types.
-
- Jun 14, 2023
-
-
Allan Blanchard authored
-
- Jun 13, 2023
-
-
Allan Blanchard authored
[e-acsl] Refman: Version 1.19 See merge request frama-c/frama-c!4209
-
Allan Blanchard authored
-
Allan Blanchard authored
Generate and install documentation during opam install See merge request frama-c/frama-c!4208
-
- Jun 12, 2023
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- Jun 09, 2023
-
-
Allan Blanchard authored
Fix/andre/doc ptests See merge request frama-c/frama-c!4203
-
