Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10088 QEMU4V Feature New Low QEMU4V formatted traces for x86 programs Sergey Smolov Actions
10082 Retrascope Bug New Normal WARNING: Illegal reflective access by org.python.core.PySystemState Sergey Smolov Sergey Smolov Retrascope - 1.1 Actions
10074 MicroTESK Feature New Normal option that stores boot obj at the generated ld script Sergey Smolov Alexander Kamkin MicroTESK - 2.6 Actions
10072 Klever Feature New High Support navigation for unsafes Evgeny Novikov Vladimir Gratinskiy Actions
10071 MicroTESK Feature New Normal Влияние секции section_text на расположение exception_handler Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
10070 MicroTESK Bug New Normal [minimips] Нужно больше информации об ошибке "NameError: undefined local ..." Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
10069 MicroTESK Bug New Normal cpu.nml Error: Internal error: context [/Isa] 1:8 attribute file isn't defined Sergey Smolov Alexander Kamkin MicroTESK - 2.6 Actions
10064 MicroTESK Bug New Normal Support FP instructions in MIR Alexander Protsenko Artem Kotsynyak MicroTESK - 2.6 Actions
10061 MicroTESK Bug New Normal Buffers are now shared among all processing elements Alexander Kamkin Artem Kotsynyak MicroTESK - 2.6 Actions
10058 Retrascope Task New Normal User documentation Sergey Smolov Sergey Smolov Retrascope - 1.2 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
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
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 Open Normal LoopCurrent label support Denis Efremov Mikhail Mandrykin Actions
10011 MicroTESK Bug New High Необходима возможность преобразования конструкции if-then-else в mir представление Alexander Protsenko Artem Kotsynyak MicroTESK - 2.6 Actions
10005 MicroTESK for MIPS Bug Resolved Normal org.jruby.exceptions.RaiseException: (NoMethodError) undefined method `newOrigin' for nil:NilClass Alexander Protsenko Alexander Kamkin MicroTESK for MIPS - 0.0 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
9986 QEMU4V Task New Normal check if QEMU4V features can be implemented as TCG plugin Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
9978 MicroTESK for RISC-V Task New Normal Some templates use rand(-2147483648, 2147483647) for randomizing words Alexander Kamkin Alexander Kamkin MicroTESK for RISC-V - 0.1 Actions
9959 Deductive Verification Tools for Linux Kernel Bug New Normal Frama-C (CIL) сannot assign to non-modifiable lval Ilja Zakharov Actions
9919 Requality Task New Normal Доработать механизм экспорта разметки Denis Kildishev 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
9901 Retrascope Test Suite Bug New Low initializationError in some tests after Jenkins update Sergey Smolov Mikhail Lebedev Actions
9889 MicroTESK for Plasma Task Resolved Normal rm deprecated 'findbugs' plugin from Gradle build script Sergey Smolov Actions
9888 Retrascope IDE Task New Normal complete migration from Ant to Gradle build system Sergey Smolov Retrascope IDE - 0.1 Actions
9870 MicroTESK Developer Request New Normal Входной параметр в виде инструкции Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
9869 MicroTESK Bug New Normal Генерация граничных значений для регистров инструкций Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
9859 Verilog Translator Task New Normal modify "ERROR: [Internal] null" line at error log Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
9846 Aspectrace Task Resolved Normal Source code formatting and improvement Alexander Kamkin Ivan Grigorov Actions
9845 MicroTESK for RISC-V Bug Feedback Normal Fix 40 tests Mikhail Chupilko Alexander Protsenko MicroTESK for RISC-V - 0.1 Actions
9841 MicroTESK for RISC-V Bug Feedback Normal java.lang.NullPointerException at AllocatorEngine.java:303 Alexander Protsenko Alexander Protsenko MicroTESK for RISC-V - 0.1 Actions
9830 Klever Feature New High Update page after changes in safes/unsafes/unknowns Evgeny Novikov Vladimir Gratinskiy Actions
9823 Retrascope IDE Task Verified Normal README.txt -> README Sergey Smolov Maxim Chudnov Retrascope IDE - 0.1 Actions
9816 Retrascope IDE Bug New Normal Retrascope IDE does not appear in "Installed Software" menu Sergey Smolov Retrascope IDE - 0.1 Actions
9815 Retrascope IDE Task New Normal uninstaller for Retrascope IDE Sergey Smolov Retrascope IDE - 0.1 Actions
9810 Retrascope IDE Task New Normal Gradle build system Sergey Smolov Retrascope IDE - 0.1 Actions
9797 Requality Bug New Normal Поле с историей сохраняет большой размер при переключении на другой узел Viktoria Kopach Actions
9793 Requality Feature New Normal Показывать History и для узла, и для поддерева Viktoria Kopach Actions
9790 Verilog Translator Task New Normal external names for unnamed generate blocks Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
9786 Requality Bug New Normal Сообщение об ошибке при отмене авторизации в процессе работы с репозиторием Viktoria Kopach Actions
9776 Retrascope IDE Task Verified Normal try to use SVEditor instead of veditor Sergey Smolov Maxim Chudnov Retrascope IDE - 0.1 Actions
9770 Requality Bug New Normal Горячими клавишами ctrl+v копирование происходит то рядом, то внутрь Viktoria Kopach Actions
9764 Retrascope IDE Task New High migrate to Eclipse 2019 Sergey Smolov Retrascope IDE - 0.1 Actions
9753 Requality Feature New Normal Запретить создавать более одного определения одного термина Viktoria Kopach Actions
9740 Klever Feature New High Do not lose changes in files at opening other files for editting Evgeny Novikov Vladimir Gratinskiy Actions
(851-900/2124) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF