General

Profile

Vadim Mutilin

  • Login: mutilin
  • Email: mutilin@ispras.ru
  • Registered on: 05/20/2010
  • Last connection: 06/27/2024

Issues

open closed Total
Assigned issues 44 10 54
Reported issues 80 89 169

Projects

Project Roles Registered on
Build Analyzer Developer 04/19/2017
C Instrumentation Framework Reporter 06/05/2012
Aspectator Reporter 02/27/2018
Kartographer Reporter 07/10/2017
Klever Manager, Developer RO 09/04/2015
klever-atomic-context Manager, Developer 05/06/2024
Linux Driver Verification Manager, Developer 05/20/2010
BLAST Manager 09/16/2011
LDV Tools Manager, Developer 03/17/2018
CPAchecker Manager, Developer 07/28/2018
CVC3 with small optimizations for BLAST Manager, Developer 07/25/2018
Linux Kernel Safety RuleDB Manager, Developer 10/25/2011
КМБ-2014 Manager, Developer 09/29/2014
тест2 Developer 11/27/2013

Activity

01/30/2019

03:56 PM C Instrumentation Framework Bug #6761: float_expr and rdiv_expr aren't supported
The 'float_expr' and 'rdiv_expr' expressions are widely occur in arinc applications.
Additionally we have tree node ...
Vadim Mutilin

12/14/2018

03:39 PM Klever Feature #8338: Add ability to specify similarity threshold
Yes, we still need it even with #9412 Vadim Mutilin
12:32 PM Klever Bug #9411: SQL syntax errors for MariaDB
The support for mysql is important for us. If you have problems with it, please describe them.
Could we have a varia...
Vadim Mutilin

12/13/2018

02:57 PM Klever Feature #8338: Add ability to specify similarity threshold
Do we have a hope for the feature to be implemented in the nearest version? Vadim Mutilin
12:58 PM Klever Bug #9411: SQL syntax errors for MariaDB
Vladimir Gratinskiy wrote:
> For Klever 2.1 I already use some Postgres-specific fields like JSONField() or ArrayFie...
Vadim Mutilin

12/11/2018

01:20 PM Klever Bug #9411: SQL syntax errors for MariaDB
It looks like it appears on all jobs. Just for test I attached one example Vadim Mutilin
01:11 PM Klever Bug #9411 (Rejected): SQL syntax errors for MariaDB
We highly need support for MariaDB and previously it was supported.
In Klever 2.0 we have the following exceptions
...
Vadim Mutilin

12/04/2018

07:01 PM Klever Feature #9305: Provide a list of undefined and modelled functions for a fragment under verification
Yes, I'm talking about entry_points and I do not see how they can be found from the coverage report "easily" Vadim Mutilin
02:37 PM Klever Feature #9305: Provide a list of undefined and modelled functions for a fragment under verification
The user would like to know how many specifications of the active part of an environment she need to prepare. Is it p... Vadim Mutilin

11/30/2018

06:20 PM Klever Feature #9404 (Rejected): Feature: marks download format for version control repository
Marks are important source of data which reused from one job to another or from one bridge instance to another.
Unl...
Vadim Mutilin

Also available in: Atom