Tags

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

svcomp26-freeze

0a254fdd · Merge branch 'update-coverage-properties-2025' into 'main' · Nov 11, 2025
```
Version that the community agreed on as the 'frozen' benchmark set on 2025-11-11.
```
Unverified
testcomp25

38cc9d93 · Merge branch 'allowlist-invalid-task-defs-in-ci' into 'main' · Dec 12, 2024
```
Verification tasks as used for Test-Comp 2025
```
Unverified
svcomp25

1e5856db · CI check-links: Do not check DOI links, because ACM forbids · Mar 17, 2025
```
Final benchmark set for SV-COMP 2025
```
Unverified
svcomp25-final

1e5856db · CI check-links: Do not check DOI links, because ACM forbids · Mar 17, 2025
```
Final benchmark set for SV-COMP 2025
```
Unverified
testcomp25-rc.1

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-rc.1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1
2
3