- 01 Jul, 2022 2 commits
-
-
Andre Maroneze authored
synchronize with frama-c master See merge request !31
-
Andre Maroneze authored
-
- 17 Jun, 2022 1 commit
-
-
Andre Maroneze authored
fix artifacts per job See merge request !30
-
- 16 Jun, 2022 1 commit
-
-
Andre Maroneze authored
-
- 13 Jun, 2022 5 commits
-
-
Andre Maroneze authored
split CI tests for better feedback and to avoid timeouts See merge request pub/open-source-case-studies!26
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
-
- 03 Jun, 2022 2 commits
-
-
Andre Maroneze authored
-
Andre Maroneze authored
-
- 06 May, 2022 2 commits
-
-
Andre Maroneze authored
-
Andre Maroneze authored
-
- 22 Apr, 2022 3 commits
-
-
Andre Maroneze authored
-
Andre Maroneze authored
add git pre-commit hook to prevent mistakes See merge request pub/open-source-case-studies!27
-
Andre Maroneze authored
Consider running 'git config core.hooksPath .githooks' in your OSCS clone to enable it.
-
- 21 Apr, 2022 1 commit
-
-
Andre Maroneze authored
-
- 15 Apr, 2022 2 commits
-
-
Andre Maroneze authored
Sync with frama-c master after MR !3660 and !3698 See merge request pub/open-source-case-studies!25
-
-
- 13 Apr, 2022 1 commit
-
-
David Bühler authored
Also avoids a failure on a recursive function without specification (function factorial in file 00168.c). Adds annotations to disable partitioning in file 00040.c to avoid combinatorial explosion.
-
- 02 Apr, 2022 1 commit
-
-
Andre Maroneze authored
-
- 01 Apr, 2022 1 commit
-
-
Andre Maroneze authored
-
- 26 Mar, 2022 1 commit
-
-
Andre Maroneze authored
-
- 15 Feb, 2022 2 commits
-
-
David Bühler authored
-
David Bühler authored
-
- 10 Feb, 2022 2 commits
-
-
Andre Maroneze authored
add description + URL per directory; add summary table in Markdown See merge request !23
-
Andre Maroneze authored
-
- 26 Jan, 2022 1 commit
-
-
Andre Maroneze authored
-
- 25 Jan, 2022 1 commit
-
-
David Bühler authored
-
- 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
-