Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10081 Retrascope Bug Resolved High tool hangs right after final "Duration: " msg Sergey Smolov Sergey Smolov Retrascope - 1.1 Actions
10023 Retrascope Bug Verified High ru.ispras.retrascope.parser.verilog.VerilogParserTestCase: java.lang.Exception: Method runTest should have no parameters Sergey Smolov Maxim Chudnov Retrascope - 1.1 Actions
10011 MicroTESK Bug New High Необходима возможность преобразования конструкции if-then-else в mir представление Alexander Protsenko Artem Kotsynyak MicroTESK - 2.5 Actions
9993 Verilog Translator Bug New High if two modules are passed to the tool and one includes another, the tool hangs Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
9902 Verilog Translator Bug New High java.lang.IllegalArgumentException: Descriptor for '<var name>' has not been found Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
9652 Klever Bug New High Schedulers initialize themselves 3 times Evgeny Novikov Ilja Zakharov Actions
9433 Klever Bug New High Incorrect error processing and misleading error message when there is not proper Java for CPAchecker Evgeny Novikov Ilja Zakharov Actions
9093 Klever Bug New High Stop services before updates Evgeny Novikov Evgeny Novikov Actions
9059 Klever Bug New High Absence of log files can result to job error Evgeny Novikov Ilja Zakharov Actions
9058 Klever Bug New High Exceptions if there are problems with connection to cloud Pavel Andrianov Evgeny Novikov Actions
8965 Klever Bug New High Get unknown error when openning page after droping database Evgeny Novikov Vladimir Gratinskiy Actions
8751 Klever Bug New High New EMG does not call callbacks from i2c_driver Ilja Zakharov Ilja Zakharov Actions
8623 Klever Bug New High EMG does not relate registration of statically combined containers Evgeny Novikov Ilja Zakharov Actions
8581 Klever Bug New High Simplify generation of new threads at registrations for instances Ilja Zakharov Ilja Zakharov Actions
8560 Requality Bug New High При включенной синхронизации не получается выделить новый фрагмент Viktoria Kopach Actions
8453 Klever Bug New High Some rules are broken and cannot be used without CIL Ilja Zakharov Evgeny Novikov Actions
8440 Klever Bug New High Error traces comparison function remove does not trigger cache updates Evgeny Novikov Vladimir Gratinskiy Actions
8408 Klever Bug New High Initialize all local variables in addition to pointers and function pointers as nondet values Ilja Zakharov Ilja Zakharov Actions
8407 Klever Bug New High Do not pass unitialized function pointers to functions and pass null instead Ilja Zakharov Ilja Zakharov Actions
8390 Klever Bug New High Misleading log message when verification job decision is finished Evgeny Novikov Ilja Zakharov Actions
8375 C Instrumentation Framework Bug New High Excessive const qualifier for local array of function pointers Evgeny Novikov Evgeny Novikov Actions
8345 Klever Bug New High Incorrect error message when canceling job decisions after page updates are switched off Evgeny Novikov Vladimir Gratinskiy Actions
8232 Klever Bug New High ieee80211_register_hw should register callbacks instead of ieee80211_alloc_hw Vadim Mutilin Ilja Zakharov Actions
8193 Klever Bug New High Calculate and show meaningful consumed resources Vitaly Mordan Actions
8172 Klever Bug New High Unsafe verdicts of multimodule verification aren't associated with marks for single module verification Alexey Polushkin Vladimir Gratinskiy Actions
(26-50/1542) Per page: 25, 50, 100

Also available in: Atom CSV PDF