Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
backwardsTransfer
ce0fe777
·
export more data for Pred-BW analysis.
·
Sep 26, 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
offsets-preprocessed-file
d48fe202
·
Merged trunk into branch
·
Aug 30, 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
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
ifc
58b90c50
·
pipeline warning fixes
·
Jul 29, 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
witnessValidationPredicate
d422091b
·
Removed unnecessary configuration options
·
Jul 03, 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
acsl
1d53e8e9
·
Create branch for adding ACSL support
·
May 08, 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
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
intervalAnalysisRefinement
af06b40f
·
IntervalRefiner: renaming package
·
Apr 28, 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
CPALockator-theory4
5af7e249
·
Add main thread modular interfaces
·
Apr 18, 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
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
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
correctnessWitnessValidationUsingPredicateAnalysis
f5f2f589
·
Automaton for validating correctness witness
·
Feb 13, 2019
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
Prev
1
2
3
4
5
6
7
8
9
…
18
Next