Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
tags/cpachecker-1.8
f2f8bdf6
·
Release 1.8
·
Dec 31, 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
tigerIntegration
a4308e81
·
second commit for merging trunk into branch
·
Dec 10, 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
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
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
checkerInclTiger
5eda7c76
·
Revert r29862, antlr was not missing
·
Nov 29, 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
intervalAnalysisRefiner
187a6a7f
·
intervalAnalysis
·
Nov 19, 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
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
smgThreshold
b15930d1
·
SMG: Enforce refinement for spurious cex
·
Oct 03, 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
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
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
tags/cpachecker-1.7.7-ase18-parallelBam
6696588d
·
creating tag for ASE18 conference paper 'Domain-Independent Multi-threaded Software Model Checking'
·
Sep 12, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CPALockator-theory2
d0962166
·
Fix a couple of bugs
·
Aug 13, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.7.6-isola18
48de2d76
·
Create tag for ISoLA'18 paper "Strategy Selection for Software Verification...
·
Aug 10, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
angularjs-dev
1496612c
·
Removed Quickstart keyword
·
Aug 09, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
function_call_automata_transitions
0e391ea8
·
Construction MATCH {} matches on FunctionReturnEdge instead of FunctionCallEdge
·
Aug 02, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
6
7
8
9
10
…
18
Next