General

Profile

Vadim Mutilin

Issues

Projects

Activity

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

Also available in: Atom