Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
tags/cpachecker-1.6-isola16
00347cb2
·
Version used for ISoLA paper on 'Symbolic Execution with CEGAR'
·
Jul 30, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ldv_predicate_enhanced_deferred_allocations
5b09b6cc
·
Renamed and fixed new tests for deferred allocations in test/programs/simple/pointer_aliasing/
·
Aug 01, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
predicate_cpa_fixes
f70d9e5c
·
Temporary warning fix to proceed with benchmarking
·
Aug 03, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cfaSequencer
7a2d3989
·
adding 'final' and removing unused field.
·
Aug 08, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fast_liveness
c8f1382b
·
Remove unused exception.
·
Aug 08, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
no_tmp_void
c361e758
·
More general detection of "void" type.
·
Aug 09, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.6.8-fse16-correctnessWitnesses
4b59becb
·
Create tag for FSE'16 paper "Correctness Witnesses: Exchanging Verification...
·
Aug 22, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
new_javasmt
53b1e7ee
·
Experiment: add dependency on MathSAT compiled with latest GMP.
·
Aug 24, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ldv-merge
cf718386
·
SMGCPA: bitfields support for Enum type
·
Aug 26, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.6.8-vstte16
5d5e6991
·
Create tag for VSTTE'16 Paper 'SMT-based Software Model Checking: An...
·
Aug 29, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
k-induction-invariants-fixes
7af9bede
·
fixing issues, related to unknown variables in the SSAMap
·
Sep 02, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bam_fixes
6b3827f0
·
Merged BAMValueProvider and DefaultValueProvider and FreshValueProvider.
·
Sep 06, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
MatchingFunctionPointerCandidatesForFields
32439436
·
Add null pointer check
·
Sep 07, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pointer_analysis_bnb_model
8324108c
·
Completed merge
·
Sep 13, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
LDVExplicitPredicateExperiments
d565137e
·
Further fixes to the implementation, for now gave up lazy abstraction on the first iteration
·
Sep 19, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pathInvariants-fix
4e04de0f
·
collect statistics of rcnf conversion
·
Sep 26, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
invariants_w_callstack
dfd5918c
·
removed a TODO comment
·
Sep 27, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pointer_analysis_bnb_model2
bbd9a3b8
·
The documentation of the configuration option is extended
·
Sep 30, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
error_invariants
3aaa7021
·
StandardInput returns parsed input as correct type, not string.
·
Sep 30, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smgcegar
ab82c4e4
·
SMGCPA: Flip wrong boolean method call.
·
Sep 30, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
5
6
7
8
9
10
11
12
13
…
18
Next