General

Profile

Evgeny Novikov

Issues

Projects

Activity

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

Also available in: Atom