Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
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
pointer_analysis_bnb_model
8324108c
·
Completed merge
·
Sep 13, 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
bam_fixes
6b3827f0
·
Merged BAMValueProvider and DefaultValueProvider and FreshValueProvider.
·
Sep 06, 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
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
ldv-merge
cf718386
·
SMGCPA: bitfields support for Enum type
·
Aug 26, 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
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
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
fast_liveness
c8f1382b
·
Remove unused exception.
·
Aug 08, 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
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
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
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
muauto
595b4ab1
·
Highlight weaved edges
·
Jul 05, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smg_predicate
3f9babc1
·
SMGCPA: Add tests
·
Jul 04, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ldv_predicate_bounded_allocations
b9cedb4d
·
Yet another unsound limit on the max. number of tracked locations in a region
·
Jun 24, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
generify_core_interfaces
7066c839
·
Removed another unused @SuppressWarnings.
·
Jun 23, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
odysseusX
62be91b2
·
Initial copy of release 1.6 for the branch Odysseus
·
Jun 22, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
6
7
8
9
10
11
12
13
14
…
18
Next