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
- May 03, 2022
-
-
-
David Bühler authored
[ivette] The Learn More menu item points to the Frama-C website. See merge request frama-c/frama-c!3722
-
Allan Blanchard authored[wp] Disable a Cint simplifier Closes #1133 See merge request frama-c/frama-c!3715
-
As it is supposed to be a general framework, it must not contain direct references to Frama-C. Now, the 'Learn More' link can be set through an ipc communication, thus letting the application built over Dome decides.
-
David Bühler authored
-
David Bühler authored
[ivette] insert command into history See merge request frama-c/frama-c!3726
-
-
Allan Blanchard authored
- was too aggressive on some use-cases
-
Allan Blanchard authored
-
Allan Blanchard authored
Update Frama-CI data See merge request frama-c/frama-c!3728
-
- May 02, 2022
-
-
Virgile Prevosto authored
avoids dune/opam issue mentionned here: https://github.com/ocaml/dune/issues/5455
-
Virgile Prevosto authored
-
Andre Maroneze authored -
Valentin Perrelle authored
[Eva] Tail-recursive implementation of the WTO computation. See merge request frama-c/frama-c!3561
-
- Apr 29, 2022
-
-
Loïc Correnson authored
[ivette] Changes default views. See merge request frama-c/frama-c!3723
-
David Bühler authored
[ivette] fix PWD vs. Sys.getcwd pb. from Node See merge request frama-c/frama-c!3721
-
David Bühler authored
-
David Bühler authored
Resolve "[ivette] duplicate menu items (APP mode)" Closes #1127 See merge request frama-c/frama-c!3719
-
- Apr 28, 2022
-
-
-
-
-
Loïc Correnson authored
-
Loïc Correnson authored
-
David Bühler authored
[ivette] Fixes the parsing of the Frama-C command-line on second instances. Closes #1131 See merge request frama-c/frama-c!3694
-
David Bühler authored
[Eva] Do not emit kernel warnings, emit Eva warnings instead See merge request frama-c/frama-c!3718
-
Loïc Correnson authored
-
-
-
David Bühler authored
Uses a workaround to recover the original commandline of a second instance after chromium messes with the argument order. See https://github.com/electron/electron/issues/20322 for more details.
-
David Bühler authored
Resolve "[ivette] make install" Closes #1115 See merge request frama-c/frama-c!3711
-
David Bühler authored
-
- Apr 27, 2022
-
-
Valentin Perrelle authored
-
Virgile Prevosto authored
[Logic] accepts integer/real as C fields See merge request frama-c/frama-c!3695
-
Virgile Prevosto authored
[configure] Accept packages with symbol '.' in the name. See merge request frama-c/frama-c!3704
-
- Apr 26, 2022
-
-
Valentin Perrelle authored
[Eva] Fixes request getDeadCode for functions that have not been analyzed. See merge request frama-c/frama-c!3713
-
Loïc Correnson authored
-
Valentin Perrelle authored
[Eva] API: exports analysis computation state and hook. See merge request frama-c/frama-c!3712
-
Loïc Correnson authored
-
David Bühler authored
In Ivette, marks as unreachable the statements of functions whose body has not been analyzed.
-
David Bühler authored
-
