Tags

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

svcomp26
protected

3fcbe51a · Merge branch 'dev' into 'main' · Feb 15, 2026
```
Processing scripts used for SV-COMP 2026 (2026-02-15)
```
Verified
testcomp26
protected

3fcbe51a · Merge branch 'dev' into 'main' · Feb 15, 2026
```
Processing scripts used for Test-Comp 2026 (2026-02-15)
```
Verified
testcomp26-rc.1
protected

72e9201b · Merge branch 'dev' into 'main' · Dec 27, 2025
```
Release candidate for Test-Comp 2026
```
Verified
svcomp26-rc.1
protected

c2427f4f · Merge branch 'dev' into 'main' · Dec 09, 2025
```
Release candidate for SV-COMP 2026
```
Verified
svcomp25
protected

f05f8028 · Merge remote-tracking branch 'origin/labels' · Mar 24, 2025
```
Competition Scripts used for SV-Comp 2025
```
Verified
testcomp25
protected

cc4a1c8a · Merge branch 'add-paths' · Mar 21, 2025
```
Competition Scripts used for Test-Comp 2025
```
Verified
testcomp25-rc.1
protected

92bc0fab · Adjust to new location for backup of generated data · Dec 16, 2024
```
Release candidate for Test-Comp 2025 (version before final execution)
```
Verified
svcomp25-rc.1
protected

3300c98a · In SV-COMP 2024, only two verifiers produced the new format for violation... · Nov 28, 2024
```
Version used for SV-COMP 2025 before final execution
```
Verified
svcomp24
protected

645337c7 · Improve error message for qplot_data · Mar 22, 2024
```
Version of scripts used for SV-COMP 2024
```
Verified
testcomp24-rc.1
protected

918b84e0 · Multi-threading for link replacer · Dec 08, 2023
```
Release candidate for Test-Comp 2024
```
Verified
svcomp24-rc.1
protected

207d3f9d · Upgrade the jury listing for EasyChair using fm-tools data · Nov 28, 2023
```
Release candidate for SV-COMP 2024
```
Verified
svcomp23
protected

e6f84b5a · More flexible configuration for a special local configuration · Feb 09, 2023
```
Final release for SV-Comp 2023
```
Unverified
testcomp23
protected

e6f84b5a · More flexible configuration for a special local configuration · Feb 09, 2023
```
Final release for Test-Comp 2023
```
Unverified
testcomp23-rc.1
protected

c9fff389 · Merge branch 'mchalupa-main-patch-12212' into 'main' · Dec 19, 2022
```
Release candidate for Test-Comp 2023
```
Unverified
svcomp23-rc.1
protected

7f557a50 · Make a backup copy in home-dir of user 'competitions', not in a scratch-dir of... · Dec 02, 2022
```
Release candidate for SV-COMP 2023
```
Unverified
testcomp22
protected

2022c698 · Set color and point-type for new tool · Dec 19, 2021
```
Release version for Test-Comp 2022
```
Unverified
svcomp22
protected

3c959671 · Adjust colors and point-types for tools that participated last year but changed name · Dec 18, 2021
```
Release version for SV-COMP 2022
```
Unverified
testcomp22-rc.1
protected

603f291a · Use 'find' instead of 'ls' to search for files, and use '.txt' files instead... · Dec 13, 2021
```
Release candidate for Test-Comp 2022
```
Unverified
svcomp22-rc.1
protected

ebb68404 · Increase priority for final runs · Dec 05, 2021
```
Release candidate for SV-COMP 2022
```
Unverified
svcomp21
protected

83397401 · Merge branch 'category-check-allows-empty-opt-in-opt-out' into 'master' · Dec 19, 2020
```
This tag marks the version used for the 10th Competition on Software Verification (SV-COMP) 2021.
```
Verified