Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10061 MicroTESK Bug New Normal Buffers are now shared among all processing elements Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
10060 Retrascope Feature New Normal Support SVA properties in CFG model Sergey Smolov Sergey Smolov Retrascope - 1.2 Actions
10059 Retrascope Task New Normal mv all the project tests to JUnit 5 platform Sergey Smolov Maxim Chudnov Retrascope - 1.2 Actions
10058 Retrascope Task New Normal User documentation Sergey Smolov Sergey Smolov Retrascope - 1.2 Actions
10044 MicroTESK Bug Resolved Normal Translator crashes with NPE if no instruction is defined Alexander Kamkin Artem Kotsynyak MicroTESK - 2.5 Actions
10043 Klever Feature New Urgent Update CPAchecker Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
10042 Klever Feature New Urgent Simplify the job tree Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
10040 MicroTESK Bug New Normal Disable checking redeclaration for arguments Alexander Kamkin Artem Kotsynyak MicroTESK - 2.5 Actions
10037 Requality Feature New Normal Поиск ревизий проекта по идентификатору Курбан Маллачиев Requality - 1.2 (development) Actions
10036 Requality Bug New Normal При наведении на элемент в списке ревизий проекта всплывает текст, относящийся к следующему элементу Курбан Маллачиев Requality - 1.2 (development) Actions
10032 MicroTESK Bug Resolved High The 'shift' name is already used to declare another symbol of type MEMORY Alexander Protsenko Alexander Kamkin MicroTESK - 2.5 Actions
10031 MicroTESK for PowerPC Bug New Normal WARNING: An illegal reflective access operation has occurred Sergey Smolov Alexander Protsenko MicroTESK for PowerPC - 0.0 Actions
10029 MicroTESK Bug Resolved Normal MIPS: adds presimulated instructions in a trace Ivan Grigorov Ivan Grigorov MicroTESK - 2.5 Actions
10028 MicroTESK Bug Resolved Normal MIPS: adds a sll instruction before every instruction in a trace Ivan Grigorov Ivan Grigorov MicroTESK - 2.5 Actions
10027 Deductive Verification Tools for Linux Kernel Bug New Normal jc: typing error: Unsupported range in term, sorry Denis Efremov Mikhail Mandrykin Actions
10026 Deductive Verification Tools for Linux Kernel Bug New Normal postaction_term: unexpected term: &v_n_1 Denis Efremov Mikhail Mandrykin Actions
10025 Deductive Verification Tools for Linux Kernel Bug New Normal jessie: typing error: This operation on numeric values requires potentially unsafe or ambiguous type conversion that should be explicitly specified (the values' types are `uint64' and `int32') Denis Efremov Mikhail Mandrykin Actions
10024 Deductive Verification Tools for Linux Kernel Bug New Normal jessie: typing error: numeric, boolean or pointer types expected for == and != Denis Efremov Mikhail Mandrykin 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.2 Actions
10022 Deductive Verification Tools for Linux Kernel Bug New Normal internal error: named literals bug Denis Efremov Mikhail Mandrykin Actions
10021 Deductive Verification Tools for Linux Kernel Bug New Normal jessie: typing error: Unsupported range in term, sorry Denis Efremov Mikhail Mandrykin Actions
10020 Deductive Verification Tools for Linux Kernel Bug New Normal global names conflict Denis Efremov Mikhail Mandrykin Actions
10019 Deductive Verification Tools for Linux Kernel Bug Resolved Normal LoopCurrent label support Denis Efremov Mikhail Mandrykin Actions
10013 MicroTESK Developer Request Resolved Normal Переопределение секций в шаблонах Alexander Protsenko Alexander Kamkin MicroTESK - 2.5 Actions
10011 MicroTESK Bug New Normal Необходима возможность преобразования конструкции if-then-else в mir представление Alexander Protsenko Artem Kotsynyak MicroTESK - 2.5 Actions
(1-25/1504) Per page: 25, 50, 100

Also available in: Atom CSV PDF