Open-Source Projects

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 (New): 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...

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