Tags

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

lib-py-1.0.0

d2ea0001 · Release 1.0.0 · Jun 24, 2025
```
Release of lib-fm-tool python 1.0.0
```
testcomp25

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

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

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

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

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

testcomp25-rc.1

562ebada · Upgrade submodule · Dec 17, 2024

Release candidate for Test-Comp 2025 (version before final execution)

lib-py-0.4.0

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

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

svcomp25-rc.1

68bedf2a · Upgrade submodule · Nov 29, 2024

Version used for SV-COMP 2025 before final execution

2.1

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

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

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

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

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

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