Open-Source Projects

10/02/2018

12:07 PM Klever Bug #8967: Download files for competition does not allow to choose Unknowns

I think it is a good suggestion, because it will allow to support verifications tasks which differ from standard ones...

08/17/2018

05:13 PM Klever Bug #9233 (New): "make" failed for drivers/mtd/mtd.ko

Running job...

06/19/2018

12:48 PM Klever Bug #8967: Download files for competition does not allow to choose Unknowns

Moreover now it does not saves benchmark xml

11:24 AM Klever Bug #8967: Download files for competition does not allow to choose Unknowns

Unfortunately the archive contains duplicated files. It looks like the name for tasks before commit and after commit ...

11:23 AM Klever Bug #8967: Download files for competition does not allow to choose Unknowns

The archive actually contains Unknown tasks

11:11 AM Klever Bug #8967: Download files for competition does not allow to choose Unknowns

Screenshot

11:11 AM Klever Bug #8967 (Closed): Download files for competition does not allow to choose Unknowns

See picture.
The Job has 9 Unknowns, but I can not choose them.
I can download only Unsafes/Safes using "Download f...

05/31/2018

01:10 PM Klever Feature #8897: Update CPAchecker

Regarding warning edge
1. CPAchecker does not print it for reachability and it is a correct behavior
2. For printin...

03/01/2018

04:17 PM Klever Feature #8297: Support command-line interface

Recently I realized that we also need to maintain a *continuous backup* process. Usually, the most important informat...

02/06/2018

03:23 PM Klever Feature #8706 (Closed): Permanent (pretty) URLs for error traces

We need to have a permanent ("pretty") URL for error traces which will not be changed during downloading/uploading jo...