Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
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
heaparray-integration
92cd7cde
·
Merge 'trunk' into 'heaparray-integration'
·
Mar 22, 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
predicate-no-targetStateSatCheck
af8cdd3b
·
Merge trunk into branch.
·
Apr 14, 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
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
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
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
tags/cpachecker-1.6
65a5aeb2
·
Release 1.6
·
May 12, 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
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.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
post_adjustment_strengthen
d0d68a6c
·
LPI: use post-adjustment strengthening.
·
May 27, 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
lpi_bam
dfcd6ef2
·
Initial attempt at LPI + BAM integration.
·
Jun 17, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
odysseusX
62be91b2
·
Initial copy of release 1.6 for the branch Odysseus
·
Jun 22, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
generify_core_interfaces
7066c839
·
Removed another unused @SuppressWarnings.
·
Jun 23, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ldv_predicate_bounded_allocations
b9cedb4d
·
Yet another unsound limit on the max. number of tracked locations in a region
·
Jun 24, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smg_predicate
3f9babc1
·
SMGCPA: Add tests
·
Jul 04, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
muauto
595b4ab1
·
Highlight weaved edges
·
Jul 05, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
4
5
6
7
8
9
10
11
12
…
18
Next