Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
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
mybranchname
e57c7b9c
·
Parallelizing the execution of cpachecker
·
Mar 15, 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
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
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.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-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-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
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
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
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
collector
4c5c8509
·
Revert: Revision 31311 from branch SonjaM
·
May 14, 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
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
SMGCPA-merge
812a217f
·
SMGCPA: add yml files
·
Jun 12, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
overflow2
6e588acf
·
Compute String representation of assumptions when needed.
·
Jun 19, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
SonjaM
a0b7447f
·
better contrast, slider ticks, more information in tooltip
·
Jun 25, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
sl-integration
cd3cb6b7
·
Reverting merge commits caused by git merge
·
Jun 25, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
program-dependence-graph
09366b5f
·
Fix history by merging all of the missing commits from trunk into program-dependence-graph
·
Jul 09, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ucb-refinement
c4bb8dd1
·
fixes for correct computation of predicates based on WPs
·
Jul 13, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
12
13
14
15
16
17
18
Next