Tags

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

cpachecker-4.2.2
protected

dc7708cb · Release 4.2.2 · Dec 01, 2025
```
Release 4.2.2
```
Unverified
cpachecker-4.2.1
protected

32f9721b · Release 4.2.1 · Nov 27, 2025
```
Release 4.2.1
```
Unverified
cpachecker-4.2
protected

abff2183 · Release 4.2 · Nov 24, 2025
```
Release 4.2

Thanks to all contributors!
```
Unverified
cpachecker-4.1
protected

146fe80e · Release 4.1 · Aug 01, 2025
```
Release 4.1

Thanks to all contributors!
```
Unverified
cpachecker-4.0
protected

f3553c4f · Release 4.0 · Nov 23, 2024
```
Release 4.0
```
Unverified
cpachecker-3.0
protected

837b10ad · Release 3.0 of CPAchecker · Jul 05, 2024
cpachecker-2.4
protected

9b94e384 · Release 2.4 of CPAchecker! · Jun 28, 2024
cpachecker-2.3.1
protected

af0f2fe7 · Release 2.3.1 of CPAchecker! · Apr 26, 2024
cpachecker-2.3
protected

1d3d46dd · Release 2.3 of CPAchecker! · Nov 24, 2023
cpachecker-2.2
protected

2b20fc99 · Release 2.2 of CPAchecker · Nov 23, 2022
cpachecker-2.1.1
protected

8f2ac07c · Release 2.1.1 of CPAchecker · Jan 24, 2022
cpachecker-2.1-cCegar-icse-20220120
protected

97a10feb · Release tag for CPAchecker used for ICSE 2022 paper · Jan 20, 2022
cpachecker-2.1
protected

bdf0a631 · Release 2.1 of CPAchecker · Nov 23, 2021
cpachecker-2.0
protected

fa686d82 · Release 2.0 of CPAchecker · Dec 03, 2020
cpachecker-1.9.1
protected

d01926cb · Release 1.9.1 of CPAchecker · May 08, 2020
cpachecker-1.7-witnesses-tosem-20181130
protected

37d12ce1 · Release tag for Witness Validation version used for TOSEM paper · Mar 30, 2020
cpachecker-1.8-coveritest-sttt-20190729
protected

fd2265eb · Release tag for CoVeriTest version used for STTT paper · Mar 30, 2020
cpachecker-1.9
protected

bdf6fe80 · Release 1.9 of CPAchecker · Nov 28, 2019
cpachecker-1.8
protected

f2f8bdf6 · Release 1.8 · Dec 31, 2018
cpachecker-1.7.11-svcomp19
protected

484129ab · Create tag for version that was used in the SV-COMP19 submission CPA-Seq · Nov 30, 2018

1
2
3