Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
symbolic-cegar
8db002d1
·
Merge from trunk r17100
·
Jul 18, 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
z3_phantom_references
7319fcd4
·
Create branch z3_phantom_references
·
Aug 26, 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
tiger2checker
63423c27
·
Configuration for Przemek.
·
Sep 12, 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
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
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
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_svcomp16
676550fb
·
Experimenting with LPI configuration.
·
Nov 03, 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
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
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
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
counterexample-report
9e7b9a96
·
code sorting
·
Jan 06, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ldv_fixes
32629696
·
SMG: Perfomance improvement. Remove iteration over hv_edges in SMG
·
Feb 08, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
no_solver_package
c7ee1b16
·
Updated Common dependency
·
Feb 21, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
automaton-variableclassification
77e2e4f7
·
Create branch to add incorporation of automaton variables for classification
·
Mar 03, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
refiner-composition
fc3888ea
·
Move DelegatingARGBasedRefiner to util.refinement.
·
Mar 11, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
DelegatingBAMRefinerLDV
1ff79387
·
One empty line
·
Mar 11, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
3
4
5
6
7
8
9
10
11
…
18
Next