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
- Jan 30, 2025
-
-
Loïc Correnson authored
-
- Jan 29, 2025
-
-
Allan Blanchard authored
-
- Jan 28, 2025
-
-
Allan Blanchard authored
[scripts] Remove unexisting git hashes in git-replace.sh See merge request frama-c/frama-c!4885
-
Allan Blanchard authored
[doc] Fix few odoc warnings See merge request frama-c/frama-c!4889
-
- Jan 27, 2025
-
-
Remi Lazarini authored
[Ivette] added doc Callgraph + added color in markdown iconTag + added markdown ledTag See merge request frama-c/frama-c!4873
-
-
-
David Bühler authored
-
-
-
-
Allan Blanchard authored
[nix] update commit See merge request frama-c/frama-c!4894
-
- Jan 24, 2025
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Thibault Martin authored -
Thibault Martin authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
- upgrade camlp5 to 8.03.01 (OCaml 5.3 compatibility) - upgrade mlmpfr + patch 5.3 (Werror in Nix) - downgrade dolmen (Alt-Ergo) - upgrade ppxlib_jane (Alt-Ergo) - upgrade ppxlib (OCaml 5.3 compatibility)
-
David Bühler authored
[tests] use basic regex for filtering See merge request frama-c/frama-c!4898
-
Thibault Martin authored
[Kernel] Generic monad interface See merge request frama-c/frama-c!4821
-
Thibault Martin authored
[alias] remove deprecated functions; use more doc-friendly syntax in comments See merge request frama-c/frama-c!4888
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Andre Maroneze authored[kernel] Log: at the end of Frama-C execution, re-print deferred error (if any). See merge request frama-c/frama-c!4876
-
Virgile Prevosto authored
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Added title to sidebars See merge request frama-c/frama-c!4896
-
- Jan 23, 2025
-
-
David Bühler authored
Added title to sidebars See merge request frama-c/frama-c!4896
-
-
David Bühler authored
[Ivette] Added sidebar to sort functions and variables by file See merge request frama-c/frama-c!4875
-
David Bühler authored
-
-
-
David Bühler authored
-
-
Basile Desloges authored[Eva] Warning message for missing assigns or from are now an error by default See merge request frama-c/frama-c!4883
-
David Bühler authored
[Ivette] added event to close modal with escape See merge request frama-c/frama-c!4892
-
