Project

General

Profile

extended view

Apply Clear

# Tracker Status Priority Subject Author Assignee Updated Target version Detected in build Published in build
  New 1110 Collapse all/Expand all
10061 Bug New Normal Buffers are now shared among all processing elements Alexander Kamkin Alexander Kamkin 01/23/2020 11:22 AM MicroTESK - 2.5 svn Actions
10060 Feature New Normal Support SVA properties in CFG model Sergey Smolov Sergey Smolov 01/21/2020 02:56 PM Retrascope - 1.2 Actions
10059 Task New Normal mv all the project tests to JUnit 5 platform Sergey Smolov Maxim Chudnov 01/20/2020 05:59 PM Retrascope - 1.2 master Actions
10058 Task New Normal User documentation Sergey Smolov Sergey Smolov 01/20/2020 05:22 PM Retrascope - 1.2 master Actions
10043 Feature New Urgent Update CPAchecker Evgeny Novikov Evgeny Novikov 01/17/2020 09:51 AM Klever - 3.0 Actions
10042 Feature New Urgent Simplify the job tree Evgeny Novikov Vladimir Gratinskiy 01/16/2020 06:13 PM Klever - 3.0 Actions
10040 Bug New Normal Disable checking redeclaration for arguments Alexander Kamkin Artem Kotsynyak 01/17/2020 03:34 PM MicroTESK - 2.5 svn Actions
10037 Feature New Normal Поиск ревизий проекта по идентификатору Курбан Маллачиев 01/14/2020 08:35 AM Requality - 1.2 (development) Actions
10036 Bug New Normal При наведении на элемент в списке ревизий проекта всплывает текст, относящийся к следующему элементу Курбан Маллачиев 01/14/2020 08:34 AM Requality - 1.2 (development) 1.1.? Actions
10031 Bug New Normal WARNING: An illegal reflective access operation has occurred Sergey Smolov Alexander Protsenko 01/13/2020 02:54 PM MicroTESK for PowerPC - 0.0 master Actions
10027 Bug New Normal jc: typing error: Unsupported range in term, sorry Denis Efremov Mikhail Mandrykin 01/10/2020 01:45 AM svn Actions
10026 Bug New Normal postaction_term: unexpected term: &v_n_1 Denis Efremov Mikhail Mandrykin 01/09/2020 09:10 PM svn Actions
10025 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 01/09/2020 07:29 PM svn Actions
10024 Bug New Normal jessie: typing error: numeric, boolean or pointer types expected for == and != Denis Efremov Mikhail Mandrykin 01/09/2020 07:23 PM svn Actions
10022 Bug New Normal internal error: named literals bug Denis Efremov Mikhail Mandrykin 12/31/2019 12:47 AM svn Actions
10021 Bug New Normal jessie: typing error: Unsupported range in term, sorry Denis Efremov Mikhail Mandrykin 12/30/2019 08:28 PM svn Actions
10020 Bug New Normal global names conflict Denis Efremov Mikhail Mandrykin 12/30/2019 06:01 PM svn Actions
10011 Bug New Normal Необходима возможность преобразования конструкции if-then-else в mir представление Alexander Protsenko Artem Kotsynyak 01/21/2020 05:53 PM MicroTESK - 2.5 svn Actions
10002 Task New Normal get Boolector solver from server as dependency Sergey Smolov Sergey Smolov 12/20/2019 03:44 PM Fortress - 0.4 master Actions
10001 Task New Normal SMT-LIBv2 benchmarks Sergey Smolov 12/20/2019 03:41 PM master Actions
9993 Bug New High if two modules are passed to the tool and one includes another, the tool hangs Sergey Smolov Alexander Kamkin 12/18/2019 03:43 PM Verilog Translator - 0.1 master Actions
9990 Feature New Normal check for variable/net redeclarations Sergey Smolov Alexander Kamkin 12/17/2019 05:48 PM Verilog Translator - 0.1 Actions
9986 Task New Normal check if QEMU4V features can be implemented as TCG plugin Sergey Smolov Sergey Smolov 12/13/2019 04:44 PM QEMU4V - 0.3 master Actions
9978 Task New Normal Some templates use rand(-2147483648, 2147483647) for randomizing words Alexander Kamkin Alexander Kamkin 01/10/2020 04:01 PM MicroTESK for RISC-V - 0.1 svn Actions
9964 Task New Normal add examples to project distribution Sergey Smolov Sergey Smolov 01/20/2020 05:20 PM Retrascope - 1.2 master Actions
(1-25/1504) Per page: 25, 50, 100

Also available in: Atom CSV PDF