Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
cmav-2
9c9febeb
·
Refactoring
·
Apr 03, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
extended_automata
1adabc50
·
Added support for single expression with function parameters in automata assumptions
·
Apr 06, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
rcucpa
79091e2c
·
Added ability for configs of rcusearch to be accessible through '-' option
·
Apr 25, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
advancesStatistics
db097d77
·
copy from trunk
·
May 17, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ltl-fairness-mt
c3e8e0f9
·
Remove unnecessary code and refactor namings
·
May 18, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
witnessreport
4e31fc7a
·
Enable witness report by default in this branch
·
May 19, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
openbsd
3d9ba900
·
HACK: Ignore multiple params on malloc and free for OpenBSD
·
May 20, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
automata_assumptions
43f0bce6
·
Reverted r28034
·
May 23, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
automata_assumptions_extension
25562d01
·
Refactoring of SubstitutingCAstNodeVisitor
·
May 23, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.6.14-tap18
2343615e
·
Tag version used for TAP18 publication 'Tests from Witnesses'
·
May 24, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
reducer-patch
d0ee5c5b
·
merged with trunk
·
May 27, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
condition-format
4e20030b
·
new branch for BA that should develop GraphML format for our assumption...
·
Jun 08, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
generic-refiner-refactoring
a9f75cf5
·
ARGBasedRefiner can handle multiple target paths
·
Jul 18, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smgWithArrays
1c44cfc0
·
SMG: Add ability to allocate object with symbolic size == abstract array
·
Jul 19, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
automata_sets_variables
196e0e85
·
Temporarily remove automata tests from integration set
·
Jul 30, 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
angularjs-dev
1496612c
·
Removed Quickstart keyword
·
Aug 09, 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
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.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
Prev
1
…
8
9
10
11
12
13
14
15
16
…
18
Next