Skip to content
GitLab
Explore
Sign in
Мутилин Вадим Сергеевич
cpachecker
Repository
Branches
Overview
Active
Stale
All
trunk
fbe91ea1
·
Extend bash autocompletion for specifications known by CPAchecker
·
Jul 01, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
timofeev2
6603696c
·
Testing sets implementation
·
Apr 25, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cfamutation
bbf25e48
·
Refactoring in GenericStrategy
·
Nov 13, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CPALockator-combat-mode-master-merge
8a821ffe
·
Merge branch 'trunk' into CPALockator-combat-mode-master-merge
·
Oct 08, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CPALockator-merge-nbam
fb570df0
·
Small fixes
·
Aug 25, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CPALockator-combat-mode-merge
f0963c79
·
Fix an introduced bug
·
Aug 11, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
automata_sets_timofeev
3f59060e
·
working on sets variables
·
May 14, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CPALockator-mutation
6bfc0b90
·
Add ThreadCreateStrategy, SpoilerFunctionStrategy works for inner calls with no args only.
·
Apr 23, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
SMG_statistics
0f486a99
·
SMGCPA: Add statistic on SMG predicates
·
Dec 23, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CPALockator-theory-with-races
83697e06
·
Merge branch 'CPALockator-combat-mode' into CPALockator-theory-with-races
·
Aug 19, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ldv_scope_bounded_verification
c6ee96d9
·
Supported stubs for syntactically non-terminating functions in...
·
Apr 15, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
rcu_cpa_non_cloud
75fc3c87
·
drop_monitor files
·
Dec 09, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CPALockator-theory3
4c514676
·
First changes for ThreadModularCPA in old theory
·
Jul 31, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
automata_assumtions
7edead11
·
Added options for ignoring repeated counterexamples
·
May 21, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
muauto-match-deref
73094ff8
·
Save each candidate best plan asap
·
May 04, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
rcu_cpa_with_fpa
0808b3cf
·
Resolved some warnings that prevented build from scratch
·
Apr 21, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
threadFunctionPointer
56e76d0b
·
change CFunctionPointerResolver and TargetFunctionsProvider
·
Apr 03, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
threadFunctionPointerTest
a6fe90af
·
instrumentation function pointer parameters
·
Mar 31, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
undef_func_collector
e3e4e1b8
·
New algorithm to collect undefined functions
·
Oct 30, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CPALockator
2b1ad3cb
·
Add thread names to statistics
·
Oct 20, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
…
10
Next