- 26 Jun, 2022 4 commits
-
-
contra-bit authored
-
contra-bit authored
-
contra-bit authored
-
contra-bit authored
-
- 25 Jun, 2022 1 commit
-
-
contra-bit authored
-
- 24 Jun, 2022 1 commit
-
-
contra-bit authored
-
- 23 Jun, 2022 3 commits
-
-
contra-bit authored
-
contra-bit authored
-
contra-bit authored
-
- 22 Jun, 2022 1 commit
-
-
contra-bit authored
-
- 16 Jun, 2022 1 commit
-
-
contra-bit authored
-
- 15 Jun, 2022 9 commits
-
-
contra-bit authored
-
contra-bit authored
-
contra-bit authored
-
contra-bit authored
-
contra-bit authored
-
contra-bit authored
-
contra-bit authored
-
contra-bit authored
-
contra-bit authored
-
- 14 Jun, 2022 4 commits
-
-
contra-bit authored
-
contra-bit authored
-
contra-bit authored
-
contra-bit 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.
-