Tags

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

svcomp24-rc.1

72247a57 · Merge branch 'goblint-regression-memsafety-fixes' into 'main' · Nov 14, 2023
```
Tag the benchmark set for the freezing deadline of SV-COMP 2024
```
svcomp23

f87854c2 · Switch off sanity check for this branch · Feb 09, 2023
```
Final release for SV-COMP 2023
```
testcomp23

f87854c2 · Switch off sanity check for this branch · Feb 09, 2023
```
Final release for Test-Comp 2023
```
testcomp23-rc.1

ac77f543 · Merge branch 'prodbin-ll_unwindbound' into 'main' · Dec 18, 2022
```
Release candidate for Test-Comp 2023
```
sv-comp23-freeze

8ee52e27 · Merge branch 'undefined-behaviour-fixes' into 'main' · Nov 10, 2022
```
Last merge commit before freeze deadline
```
svcomp23-rc.1

5c5766f5 · Merge branch '1334-add-benchmark-from-nfm-paper-by-fink-berger-katoen-2' into 'main' · Dec 07, 2022
```
Release candidate for SV-COMP 2023
```
testcomp22

ad265d07 · Remove the programs and task definitions that were changed after the freezing... · Dec 17, 2021
```
Release version for Test-Comp 2022
```
svcomp22

ad265d07 · Remove the programs and task definitions that were changed after the freezing... · Dec 17, 2021
```
Release version for SV-COMP 2022
```
testcomp22-rc.1

56689c33 · Remove the programs and task definitions that were changed after the freezing... · Dec 15, 2021
```
Release candidate for Test-Comp 2022
```
svcomp22-rc.2

3ca99b0f · Remove the task definitions for programs that were changed after the freezing... · Dec 05, 2021
```
Release candidate for SV-COMP 2022
```
svcomp22-rc.1

4629d456 · Remove the programs that were changed after the freezing deadline of the... · Dec 05, 2021
```
Release candidate for SV-COMP 2022
```

svcomp21

4cc6b6d9 · Merge pull request #1273 from tautschnig/rm-ldv · Dec 19, 2020

This tag marks the version used for the 10th Competition on Software Verification (SV-COMP) 2021.

testcomp21

efea7382 · Merge pull request #1253 from sosy-lab/aws-variable-initialization · Dec 03, 2020
```
This tag marks the version used for the 3rd Competition on Software Testing (Test-Comp) 2021.
```

verifier-error

f6208b2a · Remove undefined behavior in C90-style structhack · Jan 17, 2020

This tag marks the version of the benchmark sets before the change from __VERIFIER_error to reach_error.

svcomp20

8895093c · Remove eliminated file from CI whitelist · Dec 19, 2019

This tag marks the version of the benchmark set of verification tasks for the Competition on Software Verification (SV-COMP) 2020.

testcomp20

d6cd3e5d · Merge pull request #1020 from sosy-lab/revert-905-knr-function-style · Nov 23, 2019

This tag marks the version of the benchmark set of test tasks for the Competition on Software Testing (Test-Comp) 2020.

testcomp19

6a770a9c · Merge pull request #791 from sosy-lab/vla · Feb 04, 2019

Benchmark set of tasks of the Competition on Software Testing (Test-Comp) 2019.

svcomp19

b8369a39 · Merge pull request #758 from tautschnig/remove-memcpy · Dec 11, 2018

Benchmark set of verification tasks of the Competition on Software Verification (SV-COMP) 2019.

svcomp18

f2996ff1 · Merge pull request #542 from staticafi/busybox-fixes2 · Nov 23, 2017

Benchmark set of verification tasks of the Competition on Software Verification (SV-COMP) 2018.

svcomp17

02795d8c · Removal of two verification tasks according to SV-COMP Motion 2017-07... · Jan 20, 2017
```
Verification tasks as used in the competition on software verification (SV-COMP) 2017.
```