Skip to content
GitLab
Explore
Sign in
Мутилин Вадим Сергеевич
cpachecker
Repository
Branches
Overview
Active
Stale
All
rcucpa
9d55826e
·
Second merge commit
·
Oct 18, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
DeadLocks
3e75b821
·
The core classes for SignalCPA
·
Oct 09, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
functionPointerInValueAnalysis
9b960351
·
Revert properties to the origin values
·
Sep 20, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CPAlias
450ca60e
·
Improvement of CPAlias
·
May 15, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
akoloskov
506659a8
·
improvements
·
May 06, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix_branching_formula_ind
c5a5fb72
·
Cherry-pick commit of printing endoffset
·
Mar 20, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
NewThreadTheory
5df459a0
·
Config update
·
Mar 01, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix_property_config
523a2b88
·
Fix searching for of specification automaton in case of property files
·
Jan 12, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
block_waitlist_1
a6a85583
·
Add slow path for isEmpty, supress output
·
Dec 26, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
allocWithNodes
d4ab3af8
·
Implementation of location based alloc
·
Dec 05, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
precisionCollection
ae087100
·
Optimisation
·
Dec 05, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ldv-bam
b00416b3
·
Fix automerge conflicts
·
Nov 28, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
debug_bam2
74fa8861
·
Print repeated counterexample
·
Nov 25, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
debug_bam
079fff71
·
Add more debug output
·
Nov 14, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pointer_analysis_bnb_model2
29e979be
·
Add test for deferred allocations with container_of
·
Sep 20, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
debug_trunk
7dcdd6b4
·
Debug Total predicates per abstraction
·
Sep 13, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
my_bnb3
7be213f7
·
Fixes
·
Sep 08, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
new_deferred_allocations
05683931
·
New deferred allocations: added tests
·
Aug 01, 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
unsound_bound_regions
086d4d16
·
Added new unsound hueristic for stopping (predicate) analysis in case of too...
·
Jun 24, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
6
…
10
Next