- Login: mutilin
- Email: email@example.com
- Registered on: 05/20/2010
- Last connection: 08/02/2021
|C Instrumentation Framework||Reporter||06/05/2012|
|Linux Driver Verification||Manager, Developer||05/20/2010|
|LDV Tools||Manager, Developer||03/17/2018|
|CVC3 with small optimizations for BLAST||Manager, Developer||07/25/2018|
|Linux Kernel Safety RuleDB||Manager, Developer||10/25/2011|
- 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 ...
- 03:39 PM Klever Feature #8338: Add ability to specify similarity threshold
- Yes, we still need it even with #9412
- 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...
- 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?
- 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...
- 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
- 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
- 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"
- 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...
- 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.
Also available in: Atom