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
- Mar 04, 2022
-
-
- Mar 03, 2022
-
-
Patrick Baudin authored[Mdr] adds a comment line in a test See merge request frama-c/frama-c!3630
-
Patrick Baudin authored
-
Andre Maroneze authored[tests] fix compatibility with dune See merge request frama-c/frama-c!3628
-
Patrick Baudin authored
-
- Mar 02, 2022
-
-
Andre Maroneze authored
-
- Mar 01, 2022
-
-
Patrick Baudin authored
[tests] fixes some problemes related to dune migration See merge request frama-c/frama-c!3627
-
Patrick Baudin authored
-
Patrick Baudin authored
[WP] bitwise simplifier improvement See merge request frama-c/frama-c!3624
-
Patrick Baudin authored
-
Julien Signoles authored[eacsl] Normalization of global annotations Closes e-acsl#195 See merge request frama-c/frama-c!3586
-
Julien Signoles authored
-
Julien Signoles authored
-
Julien Signoles authored
-
-
-
-
-
- Feb 28, 2022
-
-
David Bühler authored
[ivette] Fixing SourceCode file alignement See merge request frama-c/frama-c!3623
-
-
David Bühler authored
[ivette] distribute api-generator with a header See merge request frama-c/frama-c!3612
-
- Feb 25, 2022
-
-
Patrick Baudin authored
-
Maxime Jacquemin authored
[ivette] use global font size buttons See merge request frama-c/frama-c!3609
-
Patrick Baudin authored
-
Maxime Jacquemin authored
[ivette/eva] fixed probe label & zoom tooltip See merge request frama-c/frama-c!3607
-
Maxime Jacquemin authored
[ivette] Messages table: selects the current row after a click on a message. See merge request frama-c/frama-c!3602
-
Patrick Baudin authored
[tests] add missing dependencies in jcdb test See merge request frama-c/frama-c!3620
-
Allan Blanchard authored -
-
-
-
-
- Feb 24, 2022
-
-
David Bühler authored
[ivette] Fix the handling of settings on startup See merge request frama-c/frama-c!3619
-
Andre Maroneze authored
-
Allan Blanchard authored
[wp] Minimize dune diff region See merge request frama-c/frama-c!3618
-
Loïc Correnson authored
-
Loïc Correnson authored
-
-
Patrick Baudin authored
[ptest] adds macro @PTEST_SESSION@ See merge request frama-c/frama-c!3617
-
Maxime Jacquemin authored
The selected theme was not applied on startup. The fix consists on calling the relevent ipc events at the start of the renderer to force the application default settings.
-
