Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
counterexample-report
9e7b9a96
·
code sorting
·
Jan 06, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.5
ef0933de
·
This is one of the traditional Sylvester releases.
·
Dec 31, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CoverageUpdate
cb4cafee
·
Coverage report informs how many times the line is covered
·
Dec 08, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
separate_solver_package
b23b74fa
·
New interface for gathering command line options.
·
Nov 27, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
refinementSelectionForABE
56d267c4
·
final update of doc, config
·
Nov 08, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lpi_svcomp16
676550fb
·
Experimenting with LPI configuration.
·
Nov 03, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.4.10-lpi-vmcai16
7363f215
·
CPAchecker version used in VMCAI16 paper
·
Oct 31, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lpi_overflow_encoding
6fb079bc
·
Branch for experimenting with overflow encoding.
·
Oct 29, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
DelegatingBAMRefiner
59714d84
·
merge from trunk into branch. not tested, only compiled.
·
Oct 01, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smgcpa
bdd9b67c
·
SMG: Fix assigned of function return value
·
Sep 30, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tiger2checker
63423c27
·
Configuration for Przemek.
·
Sep 12, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ldv-experiments
79ae3d33
·
Add two more limits for value component
·
Sep 11, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
z3_phantom_references
7319fcd4
·
Create branch z3_phantom_references
·
Aug 26, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
formula_slicing
a240e841
·
Merged trunk
·
Jul 22, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
symbolic-cegar
8db002d1
·
Merge from trunk r17100
·
Jul 18, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
new_solver_prefix
7007de7f
·
Renaming cpa.predicate.solver prefix to "solver", with deprecation support.
·
Jul 14, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
z3interpol
20a55ae5
·
Fixed argument of cp statement in bash script
·
Jul 10, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.4.6-spin15
a64a21e8
·
tag revision 17093 which was used for evaluation in proceedings version of...
·
Jun 26, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
solver_independent_allsat
4192851b
·
Sync latest trunk changes.
·
Jun 11, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
new_z3_version
c82acdc5
·
Updating Z3 to 9734407cde074c5bc65029548919f4a94f2d905f
·
Jun 03, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
8
9
10
11
12
13
14
15
16
…
18
Next