- 10 Jan, 2022 1 commit
-
-
Andre Maroneze authored
-
- 14 Dec, 2021 2 commits
-
-
Andre Maroneze authored
[x509-parser] add E-ACSL target; add test DER certificate See merge request !22
-
Andre Maroneze authored
-
- 10 Dec, 2021 1 commit
-
-
Andre Maroneze authored
-
- 15 Nov, 2021 2 commits
-
-
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
-
- 09 Nov, 2021 2 commits
-
-
Andre Maroneze authored
-
Andre Maroneze authored
-
- 05 Oct, 2021 1 commit
-
-
Andre Maroneze authored
-
- 03 Sep, 2021 2 commits
-
-
Andre Maroneze authored
-
Andre Maroneze authored
-
- 31 Aug, 2021 1 commit
-
-
Andre Maroneze authored
-
- 19 Jul, 2021 1 commit
-
-
Andre Maroneze authored
-
- 06 Jul, 2021 3 commits
-
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
-
- 25 Jun, 2021 1 commit
-
-
Andre Maroneze authored
-
- 24 Jun, 2021 1 commit
-
-
David Bühler authored
-
- 23 Jun, 2021 2 commits
-
-
Andre Maroneze authored
-
Andre Maroneze authored
-
- 21 Jun, 2021 1 commit
-
-
Andre Maroneze authored
-
- 15 Jun, 2021 1 commit
-
-
Andre Maroneze authored
-
- 08 Jun, 2021 1 commit
-
-
Andre Maroneze authored
Improve miniz See merge request !18
-
- 07 Jun, 2021 6 commits
-
-
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
-
- 19 May, 2021 1 commit
-
-
Andre Maroneze authored
[miniz] add more examples as use cases See merge request !17
-
- 18 May, 2021 4 commits
-
-
Andre Maroneze authored
-
Andre Maroneze authored
[c-testsuite] add new case study See merge request !13
-
Andre Maroneze authored
-
Andre Maroneze authored
-
- 27 Apr, 2021 5 commits
-
-
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
-
Andre Maroneze authored
-
-
- 26 Apr, 2021 1 commit
-
-
Andre Maroneze authored
-
