Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
VariableTrackingPrecisionRefactoring
29f40ee4
·
merge from trunk
·
Sep 22, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Princess
15a9694e
·
Pull Princess from Ivy repository.
·
Sep 09, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
sylvan
ff0d2781
·
Merge from trunk.
·
Aug 05, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
explicitImpact
d02656fd
·
another merge (this time with latest trunk)
·
Jul 24, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.3.2-cav14
4f9b3e7f
·
CPAchecker version used in our CAV14 paper
·
Jul 09, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
octagon-bathesis
d6d076e1
·
fixed a bug which occured for floating-point benchmarks
·
Jul 09, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.3.4-sttt14
80fddebf
·
Tagging the CPAchecker version that was used for the STTT14 paper on BDD-based software analysis
·
Jul 01, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cpachecker-1.3.4-sttt14
af3b7a66
·
We do not use a default specification for the STTT paper.
·
Jun 28, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cpatiger
c5f7ab9c
·
Fixes in the configuration.
·
Apr 12, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.3.4
74f35712
·
Release 1.3.4 with many exciting additions. Thanks to all contributors!
·
Apr 09, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
release-1.3.4
b8aaa3d3
·
Cherry-pick r12189 from trunk which should be in the release.
·
Apr 09, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
symbolicvalue
eb09052d
·
Merged with latest trunk
·
Apr 06, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
testgen
65e8e08c
·
Merge trunk into branch.
·
Mar 28, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ruemmer
9dc0fd5f
·
examples added
·
Mar 24, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
integerFormula
06895d3b
·
Merge trunk into branch.
·
Mar 11, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
explicitfloat2
1efeeb38
·
merge trunk into explicitfloat2
·
Feb 20, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
witness
6e409fc0
·
Added new configuration options; updated existing ones.
·
Feb 13, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
explicitfloat3
ecf76187
·
Branch for rebasing explicitfloat2
·
Jan 28, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
expliticfloat3
22d50116
·
Branch for rebasing the explicitfloat2 branch
·
Jan 28, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
explicitfloat
6bf646f3
·
Started work on BinaryExpression for SymbolicValue.
·
Jan 20, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
10
11
12
13
14
15
16
17
18
Next