Skip to content
GitLab
Explore
Sign in
Мутилин Вадим Сергеевич
klever
Repository
Branches
Overview
Active
Stale
All
Stale branches
specification_automata
172d0a7b
·
Fixed common aspect for MAV
·
Aug 12, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
restore_mea
ec70695d
·
Restored support of Unsafe-incomplete verdicts
·
Sep 08, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
specify_bug_kinds
cf5a9997
·
Added support for specifying bug kinds inside each rule
·
Sep 09, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
new_format_of_strategies
cca45060
·
Added manual filtering for MEA
·
Nov 28, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix_129_config
d533c7e2
·
Resolved an issue with low CONFIG_NR_CPUS config values
·
Jan 27, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar