Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
smg_witness_for_ldv
c25a8706
·
SMGCPA: report errorDescription for corresponding checkProperty only
·
Dec 14, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
program_slicing
41e1e916
·
Create branch for program slicing
·
Nov 28, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ldv-bam-slicing
0b8c25aa
·
CPA-BAM-Slicing: updated slicer (now uses latest Frama-C+bugfixes), updated...
·
Nov 27, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pointerAnalysis
2e2f56cc
·
Minor refactoring: Move method from transfer relation to state
·
Nov 13, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
precision-collection
856f810a
·
A branch for implementation of precision collection feature from ldv-bam
·
Nov 08, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ldv-bam
cd559f19
·
Docs update
·
Nov 08, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
branching-formula-fix
9ec43f09
·
Merge r24617
·
Nov 07, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fixes-in-bam
a2ee9267
·
Complete merge of pointer target sets
·
Nov 03, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
slicing-abstractions
955306c8
·
Merge trunk into branch slicing-abstractions
·
Nov 02, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
dynamic-bam-adjustment
67a52e40
·
Update docs and style
·
Nov 02, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
unify_value_interval
ca574d96
·
constants in the construct instead numbers
·
Oct 18, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
field-offset-calculation
c43dfea7
·
Annotate test structs with corresponding C syntax and add further size test cases
·
Oct 16, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ldv_scope_bounded_verification
6c88c813
·
ScopeBoundedCPA: really disabled "pure struct" optimization for ScopeBoundedCPA
·
Oct 05, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
BAM-COW
9b65d7d6
·
merge from trunk:r26051 into branch BAM-COW.
·
Oct 02, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
functionPointerInValueAnalysis
036d9102
·
Minor style improvements
·
Sep 21, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smg_merge
5f1f46eb
·
SMGCPA: remove exception on size calculation
·
Sep 12, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
muauto_merge
a798cba7
·
merged up to trunk@20534
·
Aug 29, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tigerCMC
bb06958c
·
Fix bug in assumption collector: Initial state only collected once
·
Aug 17, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
visualisation
bcefe1b5
·
code cleanup in preparation for merge
·
Jul 23, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CoverageRefactoring
a44cd3d9
·
Remove duplicate computation of coverage
·
Jun 23, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
4
5
6
7
8
9
10
11
12
…
18
Next