Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
lpi_bam
dfcd6ef2
·
Initial attempt at LPI + BAM integration.
·
Jun 17, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
parallelInvariants
6b817e23
·
Merge trunk into branch
·
Jun 02, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
post_adjustment_strengthen
d0d68a6c
·
LPI: use post-adjustment strengthening.
·
May 27, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.6.1
47a4d33b
·
Release 1.6.1 with bug fix for sequential combinations of analyses.
·
May 20, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
release-1.6.1
35f2705c
·
Cherry-pick r21310 from trunk.
·
May 20, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.4-svcomp16c
5ee8c6aa
·
Tagging the CPAchecker version that was used in SV-COMP16
·
May 19, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.6
65a5aeb2
·
Release 1.6
·
May 12, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
find_error_nodes
5b3a39a1
·
Config for generating invariants and applying the reduction to CFA.
·
May 09, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cartesian_abstraction_by_weakening
a0a18144
·
Cartesian abstraction w/ weakening: ignore negated predicates.
·
May 03, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
delay_target_states
5c88a65b
·
Experimental waitlist strategy to delay target states.
·
Apr 15, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cpa_communication
9a5cb449
·
Update to formula slicing configuration.
·
Apr 15, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
predicate-no-targetStateSatCheck
af8cdd3b
·
Merge trunk into branch.
·
Apr 14, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
missing-statistics
9fedc3e3
·
Final merge of trunk changes to missing-statistics.
·
Apr 07, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
heaparray-integration
92cd7cde
·
Merge 'trunk' into 'heaparray-integration'
·
Mar 22, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
BAMExperimentsLDV
3a633bcd
·
Creating a new branch for experiments with BAM
·
Mar 15, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
DelegatingBAMRefinerLDV
1ff79387
·
One empty line
·
Mar 11, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
refiner-composition
fc3888ea
·
Move DelegatingARGBasedRefiner to util.refinement.
·
Mar 11, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
automaton-variableclassification
77e2e4f7
·
Create branch to add incorporation of automaton variables for classification
·
Mar 03, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
no_solver_package
c7ee1b16
·
Updated Common dependency
·
Feb 21, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ldv_fixes
32629696
·
SMG: Perfomance improvement. Remove iteration over hv_edges in SMG
·
Feb 08, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
7
8
9
10
11
12
13
14
15
…
18
Next