Skip to content
GitLab
Explore
Sign in
Мутилин Вадим Сергеевич
cpachecker
Repository
Branches
Overview
Active
Stale
All
pointer_analysis_bnb_model
4108ab8a
·
Changed the way for activating BnB usage. Now it works if option...
·
Jun 03, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
functional_variable_classification
40273c43
·
Unfinished VariableAndFieldRelevancyComputer
·
May 24, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
outdated_bnb
89c769ca
·
Fixed an issue with static method invocation, improved accuracy for region identification
·
Apr 27, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
BnB0
cd149bf0
·
Added package-info
·
Apr 26, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
BnB
27c83665
·
Added throw of the BnBException that indicates that something went wrong...
·
Apr 26, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
BnBMemoryModel
d73ee51e
·
Deleted more unnecessary code
·
Apr 19, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
LoopApproximationNew
86e9c204
·
Loop Approximation 2
·
Apr 13, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
LoopApproximation
23201ce6
·
Loop approximation
·
Apr 13, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
LDVExplicitPredicateExperiments
0156dfb2
·
added ldv-sequential configuration
·
Mar 29, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cpa_romanov
866939af
·
[+] fresh new version 2
·
Mar 18, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
DelegatingBAMRefinerLDV
c10296b9
·
Fix exceptions caused by coverage update
·
Dec 10, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CoverageUpdate
cb4cafee
·
Coverage report informs how many times the line is covered
·
Dec 08, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
checkerInclTiger
1f886052
·
Disable handled goals using a precision adjustment on the waitlist
·
Nov 24, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
heaparray-integration
b8c13621
·
Add Javadoc in heaparray package.
·
Nov 24, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
counterexample-report
a0522fe6
·
completed 'adjust errorpath' and 'adjust search-functionality'
·
Nov 23, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
separate_solver_package
3aca3d67
·
Updated IntelliJ settings and .classpath
·
Nov 13, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
refinementSelectionForABE
56d267c4
·
final update of doc, config
·
Nov 08, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lpi_svcomp16
676550fb
·
Experimenting with LPI configuration.
·
Nov 03, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.4.10-lpi-vmcai16
7363f215
·
CPAchecker version used in VMCAI16 paper
·
Oct 31, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lpi_overflow_encoding
6fb079bc
·
Branch for experimenting with overflow encoding.
·
Oct 29, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
6
7
…
10
Next