Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
9725 Requality Bug New Normal В окне настроек checker rules после удаления правила его настройки остаются в поле Rule settings Viktoria Kopach Actions
9721 Requality Bug New Normal Не получается сразу поменять формулу в окне настройки таблицы отчета Viktoria Kopach Actions
9720 MicroTESK Task New Normal Определение влияния параметров на инструкцию Alexander Protsenko Artem Kotsynyak MicroTESK - 2.6 Actions
9718 Requality Bug New Normal При смене идентификатора случается довольно длительное зависание Viktoria Kopach Actions
9717 Requality Feature New Normal В отчетах ядра заменить русский текст на английский (неизменяемую часть) Viktoria Kopach Actions
9715 Requality Bug New Normal В настройках отчета слишком длинное поле "Generate report for related projects" Viktoria Kopach Actions
9714 Klever Feature New High Update preset jobs for production use Ilja Zakharov Ilja Zakharov Actions
9713 Requality Bug New Normal Некорректное переключение версии для двух хранимых в одном репозитории проектов Denis Kildishev Actions
9712 Requality Bug New Normal Ошибка генерации отчета на старых версиях проекта Denis Kildishev Actions
9709 Deductive Verification Tools for Linux Kernel Bug New Normal astraver: support calls annotation Denis Efremov Mikhail Mandrykin Actions
9708 Deductive Verification Tools for Linux Kernel Bug New Normal astraver: attach#global: called on already dead object Denis Efremov Mikhail Mandrykin Actions
9694 Klever Feature New High Initiate discussion on results for Juilet test suite with its developers Evgeny Novikov Evgeny Novikov Actions
9693 Klever Feature Open High Develop a new algorithm for generating fragments for Juilet test cases Evgeny Novikov Ilja Zakharov Actions
9691 Klever Feature New High Integrate Juliet test suite as one more validation job Evgeny Novikov Evgeny Novikov Actions
9687 Requality Feature New Normal Repository: При невозможности подгрузить историю выдавать соответствующее уведомление на вкладке History Viktoria Kopach Actions
9670 Retrascope Test Suite Task New High add 'ar.v' module to the test suite when SVA support will be implemented Sergey Smolov Sergey Smolov Actions
9669 Deductive Verification Tools for Linux Kernel Bug New Normal verker: make sprove-proved, make verify-proved hungs Denis Efremov Mikhail Mandrykin Actions
9665 Requality Feature New Normal GIT: сделать дружелюбную обработку некорректного ввода логина/пароля при подключении к GIT Viktoria Kopach Actions
9659 Requality Bug Open Normal Repository: После вызова пункта меню из раздела Repository не сразу блокируется Eclipse Viktoria Kopach Actions
(801-850/2055) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF