Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
smg_performance
2655e4d7
·
Change name of setBitFieldSize to withBitFieldSize to reflect that it does not...
·
Dec 15, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cmav
311f3ffd
·
Improved results printing in CMAV
·
Dec 26, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
block_waitlist
18f38f13
·
Fix size calculation
·
Dec 28, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
summaries
ed9afdbd
·
Forgotten import
·
Jan 20, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bam-precision-collection
ab5cfcbd
·
Merge fix of injected options
·
Jan 30, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.6.12-svcomp17
b58e1b5b
·
Create tag for SV-COMP17, as used for the submissions CPA-Seq and CPA-kInd.
·
Feb 01, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
runtime_verification
9ad3244a
·
updated benchmarking file
·
Feb 15, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
odysseus
d9b99895
·
added possibility to discover infeasible errors.
·
Feb 19, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
javasmt-2.0
c5b70bfa
·
Adapting to new interpolation API
·
Mar 08, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
javasmt-2
11713d5e
·
Renaming branch, VCloud does not like dots in branch names
·
Mar 08, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
predicatecpa-evaluation
3b6b92a8
·
Cherry-pick trunk commits that refactor the configurations for k-induction
·
Mar 09, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.7.6-jar17
aaae29d0
·
Tag version used for JAR'17 paper on 'A Unifying View on SMT-Based Software Verification
·
Jun 08, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.6.18-jar17
5521cc95
·
Tag version used for JAR'17 paper on 'A Unifying View on SMT-Based Software Verification
·
Jun 08, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
llvm_frontend
7f011fc8
·
LLVM parser creates declarations for temporary variables in CFA and tries to...
·
Jun 15, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
BAM-parallel
4cf7b956
·
merge from trunk into branch
·
Jun 22, 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
visualisation
bcefe1b5
·
code cleanup in preparation for merge
·
Jul 23, 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
muauto_merge
a798cba7
·
merged up to trunk@20534
·
Aug 29, 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
Prev
1
…
6
7
8
9
10
11
12
13
14
…
18
Next