Open-Source Projects

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...