Tags

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

2.1.2
protected

2e4a27b3 · Release 2.1.2 · Dec 02, 2025
2.1.1
protected

581b2476 · Release 2.1.1 · Nov 23, 2025
2.1
protected

4c8682e5 · Release 2.1 · Oct 06, 2025
2.0.3
protected

dc693caa · Set release version · Mar 19, 2025
```
Release 2.0.3 (SV-COMP 2025)
```
2.0.3-svcomp25
protected

8f5dc4bf · An assumption waypoint can also have an integer as constraint for switch statements · Oct 24, 2024
```
Release 2.0.3-svcomp25
```
svcomp25-rc.1
protected

ae03feb0 · Merge branch 'data-race' into 'main' · Nov 22, 2024
```
Version used for SV-COMP 2025 before final execution
```

2.0.2

protected

6d9501b4 · Release 2.0.2 Verification Witnesses · Nov 28, 2023

Release 2.0.2 Verification Witnesses

Release of version 2.0.2 of the format for verification witnesses and their linter WitnessLint

2.0.1

protected

8d792f04 · Merge branch 'ignore-faulty-witness' into 'main' · Nov 27, 2023

Release 2.0.1 Verification Witnesses

Release of version 2.0.1 of the format for verification witnesses and their linter WitnessLint

2.0

protected

03a3790e · Release version 2.0 of witness linter · Nov 26, 2023

Release 2.0 Verification Witnesses

Release of version 2.0 of the format for verification witnesses and their linter WitnessLint

svcomp23
protected

e16b1fdd · Merge branch 'clinter' into 'main' · Nov 04, 2022
```
Final release for SV-Comp 2023
```
svcomp23-rc.1
protected

e16b1fdd · Merge branch 'clinter' into 'main' · Nov 04, 2022
```
Release candidate for SV-COMP 2023
```
svcomp22
protected

e4695d2b · Merge pull request #52 from sosy-lab/allow-list · Nov 12, 2021
```
Release version for SV-COMP 2022
```
svcomp22-rc.1
protected

e4695d2b · Merge pull request #52 from sosy-lab/allow-list · Nov 12, 2021
```
Release candidate for SV-COMP 2022
```
svcomp21
protected

3d58d205 · Make update of version output of linter easier · Dec 02, 2020
```
Version of the witness format used in SV-COMP 2021
```

svcomp20

protected

c689f299 · Remove debug information from witnesses · Mar 23, 2019

This tag marks the version of the witness format for the Competition on Software Verification (SV-COMP) 2020.

svcomp19

protected

7f052852 · Adding DOI links to the articles · Nov 07, 2018

Format for verification witnesses as used for the 8th Competition on Software Verification (SV-COMP) 2019.

svcomp18
protected

2d0b212e · Merge pull request #8 from kfriedberger/master · Nov 12, 2017
svcomp17
protected

4a50cc31 · Fix #2 (both issues) · Dec 07, 2016
```
Witness format as used in SV-COMP 2017.
```