Open-Source Projects

11/26/2020

07:44 PM Klever Feature #9459 (Open): Generate error traces in a new format

Thanks to Pavel we understood that we do not support several notes per one edge though it is useful and it is mention... Evgeny Novikov

07:44 PM Klever Feature #9458 (Open): Visualize a new format of error traces

Thanks to Pavel we understood that we do not support several notes per one edge though it is useful and it is mention... Evgeny Novikov

07:35 PM Klever Revision aa34d64d: Update Clade to solve issue with processing empty models

Evgeny Novikov

12:51 PM Klever Revision 9c05c389: Take into account that note values can contain double quotes

Evgeny Novikov

12:22 PM Klever Feature #10599 (New): Forbid modifications of present entities and simplify their synchronization

In ideal preset entities should exactly correspond to the ones that are in the latest version of the repository. But ... Evgeny Novikov

12:16 PM Klever Feature #10598 (New): Do not allow to compare solving verification jobs

At the moment this is possible, but it has a bad side effect. After first comparison Bridge fills a cache for a given... Evgeny Novikov

11:55 AM Klever Feature #10597: Show more important data first at the job page

Vladimir Gratinskiy wrote:
> The feature will be implemented asap.
Let's do this after Klever version:3.0. There ... Evgeny Novikov

11:40 AM Klever Feature #10597 (New): Show more important data first at the job page

Users suggest to show table "Coverage" after table "Verdicts". In addition, table "Consumed resources" can be shown b... Evgeny Novikov

09:59 AM Klever Bug #10596 (Resolved): Use of unitialized CPU cores number

Recent changes in NativeScheduler resulted in there may be use of unitialized CPU cores number when "disable CPU core... Evgeny Novikov

09:25 AM Klever Revision a697f574: Update CPAchecker to get rid of exceptions in SMG

Evgeny Novikov