Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
SMGCPA-merge
812a217f
·
SMGCPA: add yml files
·
Jun 12, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
report-js-test-improvements
108366c8
·
Automatically choose browsers to run tests on from installed browsers
·
Jun 10, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fault-localization-structure
c9edd5f7
·
Fixed the content of relevant lines in the report.
·
May 14, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
collector
4c5c8509
·
Revert: Revision 31311 from branch SonjaM
·
May 14, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.9.1
d01926cb
·
Release 1.9.1 of CPAchecker
·
May 08, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
array-declaration-initialization
a7c2715c
·
Fix minor issues with length calculation and missing length in declarator
·
May 04, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
SMG-has-value-edges-invariant
01b795c5
·
SMGCPA: additional statistics about ability to apply abstraction
·
Apr 08, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.7-witnesses-tosem-20181130
37d12ce1
·
Release tag for Witness Validation version used for TOSEM paper
·
Mar 30, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.8-coveritest-sttt-20190729
fd2265eb
·
Release tag for CoVeriTest version used for STTT paper
·
Mar 30, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.7.11-witnesses-tosem
0aef78fd
·
Release tag for Witness Validation version used for TOSEM paper
·
Mar 30, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.8.6-coveritest-sttt
4b4c5a3a
·
Release tag for CoVeriTest version used for STTT paper
·
Mar 30, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.8-coveritest-sttt
167f5ca7
·
Release tag for CoVeriTest version used for STTT paper
·
Mar 27, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
delta-debugging
3c9b5dcc
·
Create algorithm class
·
Mar 19, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mybranchname
e57c7b9c
·
Parallelizing the execution of cpachecker
·
Mar 15, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
program-dependence-graph-2
2b0b0a4c
·
Use List<Integer> instead of int[]
·
Mar 11, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tasks_to_yml
747ea266
·
Introduce yml task defs for statementExpression* tasks
·
Mar 09, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
677-builtin_offsetof
8d08bd7c
·
small change to improve readability
·
Mar 07, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
predicate-mark-nondet-variables
b73134ee
·
Do not add SSA indices for variables representing calls to __VERIFIER_nondet_int
·
Mar 04, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CPALockator-theory-with-races
d6d2d700
·
Merge with CPALockator-combat-mode
·
Feb 28, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
704-counterexample-invalid-states
74ee89fa
·
Fix reconstructing counterexample-path with multiple edges between ARG-states
·
Feb 28, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
6
7
…
18
Next