Tags

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

testcomp24-final

0ea9290d · Resolve path names in CI to canonical relative paths · Dec 07, 2023
```
Release of final version of benchmark set for Test-Comp 2024
```
Unverified
testcomp24

0ea9290d · Resolve path names in CI to canonical relative paths · Dec 07, 2023
```
Release of final version of benchmark set for Test-Comp 2024
```
Unverified
svcomp24-final

5c2dfcdb · Merge branch 'remove-tasks-added-in-1515' into 'svcomp24' · Dec 14, 2023
```
Release of final version of benchmark set for SV-COMP 2024
```
Unverified
svcomp24

5c2dfcdb · Merge branch 'remove-tasks-added-in-1515' into 'svcomp24' · Dec 14, 2023
```
Release of final version of benchmark set for SV-COMP 2024
```
Unverified
svcomp24-rc.5

6573c593 · Add list of task definitions that were changed after the freezing deadline and... · Dec 07, 2023
```
Release candidate for SV-COMP 2024
```
Unverified
svcomp24-rc.4

3e16aa3f · Revert !1493, !1494, !1495, !1496, !1497 for exclusion in SV-COMP'24 · Dec 07, 2023
```
Release candidate for SV-COMP 2024
```
Unverified
testcomp24-rc.1

0ea9290d · Resolve path names in CI to canonical relative paths · Dec 07, 2023
```
Release candidate for Test-Comp 2024
```
Unverified
svcomp24-rc.3

509aa682 · Merge branch 'fb/fix-ovfl-char-pc8736x-set' into 'main' · Nov 23, 2023
```
Release candidate for SV-COMP 2024
```
Unverified
svcomp24-rc.2

7558396a · Merge branch '1382-ci-for-mrs-from-main' into 'main' · Nov 18, 2023
```
Tag the benchmark set for the final execution of SV-COMP 2024 (still candidate)
```
Unverified
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
```
Unverified
svcomp23

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

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

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

8ee52e27 · Merge branch 'undefined-behaviour-fixes' into 'main' · Nov 10, 2022
```
Last merge commit before freeze deadline
```
Unverified
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
```
Unverified
testcomp22

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

ad265d07 · Remove the programs and task definitions that were changed after the freezing... · Dec 17, 2021
```
Release version for SV-COMP 2022
```
Unverified
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
```
Unverified
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
```
Unverified
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
```
Unverified

Prev
1
2
Next