Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
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
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
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
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
reducer-patch
d0ee5c5b
·
merged with trunk
·
May 27, 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
automata_assumptions_extension
25562d01
·
Refactoring of SubstitutingCAstNodeVisitor
·
May 23, 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
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
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
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
advancesStatistics
db097d77
·
copy from trunk
·
May 17, 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
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
cmav-2
9c9febeb
·
Refactoring
·
Apr 03, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CPALockator
c6116a22
·
Fix a bug, when we try to write into not existed directory
·
Mar 22, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CPALockator-merge
cc0ddc7e
·
Merge from trunk
·
Feb 26, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
extended_witness_merge
bc259357
·
SMGCPA: Extended Witness. Lift decision of omitting edge at ExtendedWitness...
·
Feb 22, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
extended_witness
45fc2108
·
SMGCPA: Extended Witness. Move additional info services from state to CPA
·
Jan 12, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.7
75f64bd5
·
Release 1.7
·
Dec 22, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
3
4
5
6
7
8
9
10
11
…
18
Next