Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
integerFormula
06895d3b
·
Merge trunk into branch.
·
Mar 11, 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
testgen
65e8e08c
·
Merge trunk into branch.
·
Mar 28, 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
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
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
cpatiger
c5f7ab9c
·
Fixes in the configuration.
·
Apr 12, 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
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
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.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
explicitImpact
d02656fd
·
another merge (this time with latest trunk)
·
Jul 24, 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
Princess
15a9694e
·
Pull Princess from Ivy repository.
·
Sep 09, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
VariableTrackingPrecisionRefactoring
29f40ee4
·
merge from trunk
·
Sep 22, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cpatiger-variabilityAware
287fa1b9
·
added FASE-FB-bb2.properties, FASE-FBTG-bb2.properties,...
·
Oct 17, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
slicedItp
78c77488
·
remove HeapManipulation from set; we did not include it into the results, either
·
Oct 20, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
rers2014
e07ba248
·
update results of rerun
·
Oct 29, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
svcomp15
da4c0ffb
·
Merge bugfix from trunk into branch.
·
Nov 01, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.3.10-svcomp15
11fc64b4
·
Create tag for SV-COMP15 submission.
·
Nov 01, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
6
7
8
9
…
18
Next