-
- Merged
- Approved
updated -
- Merged
- 13
- Approved
updated -
-
- Merged
- Approved
updated -
- Merged
- 4
- Approved
updated -
Improvements to CI for Java 2 of 12 checklist items completed
- Merged
- 6
- Approved
updated -
- Merged
- Approved
updated -
- Merged
- 2
- Approved
updated -
- Merged
- Approved
updated -
- Merged
- 1
- Approved
updated -
- Merged
- 2
- Approved
updated -
- Merged
- Approved
updated -
- Merged
- 26
- Approved
updated -
Added BSD 2-clause license to licenses, REUSE spec to each Java file. 2 of 2 checklist items completed
- Merged
- 7
- Approved
updated -
Wrong verdicts in CWE369*bad_version2 0 of 11 checklist items completed
- Closed
- 3
- 0 of 2 Approvals
updated -
Fix confusing mismatch between yml file and benchmark directory 0 of 11 checklist items completed
- Merged
- 1
updated -
- Merged
- 2
updated -
Add the Jdart regression test to SV-COMP 6 of 11 checklist items completed
- Merged
- 13
- Approved
updated -
Add some benchmark task derived from the Juliet Java benchmark publis… 6 of 11 checklist items completed
- Merged
- 2
- Approved
updated