Tags

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

testcomp26
protected

60c1b5b9 · Merge branch 'svcomp26-invalid-taskdefs-clean' into 'main' · Dec 23, 2025
```
Final benchmark set for Test-Comp 2026
```
svcomp26
protected

60c1b5b9 · Merge branch 'svcomp26-invalid-taskdefs-clean' into 'main' · Dec 23, 2025
```
Final benchmark set for SV-COMP 2026
```
svcomp26-rc.1
protected

e8b30912 · Merge branch 'peterschrammel-main-patch-72212' into 'main' · Dec 05, 2025
```
Release candidate for SV-COMP 2026
```
svcomp26-freeze
protected

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.
```
testcomp25
protected

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

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

1e5856db · CI check-links: Do not check DOI links, because ACM forbids · Mar 17, 2025
```
Final benchmark set for SV-COMP 2025
```
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)
```
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
```
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
```
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
```
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
```
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
```
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
```
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
```
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
```
testcomp24-rc.1
protected

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

509aa682 · Merge branch 'fb/fix-ovfl-char-pc8736x-set' into 'main' · Nov 23, 2023
```
Release candidate for SV-COMP 2024
```
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)
```
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
```