General

Profile

Evgeny Novikov

Issues

Projects

Activity

Today

09:09 AM C Instrumentation Framework Bug #9346: Remove "-include" options after second stage
We investigated this issue more and found out that its reasons are more tricky as mentioned in description. It seems ...

12/14/2018

04:08 PM Klever Feature #8338: Add ability to specify similarity threshold
Pavel, what do you think? Will you agree that #9412 is a more proper way to evaluate verification results in general?...
03:34 PM Klever Feature #8335 (Feedback): Similarity management
03:34 PM Klever Feature #8338 (Feedback): Add ability to specify similarity threshold
03:34 PM Klever Feature #8338: Add ability to specify similarity threshold
Do you need this in case when #9412 will be implemented?
03:33 PM Klever Feature #8335: Similarity management
Do you need this in case when #9412 will be implemented?
03:31 PM Klever Feature #9413 (Rejected): Set total verdict and total similarity more precisely on base of automatic marks assotiation
This is included into #9412 now.
03:23 PM Klever Feature #9414 (Open): Reuse archive with source files between different error traces on report uploading
Pavel Andrianov wrote:
> > For providing data that can be interested for verifier developers there are different mea...
03:02 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading
Vladimir Gratinskiy wrote:
> Evgeny Novikov wrote:
> > Vladimir Gratinskiy wrote:
> > > Evgeny Novikov wrote:
> >...

12/13/2018

01:26 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading
Pavel Andrianov wrote:
> > then you have to prepare the only verification report with all verification results as it...

Also available in: Atom