Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
functionPointerInValueAnalysis
036d9102
·
Minor style improvements
·
Sep 21, 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
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
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
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
dynamic-bam-adjustment
67a52e40
·
Update docs and style
·
Nov 02, 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
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
branching-formula-fix
9ec43f09
·
Merge r24617
·
Nov 07, 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
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
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
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
program_slicing
41e1e916
·
Create branch for program slicing
·
Nov 28, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
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
tags/cpachecker-1.7
75f64bd5
·
Release 1.7
·
Dec 22, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
extended_witness
45fc2108
·
SMGCPA: Extended Witness. Move additional info services from state to CPA
·
Jan 12, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
extended_witness_merge
bc259357
·
SMGCPA: Extended Witness. Lift decision of omitting edge at ExtendedWitness...
·
Feb 22, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CPALockator-merge
cc0ddc7e
·
Merge from trunk
·
Feb 26, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CPALockator
c6116a22
·
Fix a bug, when we try to write into not existed directory
·
Mar 22, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
7
8
9
10
11
12
13
14
15
…
18
Next