Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
BAM-parallel
4cf7b956
·
merge from trunk into branch
·
Jun 22, 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
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
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
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
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
javasmt-2.0
c5b70bfa
·
Adapting to new interpolation API
·
Mar 08, 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
runtime_verification
9ad3244a
·
updated benchmarking file
·
Feb 15, 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
bam-precision-collection
ab5cfcbd
·
Merge fix of injected options
·
Jan 30, 2017
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
block_waitlist
18f38f13
·
Fix size calculation
·
Dec 28, 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
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
smgcegar
ab82c4e4
·
SMGCPA: Flip wrong boolean method call.
·
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
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
invariants_w_callstack
dfd5918c
·
removed a TODO comment
·
Sep 27, 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
Prev
1
…
5
6
7
8
9
10
11
12
13
…
18
Next