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 15, 2019
-
-
Patrick Baudin authored
-
- Mar 13, 2019
-
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Virgile Prevosto authored
[Kernel] Fix semantics of *referenced fields Closes #535 See merge request frama-c/frama-c!1930
-
- Mar 12, 2019
-
-
Virgile Prevosto authored
Given that the previous commits made so many whitespace changes, it'd be a shame not to do it
-
Valentin Perrelle authored
[Libc] remove last occurrences of anonymous composite types See merge request frama-c/frama-c!2196
-
Patrick Baudin authored
-
- Mar 11, 2019
-
-
Andre Maroneze authored
-
Andre Maroneze authored
[parser] accept adjacent string literal tokens in extended GNU asm clauses Closes #615 See merge request frama-c/frama-c!2195
-
Andre Maroneze authored
-
Virgile Prevosto authored
Apparently things like that exist in untamed code bases. Fixes #615
-
Virgile Prevosto authored
[kernel] Marks arrays as having their address taken when their address is taken. See merge request frama-c/frama-c!2159
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Virgile Prevosto authored
-
-
Virgile Prevosto authored
[Libc] add specs for rand48 and related functions See merge request frama-c/frama-c!2148
-
Patrick Baudin authored
[WP] use no_wp (like no_eva) to skip proofs See merge request frama-c/frama-c!1777
-
Virgile Prevosto authored
Resolve "Comportement de Cil.changeTo pour les listes d'instructions" Closes #583 See merge request frama-c/frama-c!2113
-
- Mar 08, 2019
-
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
[typing] Keep trace of all libc includes that contribute to a var definition Closes #614 See merge request frama-c/frama-c!2194
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
-
-
-
-
-
Virgile Prevosto authored
Fixes issue #614
-
David Bühler authored
Add missing entries in the Changelog See merge request frama-c/frama-c!2187
-
David Bühler authored
-
