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 19, 2020
-
-
Allan Blanchard authored[Kernel] Further replace strings with Filepaths See merge request frama-c/frama-c!2636
-
Allan Blanchard authored
-
-
Allan Blanchard authored
[Libc] add stub for non-POSIX sys/param.h See merge request frama-c/frama-c!2630
-
Allan Blanchard authored
[Kernel] add functions for semantic comparisons between locations See merge request frama-c/frama-c!2437
-
- May 18, 2020
-
-
David Bühler authored
[Ivette] fixes a performance issue when loading a function AST Closes #828 See merge request frama-c/frama-c!2650
-
Andre Maroneze authored
-
Andre Maroneze authored[Parsing] accept C11 function specifier _Noreturn Closes #685 See merge request frama-c/frama-c!2661
-
- May 15, 2020
-
-
Virgile Prevosto authored
a _noreturn attribute with c11 tag will be rendered as _Noreturn keyword
-
-
-
David Bühler authored
-
David Bühler authored
Instead of creating a new linked document. Temporary fix to access the instance of code mirror from the buffer.
-
Virgile Prevosto authored
-
-
Virgile Prevosto authored
-
Julien Signoles authored[eacsl] Update `tests/print.ml` script to ouptut E-ACSL generated globals Closes e-acsl#117 See merge request frama-c/frama-c!2653
-
Michele Alberti authored[ivette] refactoring main documentation See merge request frama-c/frama-c!2657
-
Michele Alberti authored
-
Loïc Correnson authored
-
- May 14, 2020
-
-
Loïc Correnson authored
-
Andre Maroneze authored
Fixes WP session directory creation See merge request frama-c/frama-c!2656
-
Allan Blanchard authored
-
Michele Alberti authored
[ivette] typedoc documentation See merge request frama-c/frama-c!2642
-
-
-
-
-
-
-
-
-
-
-
-
-
Andre Maroneze authored
[wp] upgrade prover versions See merge request frama-c/frama-c!2591
-
- May 13, 2020
-
-
Loïc Correnson authored
[server] Kernel_ast: fixes marker lookup. See merge request frama-c/frama-c!2655
-
Andre Maroneze authored
-
Andre Maroneze authored
-
