Tags

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

testcomp25 protected

b6b126ee · Merge branch 'fix-add-licenses' into 'main' · Mar 20, 2025
```
Release 2.2: (SV-COMP 2025, Test-Comp 2025)
```
Unverified
svcomp25 protected

b6b126ee · Merge branch 'fix-add-licenses' into 'main' · Mar 20, 2025
```
Release 2.2: (SV-COMP 2025, Test-Comp 2025)
```
Unverified
2.2 protected

b6b126ee · Merge branch 'fix-add-licenses' into 'main' · Mar 20, 2025
```
Release 2.2: (SV-COMP 2025, Test-Comp 2025)
```
Unverified
lib-py-0.4.2 protected

470b99a5 · Release 0.4.2 · Dec 20, 2024
```
Release of lib-fm-tool python 0.4.2
```
Unverified
lib-py-0.4.1 protected

49e56b55 · Release 0.4.1 · Dec 20, 2024
```
Release of lib-fm-tool python 0.4.1
```
Unverified
lib-py-0.4.0 protected

d6b2e9dc · Release 0.4.0 · Dec 16, 2024
```
Release of lib-fm-tool python 0.4.0
```
Unverified
lib-py-0.3.6 protected

25271560 · Release 0.3.6 · Dec 13, 2024
```
Release of lib-fm-tool python 0.3.6
```
Unverified
2.1 protected

8f75e693 · Merge branch 'correct-cpv' into 'main' · Aug 30, 2024
```
Release 2.1
```
Unverified
2.0 protected

13e9adb3 · Fix a failing match (path is absolute, not relative) · May 13, 2024
```
Release 2.0
```
Unverified
testcomp24 protected

323cf7ab · Upgrade scripts submodule · Mar 21, 2024
```
Version of data for Test-Comp 2024
```
Unverified
svcomp24 protected

323cf7ab · Upgrade scripts submodule · Mar 21, 2024
```
Version of data for SV-COMP 2024
```
Unverified
testcomp24-rc.1 protected

38ec4463 · Upgrade submodule · Dec 08, 2023
```
Release candidate for Test-Comp 2024
```
Unverified
svcomp24-rc.1 protected

d4985ef6 · Upgrade submodule · Nov 28, 2023
```
Release candidate for SV-COMP 2024
```
Unverified