Select Git revision
Search by author
- Any Author
- authors
-
Allan Blanchard
blanchard
-
Andre Maroneze
maroneze
-
Augustin PERRIN aperrin
-
Basile Desloges
bdesloges
-
Dario Pinto
dpinto
-
David Bühler buhler
-
Dorian Lesbre
dlesbre
-
Frama-CI Bot
frama-ci-bot
-
François Bobot bobot
-
Guillaume Combette gcombette
-
Julien Signoles
signoles
-
Mamy Razafintsialonina
mrazaf
-
Michele Alberti
malberti
-
Remi Lazarini rlazarini
-
Thibault Martin
tmartin
-
Valentin Perrelle perrelle
-
Virgile Prevosto virgile
- Feb 10, 2022
-
-
Andre Maroneze authored
-
- Jan 26, 2022
-
-
Andre Maroneze authored
-
- Jan 25, 2022
-
-
David Bühler authored
-
- Jan 10, 2022
-
-
Andre Maroneze authored
-
- Dec 14, 2021
-
-
Andre Maroneze authored
[x509-parser] add E-ACSL target; add test DER certificate See merge request !22
-
Andre Maroneze authored
-
- Dec 10, 2021
-
-
Andre Maroneze authored
-
- Nov 15, 2021
-
-
Andre Maroneze authored
Note: several "ok" tests still contain warnings; in some cases, they seem inevitable, but others can be improved by adding C stubs, ACSL annotations, or improving the precision in other ways. They may also contain real bugs which have not yet been patched.
-
Andre Maroneze authored
-
- Nov 09, 2021
-
-
Andre Maroneze authored
-
Andre Maroneze authored
-
- Oct 05, 2021
-
-
Andre Maroneze authored
-
- Sep 03, 2021
-
-
Andre Maroneze authored
-
Andre Maroneze authored
-
- Aug 31, 2021
-
-
Andre Maroneze authored
-
- Jul 19, 2021
-
-
Andre Maroneze authored
-
- Jul 06, 2021
-
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
-
- Jun 25, 2021
-
-
Andre Maroneze authored
-
- Jun 24, 2021
-
-
David Bühler authored
-
- Jun 23, 2021
-
-
Andre Maroneze authored
-
Andre Maroneze authored
-
- Jun 21, 2021
-
-
Andre Maroneze authored
-
- Jun 15, 2021
-
-
Andre Maroneze authored
-
- Jun 08, 2021
-
-
Andre Maroneze authored
Improve miniz See merge request !18
-
- Jun 07, 2021
-
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
-
-
Andre Maroneze authored
sync with frama-c master; fix papabench's math.h inclusion See merge request !19
-
Andre Maroneze authored
-
- May 19, 2021
-
-
Andre Maroneze authored
[miniz] add more examples as use cases See merge request !17
-
- May 18, 2021
-
-
Andre Maroneze authored
-
Andre Maroneze authored
[c-testsuite] add new case study See merge request !13
-
Andre Maroneze authored
-
Andre Maroneze authored
-
- Apr 27, 2021
-
-
Andre Maroneze authored
[tsvc] new case study See merge request !15
-
Andre Maroneze authored
-
Andre Maroneze authored
Major update to README.md See merge request !16
-
