Tags

Tags give the ability to mark specific points in history as being important

svcomp25 protected

8f36aee6 · Let compare.py skip Invalid-TaskDefs · Dec 13, 2024
```
Final benchmark set for SV-COMP 2025
```
Unverified
testcomp25-rc.1 protected

38cc9d93 · Merge branch 'allowlist-invalid-task-defs-in-ci' into 'main' · Dec 12, 2024
```
Release candidate for Test-Comp 2025 (version before final execution)
```
Unverified
svcomp25-final protected

8f36aee6 · Let compare.py skip Invalid-TaskDefs · Dec 13, 2024
```
Final benchmark set for SV-COMP 2025
```
Unverified
svcomp25-rc.1 protected

d068d261 · Merge branch '1429-fix-specification-path' into 'main' · Nov 29, 2024
```
Version of benchmark sets for SV-COMP 2025 before final execution
```
Unverified
svcomp25-freeze protected

44c5ca60 · Merge branch 'fix-dart-dart' into 'main' · Nov 06, 2024
```
Version of benchmark sets for SV-COMP 2025 after the freeze milestone
```
Unverified
testcomp24-final protected

0ea9290d · Resolve path names in CI to canonical relative paths · Dec 07, 2023
```
Release of final version of benchmark set for Test-Comp 2024
```
Unverified
testcomp24 protected

0ea9290d · Resolve path names in CI to canonical relative paths · Dec 07, 2023
```
Release of final version of benchmark set for Test-Comp 2024
```
Unverified
svcomp24-final protected

5c2dfcdb · Merge branch 'remove-tasks-added-in-1515' into 'svcomp24' · Dec 14, 2023
```
Release of final version of benchmark set for SV-COMP 2024
```
Unverified
svcomp24 protected

5c2dfcdb · Merge branch 'remove-tasks-added-in-1515' into 'svcomp24' · Dec 14, 2023
```
Release of final version of benchmark set for SV-COMP 2024
```
Unverified
svcomp24-rc.5 protected

6573c593 · Add list of task definitions that were changed after the freezing deadline and... · Dec 07, 2023
```
Release candidate for SV-COMP 2024
```
Unverified
svcomp24-rc.4 protected

3e16aa3f · Revert !1493 , !1494 , !1495 , !1496 , !1497 for exclusion in SV-COMP'24 · Dec 07, 2023
```
Release candidate for SV-COMP 2024
```
Unverified
testcomp24-rc.1 protected

0ea9290d · Resolve path names in CI to canonical relative paths · Dec 07, 2023
```
Release candidate for Test-Comp 2024
```
Unverified
svcomp24-rc.3 protected

509aa682 · Merge branch 'fb/fix-ovfl-char-pc8736x-set' into 'main' · Nov 23, 2023
```
Release candidate for SV-COMP 2024
```
Unverified
svcomp24-rc.2 protected

7558396a · Merge branch '1382-ci-for-mrs-from-main' into 'main' · Nov 18, 2023
```
Tag the benchmark set for the final execution of SV-COMP 2024 (still candidate)
```
Unverified
svcomp24-rc.1 protected

72247a57 · Merge branch 'goblint-regression-memsafety-fixes' into 'main' · Nov 14, 2023
```
Tag the benchmark set for the freezing deadline of SV-COMP 2024
```
Unverified
svcomp23 protected

f87854c2 · Switch off sanity check for this branch · Feb 09, 2023
```
Final release for SV-COMP 2023
```
Unverified
testcomp23 protected

f87854c2 · Switch off sanity check for this branch · Feb 09, 2023
```
Final release for Test-Comp 2023
```
Unverified
testcomp23-rc.1 protected

ac77f543 · Merge branch 'prodbin-ll_unwindbound' into 'main' · Dec 18, 2022
```
Release candidate for Test-Comp 2023
```
Unverified
sv-comp23-freeze protected

8ee52e27 · Merge branch 'undefined-behaviour-fixes' into 'main' · Nov 10, 2022
```
Last merge commit before freeze deadline
```
Unverified
svcomp23-rc.1 protected

5c5766f5 · Merge branch '1334-add-benchmark-from-nfm-paper-by-fink-berger-katoen-2' into 'main' · Dec 07, 2022
```
Release candidate for SV-COMP 2023
```
Unverified