Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
Commits · cpachecker-2.2
cpachecker
Browse files
Nov 23, 2022
Release 2.2 of CPAchecker
· 2b20fc99
pwendler
authored
Nov 23, 2022
View commits for tag cpachecker-2.2
cpachecker-2.2
2b20fc99
Release 2.2
· 05cad905
pwendler
authored
Nov 23, 2022
05cad905
Nov 22, 2022
Update contributors to the CPAchecker project
· dea711d4
dbeyer
authored
Nov 22, 2022
dea711d4
Abort in more cases where lock ID is unreliable
· 1b4f1713
spiessl
authored
Nov 22, 2022
1b4f1713
Term.Analysis: Use 'lateMerge' option instead of allowing imprecise CEX
· c5464f1e
tbunk
authored
Nov 22, 2022
c5464f1e
Fix broken handling of integer promotions for unary ops in PredicateCPA
· 51223083
pwendler
authored
Nov 22, 2022
51223083
Remove redundant includes in new config
· d9fda544
spiessl
authored
Nov 22, 2022
d9fda544
Fix wrong spc file reference in conc. ovf. config
· daca3937
spiessl
authored
Nov 22, 2022
daca3937
Copy concurrency options between configs
· b7b52b7c
spiessl
authored
Nov 22, 2022
b7b52b7c
Add config for overflows in concurrency tasks
· 2051eec7
spiessl
authored
Nov 22, 2022
2051eec7
Enable plain k-induction to dump correctness witnesses
· 3daf9f22
nzlee
authored
Nov 22, 2022
3daf9f22
Nov 21, 2022
Allow *data-race.spc in configuration file checks
· 5e685341
spiessl
authored
Nov 21, 2022
5e685341
Mark scanf as unsupported for SV-COMP data races
· 08c80597
spiessl
authored
Nov 21, 2022
08c80597
Update NEWS.md: add info about data race analysis
· e394ca95
spiessl
authored
Nov 21, 2022
e394ca95
Add config for verifying data races in SV-COMP
· 0b8d4e7d
spiessl
authored
Nov 21, 2022
0b8d4e7d
Improve naming, minor details in data race config
· 28faaddb
spiessl
authored
Nov 21, 2022
28faaddb
Add option to specify a datarace.config
· 07f144a9
spiessl
authored
Nov 21, 2022
07f144a9
Merge branch issue-807 (noop merge)
· c06815f1
pwendler
authored
Nov 21, 2022
c06815f1
Update VerifierCloud scripts with current version
· 673ff010
pwendler
authored
Nov 21, 2022
673ff010
Prepare changelog for release with technical notes
· 6518f9ae
pwendler
authored
Nov 21, 2022
6518f9ae
Merge svcomp23-config-search into trunk
· cde94a40
nzlee
authored
Nov 21, 2022
cde94a40
Merge branch data-race-detection into trunk
· 6fe0fbc8
spiessl
authored
Nov 21, 2022
6fe0fbc8
Merge trunk into branch data-race-detection
· 79fe2dd1
spiessl
authored
Nov 21, 2022
79fe2dd1
Fix handling of __VERIFIER_atomic with local lock
· 22722d28
spiessl
authored
Nov 21, 2022
22722d28
Nov 18, 2022
Auto-update libraries
· 93510a70
buildbot
authored
Nov 18, 2022
93510a70
Merge trunk into svcomp23-config-search
· eeb7c14f
nzlee
authored
Nov 18, 2022
eeb7c14f
Revert "Update single-loop configurations"
· 40e1a630
nzlee
authored
Nov 18, 2022
40e1a630
Exclude more programs with flapping timeouts in integration sets
· b32907d0
tbunk
authored
Nov 18, 2022
b32907d0
Merge trunk into svcomp23-config-search
· a1f1f67f
nzlee
authored
Nov 18, 2022
a1f1f67f
Fix CI: cex-check-SMG2 is unused and should be removed
· 41616260
nzlee
authored
Nov 18, 2022
41616260
Remove smg2 cex check from svcomp23 configs
· 5af56be5
dbaier
authored
Nov 18, 2022
5af56be5
Add back a wrongly removed cex check not related to smg2
· c339d094
dbaier
authored
Nov 18, 2022
c339d094
fix verdict of new task definition
· e40a2a76
pwendler
authored
Nov 18, 2022
e40a2a76
Merge trunk
· 1a7be79c
mkettl
authored
Nov 18, 2022
1a7be79c
Update single-loop configurations
· bab84eda
mkettl
authored
Nov 18, 2022
bab84eda
fix path in task definition
· 45a00666
pwendler
authored
Nov 18, 2022
45a00666
fix format
· 5073dd60
pwendler
authored
Nov 18, 2022
5073dd60
remove smg2 as a cex check from svcomp22 and svcomp23 configs
· c5f28176
dbaier
authored
Nov 18, 2022
c5f28176
Use long instead of int for type sizes in PredicateCPA
· ff5c3d30
pwendler
authored
Nov 18, 2022
ff5c3d30
Remove broken offset computation for struct fields in PredicateCPA
· 617a8e4c
pwendler
authored
Nov 18, 2022
617a8e4c
Loading