Tags
Tags give the ability to mark specific points in history as being important
cpachecker-4.0
f3553c4f
·
Release 4.0
·
Nov 23, 2024
Release 4.0
cpachecker-3.0
837b10ad
·
Release 3.0 of CPAchecker
·
Jul 05, 2024
cpachecker-2.4
9b94e384
·
Release 2.4 of CPAchecker!
·
Jun 28, 2024
cpachecker-2.3.1
af0f2fe7
·
Release 2.3.1 of CPAchecker!
·
Apr 26, 2024
cpachecker-2.3
1d3d46dd
·
Release 2.3 of CPAchecker!
·
Nov 24, 2023
cpachecker-2.2
2b20fc99
·
Release 2.2 of CPAchecker
·
Nov 23, 2022
cpachecker-2.1.1
8f2ac07c
·
Release 2.1.1 of CPAchecker
·
Jan 24, 2022
cpachecker-2.1-cCegar-icse-20220120
97a10feb
·
Release tag for CPAchecker used for ICSE 2022 paper
·
Jan 20, 2022
cpachecker-2.1
bdf0a631
·
Release 2.1 of CPAchecker
·
Nov 23, 2021
cpachecker-2.0
fa686d82
·
Release 2.0 of CPAchecker
·
Dec 03, 2020
cpachecker-1.9.1
d01926cb
·
Release 1.9.1 of CPAchecker
·
May 08, 2020
cpachecker-1.7-witnesses-tosem-20181130
37d12ce1
·
Release tag for Witness Validation version used for TOSEM paper
·
Mar 30, 2020
cpachecker-1.8-coveritest-sttt-20190729
fd2265eb
·
Release tag for CoVeriTest version used for STTT paper
·
Mar 30, 2020
cpachecker-1.9
bdf6fe80
·
Release 1.9 of CPAchecker
·
Nov 28, 2019
cpachecker-1.8
f2f8bdf6
·
Release 1.8
·
Dec 31, 2018
cpachecker-1.7.11-svcomp19
484129ab
·
Create tag for version that was used in the SV-COMP19 submission CPA-Seq
·
Nov 30, 2018
cpachecker-1.6.23-svcomp18
a3d0e367
·
Create tag for version that was used in the SV-COMP18 submission CPA-Seq
·
Nov 30, 2018
cpachecker-1.7.7-ase18-symExec
164018d5
·
creating tag for ASE18 tool paper 'Efficient Symbolic Execution in CPAchecker'
·
Sep 12, 2018
cpachecker-1.7.7-ase18-parallelBam
6696588d
·
creating tag for ASE18 conference paper 'Domain-Independent Multi-threaded Software Model Checking'
·
Sep 12, 2018
cpachecker-1.7.6-isola18
48de2d76
·
Create tag for ISoLA'18 paper "Strategy Selection for Software Verification...
·
Aug 10, 2018
1
2
3