Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
9652 Klever Bug New High Schedulers initialize themselves 3 times Evgeny Novikov Ilja Zakharov Actions
9603 Verilog Translator Bug New Normal Interface signals not in port list Mikhail Lebedev Alexander Kamkin Actions
9600 Deductive Verification Tools for Linux Kernel Bug New Normal Why3Ide: "Fastest" button broken Denis Efremov Mikhail Mandrykin Actions
9599 Klever Feature New High Support basic verification of drivers of Linux 3.14.79, 3.16.65, 4.4.178, 4.9.168, 4.14.111, 4.19.34, 5.0.7 Evgeny Novikov Evgeny Novikov Actions
9598 Deductive Verification Tools for Linux Kernel Feature New Normal coq: driver: rewrite && to -> in inductive defitions; use let Denis Efremov Mikhail Mandrykin Actions
9597 Klever Feature New High Evaluate how much space on disk is necessary at most for verification of all Linux 3.14 kernel loadable modules against 3 requirements Evgeny Novikov Actions
9572 Requality Bug New Normal В Requality Explorer в некоторых ситуациях при поиске фокус не сразу переходит на нужный узел Viktoria Kopach Actions
9563 Deductive Verification Tools for Linux Kernel Feature New Normal Investigate less efficient code generation Evgeny Novikov Mikhail Mandrykin Actions
9556 Requality Bug New Normal Новый узел наследует Id не от предыдущего созданного узла Viktoria Kopach Actions
9553 Requality Bug New Normal Некорректное сообщение при одновременном удалении узлов, связанных ссылкой. Viktoria Kopach Actions
9541 Requality Bug New Normal Не сразу срабатываем Undo и не срабатывает Redo для установки галочки Local only Viktoria Kopach Actions
9540 Requality Task New Normal Попробовать использовать eclipse зависимости для консольной загрузки Denis Kildishev Actions
(751-800/1993) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF