Vadim Mutilin

  • Email:
  • Registered on: 05/20/2010
  • Last connection: 04/06/2017

Projects

Activity

Reported issues: 202

08/24/2017

01:38 pm Klever Feature #8382: Provide a way to prepare verification tasks without CIL
Did not find it by keywords, sorry
01:28 pm Klever Feature #8382 (Rejected): Provide a way to prepare verification tasks without CIL
Right now we pass to verification tools a single C verification file. For that purpose we are using a well known vete...

08/14/2017

11:43 am Klever Feature #8336: Option to hide unconfirmed unsafes
> This isn't the "unprepared" user - this is the lazy user.
Users always want as much automation as possible. At th...

08/11/2017

03:36 pm Klever Feature #8335: Similarity management
>You suggest to change criteria that is completely another thing.
To be correct, it was suggested by Vladimir
I s...
03:20 pm Klever Feature #8335: Similarity management
Evgeny Novikov wrote:
> Vadim Mutilin wrote:
> > >20% nor 100% guarantees nothing
> > 100% guaranties that my crit...
03:15 pm Klever Feature #8335: Similarity management
>"call_forests_compare_simple" and "forests_cb_compare_simple"
how they are related to "all_forests_compare" which ...
02:55 pm Klever Feature #8335: Similarity management
>The solution is to add more error trace comparison functions that returns either 0% or 100%.
As far as I understood...
02:45 pm Klever Feature #8335: Similarity management
>20% nor 100% guarantees nothing
100% guaranties that my criteria is totaly agree with the trace, so I can trust it ...
12:08 pm Klever Feature #8335: Similarity management
The priority should be high.
Now we can't tell trusted marks with 100% similarity from suspicious ones with 50% sim...

07/07/2017

06:51 pm Klever Feature #8240: Fix transformation of witnesses to error traces for multithreaded software
Any news on the topic?

Also available in: Atom