Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
CPALockator-theory4
5af7e249
·
Add main thread modular interfaces
·
Apr 18, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
dsatestbranch
15ae169e
·
Removed logging
·
Apr 27, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
intervalAnalysisRefinement
af06b40f
·
IntervalRefiner: renaming package
·
Apr 28, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
portfolio_testcase_generation
bebb23bf
·
Let CFA->C translator use target labels
·
May 02, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
javascript
b4278542
·
add benchmark runs 1-3
·
May 07, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
acsl
1d53e8e9
·
Create branch for adding ACSL support
·
May 08, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
condition-exchange-format
da92dd9a
·
Create branch for conditions in witness format
·
Jun 11, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
witnessValidationPredicate
d422091b
·
Removed unnecessary configuration options
·
Jul 03, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
parseByteOrderMark
4f768a8a
·
Refactored getBOM method by using foreaching
·
Jul 04, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ifc
58b90c50
·
pipeline warning fixes
·
Jul 29, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ltl-model-checking
c1475a8c
·
Add a demo solution for a static call to AutTR
·
Aug 21, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
AutomatonCPA-refactoring
d59be265
·
Remove obsolete code from the past few commits
·
Aug 23, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
offsets-preprocessed-file
d48fe202
·
Merged trunk into branch
·
Aug 30, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
configWitnessValidationPredicateAnalysis
bdb2a8a2
·
Apply correctness witness as specification when building an ISA
·
Aug 30, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
backwardsTransfer
ce0fe777
·
export more data for Pred-BW analysis.
·
Sep 26, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
integration-witnessview
42b79d03
·
Merge trunk into branch
·
Sep 27, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
branchForReview
d23c636a
·
Usage of extended transfer in CPAAlgorithm
·
Oct 10, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
arrayContentAnalysis
0ca85271
·
Created Analysis for usage of Array elements
·
Oct 11, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smg-string-builtins
f30d515f
·
merge from trunk into branch 'smg-string-builtins'
·
Nov 04, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
TooManyValuesInitializerList
8666a351
·
Filter for Union Types, so that Unions are detected as they are not Aggregate Types
·
Nov 14, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
10
11
12
13
14
15
16
17
18
Next