Skip to content
GitLab
Explore
Sign in
Мутилин Вадим Сергеевич
cpachecker
Repository
Branches
Overview
Active
Stale
All
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
runtime_verification
d4f57ec0
·
fixed problem with one program
·
Jun 30, 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
no_ssa_in_model
b3d6d0a1
·
Bugfix: prune the SSA index from the __ART__ meta-variable.
·
Jun 01, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lpi
2b82af69
·
Update lpi-value-analysis config.
·
May 28, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cpaSeq
1a86bdab
·
Commited unsave file before. Now it shoul compile
·
May 28, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.4.5-cav15
22d3c85c
·
CPAchecker version used in our CAV15 paper
·
May 27, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
refinementSelection
691c232b
·
merge current trunk into branch
·
May 07, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
refSel-dynamic
70c789a7
·
combine thresholds with dynamic variable classification provided by...
·
Apr 21, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
codeGen
0df0667b
·
use main() that calls main_0() to allow recursion
·
Mar 29, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
6
7
8
…
10
Next