Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
tags/cpachecker-1.7.7-ase18-symExec
164018d5
·
creating tag for ASE18 tool paper 'Efficient Symbolic Execution in CPAchecker'
·
Sep 12, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
AssumptionAutomatToDotFormat
4954cf6b
·
Small name changes in dot constructing method and option
·
Sep 14, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
multi-property_verification
5ac9b4d0
·
Determine automaton relevancy by CFA edges
·
Oct 01, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smgThreshold
b15930d1
·
SMG: Enforce refinement for spurious cex
·
Oct 03, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CPALockator-theory
2fd84e14
·
Add an option for different merge types in value analysis
·
Nov 06, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
logicOperations_unexpectedResults
ec18d013
·
Added nested_operator test programs to simple.set file
·
Nov 13, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
intervalAnalysisRefiner
187a6a7f
·
intervalAnalysis
·
Nov 19, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mirjamsbranch
625433f8
·
fix some trivial warnings of SpotBugs and Eclipse
·
Nov 28, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
checkerInclTiger
5eda7c76
·
Revert r29862, antlr was not missing
·
Nov 29, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.6.23-svcomp18
a3d0e367
·
Create tag for version that was used in the SV-COMP18 submission CPA-Seq
·
Nov 30, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.7.11-svcomp19
484129ab
·
Create tag for version that was used in the SV-COMP19 submission CPA-Seq
·
Nov 30, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
size-type-refactoring
26fa587f
·
Add test case from #426 to show it is fixed
·
Nov 30, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tigerIntegration
a4308e81
·
second commit for merging trunk into branch
·
Dec 10, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
slab
89062498
·
Merge trunk into branch slab
·
Dec 30, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.8
f2f8bdf6
·
Release 1.8
·
Dec 31, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
rha_hybrid
6ea23715
·
fix next null pointer
·
Jan 14, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
correctnessWitnessValidationUsingPredicateAnalysis
f5f2f589
·
Automaton for validating correctness witness
·
Feb 13, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
witness2test_jakob
e4b07fcb
·
fix merge of statistics on repeated execution of CPAAlgorithm.
·
Mar 12, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
witnessExporterRefactor
2582105a
·
Create branch for refactoring witness exporter
·
Mar 13, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
witness2test_jakob_clean
8911cffc
·
new clean branch for witness2test
·
Mar 14, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
9
10
11
12
13
14
15
16
17
18
Next