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.1
cpachecker
Browse files
Nov 23, 2021
Release 2.1 of CPAchecker
· bdf0a631
pwendler
authored
Nov 23, 2021
View commits for tag cpachecker-2.1
cpachecker-2.1
bdf0a631
Release 2.1
· 693ec0e0
pwendler
authored
Nov 23, 2021
693ec0e0
Update BenchExec to 3.10
· 41b69f94
pwendler
authored
Nov 23, 2021
41b69f94
Nov 22, 2021
Termination: return unknown for multiplication op with equal factors
· 5201be95
tbunk
authored
Nov 22, 2021
5201be95
SMGCPA: add option for disable guessing on unknown dereference
· 9c4e40f9
vasilyev
authored
Nov 22, 2021
9c4e40f9
Updating the contributing authors of the CPAchecker code base -- THANK YOU for your contributions.
· 06fa9ac2
dbeyer
authored
Nov 22, 2021
06fa9ac2
SMGCPA: handle unknown dereference and write as safe on ErrorPredicatesEnable.
· 5b3d9857
vasilyev
authored
Nov 22, 2021
5b3d9857
SMGCPA: fix check for enabling error predicates before add error predicate.
· d275acb6
vasilyev
authored
Nov 22, 2021
d275acb6
Prepare release notes for next CPAchecker release
· 340b6c69
pwendler
authored
Nov 22, 2021
340b6c69
Remove unused SV-COMP22 sub-configs
· bb1f2ee6
lemberge
authored
Nov 22, 2021
bb1f2ee6
Update .classpath file for eclipse
· c214ee7d
tbunk
authored
Nov 22, 2021
c214ee7d
Add a config using IMC in the sequential analysis for single-loop programs
· 74b684ac
nzlee
authored
Nov 22, 2021
74b684ac
Nov 20, 2021
SMGCPA: add possibility of both equal and unequal memory for same string...
· 8064dee0
vasilyev
authored
Nov 20, 2021
8064dee0
Make termination imprecision heuristic directly work with counterexampleinfo
· dccf022e
lemberge
authored
Nov 20, 2021
dccf022e
Make termination imprecision heuristic more elaborate
· 842cd459
lemberge
authored
Nov 20, 2021
842cd459
Fix too-early abort in termination imprecision heuristic
· d77d242f
lemberge
authored
Nov 20, 2021
d77d242f
Make imprecise-operation in termination cex consider all edges on target path
· b29c2304
lemberge
authored
Nov 20, 2021
b29c2304
Simplify !Optional.isPresent -> Optional.isEmpty
· 30cbab80
lemberge
authored
Nov 20, 2021
30cbab80
Apply refaster patch
· 41f51d22
lemberge
authored
Nov 20, 2021
41f51d22
Nov 19, 2021
Merge branch 'fix-ssa-index-at-pthread-function-entry' into trunk
· 3eca01ef
pchien
authored
Nov 19, 2021
3eca01ef
Mark memset and similar methods as unsupported for InvariantsCPA
· faef6e11
pwendler
authored
Nov 19, 2021
faef6e11
Apply refaster patch
· c3df88db
lemberge
authored
Nov 19, 2021
c3df88db
Reintegrate 'delegating-refiner-does-not-use-imprecise-repeated-counterexamples' into trunk
· 2fe662e6
lemberge
authored
Nov 19, 2021
2fe662e6
Enable pointer aliasing for recursive predicate analysis in SV-COMP22
· 1f920870
lemberge
authored
Nov 19, 2021
1f920870
Fix incorrect SSA index at thread entries
· bb092f0c
pchien
authored
Nov 19, 2021
bb092f0c
Add heuristic to TerminationAlgorithm: Deem counterexamples with binary operations imprecise
· e73ce118
lemberge
authored
Nov 19, 2021
e73ce118
Create a new branch to test a fix in CtoFormulaConverter
· d6a05cef
pchien
authored
Nov 19, 2021
d6a05cef
Make delegating refiner rethrow RefinementFailedException in last refinement step
· db7df5f8
lemberge
authored
Nov 19, 2021
db7df5f8
Do not use any cex if repeated cex appears in delegating refiner
· c599056e
lemberge
authored
Nov 19, 2021
c599056e
Create branch 'delegating-refiner-does-not-use-imprecise-repeated-counterexamples'
· 9315006b
lemberge
authored
Nov 19, 2021
9315006b
Add counterexample check only to predicate analysis and k-induction
· 0dee50a3
nzlee
authored
Nov 19, 2021
0dee50a3
Add a config to use IMC for single-loop programs
· 17f9bc1e
nzlee
authored
Nov 19, 2021
17f9bc1e
Nov 18, 2021
Add a config that checks cex to avoid wrong alarms
· 9beb1835
nzlee
authored
Nov 18, 2021
9beb1835
Nov 17, 2021
integrate random testing into CoVeriTest TestComp22 submission
· 4e6ae0d0
mcjakobs
authored
Nov 17, 2021
4e6ae0d0
fixed compiler error introduced in previous commit
· 915a9f6f
mcjakobs
authored
Nov 17, 2021
915a9f6f
no need to use levels in statistical output
· acba448a
mcjakobs
authored
Nov 17, 2021
acba448a
improved log message
· 0fb89873
mcjakobs
authored
Nov 17, 2021
0fb89873
need to use hard-coded dummy CPA for random test-case generation
· a140ee45
mcjakobs
authored
Nov 17, 2021
a140ee45
add random test-case generator to algorithms
· 1f19c0b4
mcjakobs
authored
Nov 17, 2021
1f19c0b4
aim to fix spotbugs warning
· 2e6087a4
mcjakobs
authored
Nov 17, 2021
2e6087a4
Loading