Skip to content
GitLab
Explore
Sign in
Мутилин Вадим Сергеевич
klever
Repository
Branches
Overview
Active
Stale
All
cv-v2.0
2c78ae82
·
Update requirements
·
Nov 17, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wvo
a195c7a7
·
Support single source file in Witness Visualizer
·
Oct 06, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
my_branch
ffe4f471
·
New features for invariants in true witness and buttons for search and red conditions.
·
Jun 04, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
django-3.0.3
7b7951d7
·
Update documentation
·
Feb 20, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
52877601
·
Update CIF
·
Sep 03, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cv
f13a3150
·
Ignore encodings errors in traces
·
Nov 12, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix_9378
2f5722da
·
Fix assumptions at ERR_PTR and PTR_ERR for consistency with IS_ERR
·
Nov 08, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
svcomp-rule
0946c6f6
·
Add tests, based on tests for sync:races
·
Aug 14, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
races_tests
2e6ded72
·
Few more tests
·
Sep 19, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
extended-strategies
98ce22db
·
Specify separation parameter
·
Aug 02, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
new_implementation_of_strategies
a87adb29
·
Fixed same name in Unknown and Unsafe-incomplete reports
·
Aug 02, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
regression_verification
d3a569e7
·
Minimized negative effect of busy waiting in strategies
·
Jul 06, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
resources_view
f05fa528
·
Improved resources view
·
Jun 27, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
composition_of_reachability_tasks
63fa9f39
·
Added small description in README file
·
Mar 02, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix_linux_idr
ecb03be0
·
Merge branch 'master' into fix_linux_idr
·
Feb 27, 2017
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
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
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
restore_mea
ec70695d
·
Restored support of Unsafe-incomplete verdicts
·
Sep 08, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
specification_automata
172d0a7b
·
Fixed common aspect for MAV
·
Aug 12, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar