Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10857 Requality Bug Verified Normal При создании теста к требованию возникает ошибка Viktoria Kopach Actions
10856 Requality Bug Verified Normal У виртуального узла не сохраняется изменение идентификатора Viktoria Kopach Actions
10850 Requality Bug Verified Normal После перезапуска Eclipse узел с генератором атрибута не распознается Requality Viktoria Kopach Actions
10849 Requality Bug Verified Normal После перезапуска Eclipse фрагменты становятся orphan Viktoria Kopach Actions
10841 Requality Task New Normal Доработка update с проблемами локального HEAD Denis Kildishev Actions
10836 QEMU4V Task Resolved Normal migrate to QEMU 6.0.0 Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
10833 Requality Bug Verified Normal Не получается прокрутить отчет до конца Viktoria Kopach Actions
10832 MicroTESK Bug New Normal Parser allows bit vector extraction of array types Alexander Protsenko Artem Kotsynyak MicroTESK - 2.6 Actions
10831 Requality Task New Normal Доработка системы хранения данных git Denis Kildishev Requality - 1.4 (development) Actions
10830 Requality Bug New Normal Доработка выделения текущего коммита в окне версий Denis Kildishev Requality - 1.4 (development) Actions
10829 Klever Feature New High Implement new access scheme Evgeny Novikov Vladimir Gratinskiy Actions
10828 Klever Feature New High Suggest new access scheme Evgeny Novikov Actions
10827 Klever Feature New High Describe entities and actions on them Evgeny Novikov Vladimir Gratinskiy Actions
10826 Klever Bug New High Klever uploads witnesses very slow Pavel Andrianov Evgeny Novikov Actions
10825 Requality Bug New Normal Сдвиг при переходе по ссылке в отчете о сравнении версий Viktoria Kopach Actions
10820 Klever Feature New High Show code coverage status for locations where a given entity is referenced Evgeny Novikov Vladimir Gratinskiy Actions
10819 MicroTESK for PowerPC Bug New Normal Trace Matcher crashes on QEMU4V empty trace Sergey Smolov Sergey Smolov Actions
10814 Requality Bug New Normal Проблема с установкой фокуса в строке фильтров на вкладке History Viktoria Kopach Actions
10804 Klever Feature New High Try to disable guessing allocated memory size Evgeny Novikov Anton Vasilyev Actions
10802 Requality Feature New Normal Отчет Проверка правил оформления: правки Viktoria Kopach Actions
10801 Klever Feature New High Support incomplete tuples of attributes for comparing verification reports Evgeny Novikov Vladimir Gratinskiy Actions
10790 Requality Bug New Normal Отчет "Проверка правил оформления": некорректно срабатывает переход по пункту Содержания с совпадающим именем Viktoria Kopach Actions
10789 Requality Bug New Normal Не срабатывает проверка правила Viktoria Kopach Actions
10783 Requality Bug New Normal Отчет "Анализ покрытия требований" учитывает текстовые узлы Viktoria Kopach Requality - 1.4 (development) Actions
10779 Requality Bug New Normal Пустые папки в импортированном отчете о покрытии Viktoria Kopach Actions
10778 Requality Feature New Normal Указывать название проекта при привязывании теста к узлу Viktoria Kopach Actions
10776 Klever Bug New High PM runtime model doesn't set runtime_status field Ilja Zakharov Ilja Zakharov Actions
10775 Requality Bug New Normal Открытое окно настроек отчета не блокирует работу в перспективе Requality Viktoria Kopach Actions
10772 Requality Bug New Normal Отчет "Чтение требований": отсутствуют SeqID в отчете по смежному проекту Viktoria Kopach Actions
10771 Klever Bug New High Fix support for module_platform_driver_probe() Evgeny Novikov Ilja Zakharov Actions
10769 Requality Bug New Normal Не срабатывают синонимы атрибутов при использовании в значении другого атрибута Viktoria Kopach Actions
10766 Requality Bug New Normal Некорректный текст уведомления при создании папки с повторяющимся именем Viktoria Kopach Actions
10765 Requality Bug New Normal Некорректный результат переноса фрагмента с картинкой при Update Document Viktoria Kopach Actions
10764 MicroTESK Task New Normal Поддержка алтернативного формата вывода SMT-LIB представления машинного кода Pavel Putro Artem Kotsynyak Actions
10762 Requality Feature New Normal Добавить ссылку на исходное требования клонам Denis Kildishev Actions
10761 Requality Bug New Normal Подвисает синхронизация между Requality Explorer, Outline и ModuleEditor/Unieditor/Review Viktoria Kopach Actions
10760 Requality Bug New Normal Порядок узлf-комментария в UniEditor и Review не совпадает с Requality Explorer и Outline Viktoria Kopach Actions
10758 Klever Bug New High Aspect for checking memory safety refers ldv_nonzero_alloc() without definition Evgeny Novikov Actions
10747 MicroTESK Bug New Normal Переопределение define_section_text (в соответствии с microtesk-2.5-user-guide-ru) Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
10745 Klever Feature New High Unclear EMG error messages Pavel Andrianov Ilja Zakharov Actions
10739 Requality Bug New Normal Одинаковая нумерация соседних узлов в ModuleEditor Viktoria Kopach Actions
10734 Requality Bug New Normal После установки шаблона для узлов создание обязательного атрибута дает ошибку в Error log Viktoria Kopach Actions
10733 Requality Bug New Normal При первой установке в Mandatory Attributes атрибута типа INT значение иногда само меняется на 0 Viktoria Kopach Actions
10731 Requality Bug Verified Normal Ссылка _location подгружается в настройках проекта Viktoria Kopach Actions
10730 Requality Task New Normal Рефакторинг механики создания узлов Denis Kildishev Requality - 1.4 (development) Actions
10729 Requality Bug New Normal Не закрывается вкладка документа Viktoria Kopach Actions
10726 Requality Bug New Normal Перестают срабатывать клики по задачам в Update Processor tasks Viktoria Kopach Actions
10718 Requality Feature New Normal Об указании названия шаблона отчета в окне настроек отчета Viktoria Kopach Actions
10717 Requality Bug New Normal В Module Editor и UniEditor при двойном клике пропадает картинка Viktoria Kopach Actions
10715 MicroTESK Task New Normal Подготовка данных для внутренних регистров Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
10707 Klever Feature New High Forbid incompatible request to Bridge through CLI Evgeny Novikov Vladimir Gratinskiy Actions
10705 Requality Bug New Normal Неактивное меню при выделении фрагмента Viktoria Kopach Actions
10698 MicroTESK Bug New Normal ArgumentError: wrong number of arguments calling `target` (2 for 0) Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
10696 MicroTESK Bug New Normal Error: Failed to load custom data generators for plasma. Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
10687 Requality Feature New Normal Таблица атрибутов: непомещающийся текст обозначать многоточием Viktoria Kopach Actions
10684 Klever Feature New High References to sources sometimes are shown under the border of sources area. Pavel Andrianov Vladimir Gratinskiy Actions
10681 Klever Feature New High Support developer installation of CPAchecker Evgeny Novikov Actions
10676 MicroTESK Task New Normal Реализовать метод для получения размера операции в nml спецификации Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
10667 Requality Bug New Normal Межпроектные термины не отображаются в Links Explorer Viktoria Kopach Actions
10665 Requality Bug New Normal Долгий процесс "Edit attributes" и подвисание при редактировании атрибутов def-term Viktoria Kopach Actions
10663 Klever Feature New High Fix Bridge tests Evgeny Novikov Vladimir Gratinskiy Actions
10662 Requality Bug New Normal Значок ошибки на требовании после генерации отчета "Анализ покрытия требований" Viktoria Kopach Actions
10661 Requality Bug New Normal К узлу типа ErrorNode можно добавить любой вид узлов Denis Kildishev Actions
10657 MicroTESK Bug New Normal Некорректная диагностика: вывод имени файла при указании строк для ошибки Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
10654 Requality Bug New Normal Не открывается тест при клике в отчете о покрытии byProjects Viktoria Kopach Actions
10653 MicroTESK Bug New Normal MicroTESK mode: IsaPrimitive cannot be converted Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
10648 Klever Bug New Normal Useless double assignment in EMG Pavel Andrianov Ilja Zakharov Actions
10646 MicroTESK Documentation Task New Normal MicroTESK Documentation: дополнить описание конструкции mode Alexander Protsenko Alexander Kamkin Actions
10645 MicroTESK Documentation Task New Normal MicroTESK Documentation: добавить ключевое слово assert Alexander Protsenko Actions
10644 MicroTESK Documentation Task New Normal MicroTESK Documentation: добавить ключевое слово alias Alexander Protsenko Actions
10640 Klever Feature New High Add an ability to show difference of coverage reports Pavel Andrianov Vladimir Gratinskiy Actions
10638 Requality Bug New Normal Undo удаления фрагмента дает ошибку после undo изменения свойств проекта Viktoria Kopach Actions
10637 Klever Feature New High Do not update Klever and restart services when it does not necessary Evgeny Novikov Actions
10636 Klever Feature New High Fail job referencing non-existing original sources Evgeny Novikov Vladimir Gratinskiy Actions
10634 Klever Feature New High Use transactions to update Klever addons and build bases Evgeny Novikov Actions
10631 Klever Feature New High Compress the space for lightweight mark on the Unsafe page Pavel Andrianov Vladimir Gratinskiy Actions
10629 Klever Feature New High Move "attributes" and "code coverage data" from the center of unsafe page Pavel Andrianov Vladimir Gratinskiy Actions
10621 Requality Bug New Normal При двойном клике на документе окно Properties view пустеет Viktoria Kopach Actions
10617 Requality Bug New Normal Перевод фокуса на другой узел после изменения атрибута срабатывает не сразу Viktoria Kopach Actions
10612 Klever Bug Open High View names are not shown for a user Pavel Andrianov Vladimir Gratinskiy Actions
10611 QEMU4V Task Resolved Normal migrate to QEMU 5.2.0 Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
10599 Klever Feature New High Forbid modifications of present entities and simplify their synchronization Evgeny Novikov Vladimir Gratinskiy Actions
10598 Klever Feature New High Do not allow to compare solving verification jobs Evgeny Novikov Vladimir Gratinskiy Actions
10597 Klever Feature New High Show more important data first at the job page Evgeny Novikov Vladimir Gratinskiy Actions
10584 Requality Feature New Normal Указывать путь к документам в различны[ view Viktoria Kopach Actions
10583 Requality Bug New Normal Проблемы с удалением проекта после Document Update Viktoria Kopach Actions
10582 Requality Bug New Normal Подвисает окно для выбора документа при Update Document Viktoria Kopach Actions
10581 Requality Bug New Normal Update Processor Tasks: зависание при удалении задачи Viktoria Kopach Actions
10580 Requality Bug New Normal Exception при первом клике по задаче в Update Processor Tasks Viktoria Kopach Actions
10575 Requality Bug New Normal Не синхронизированы редакторы документа, открытые для проверки результатов Update Document Viktoria Kopach Actions
10572 Requality Feature New Normal Отображать в Update Processor Tasks не требования, а фрагменты Viktoria Kopach Actions
10566 MicroTESK Bug New Normal Отсутствует поддержка тернарного оператора в mir Pavel Putro Artem Kotsynyak Actions
10564 Requality Bug New Normal Проблемы при выделении фрагментов в документе Viktoria Kopach Actions
10563 Requality Bug New Normal Update Document находит не весь текст, который мог бы найти Viktoria Kopach Actions
10560 Klever Feature New High Highlight changes in files and directories of jobs regarding preset jobs Evgeny Novikov Vladimir Gratinskiy Actions
10558 Requality Bug New Normal При выделении фрагмента фокус в Requality Explorer перескакивает на предыдущее требование Viktoria Kopach Actions
10544 Requality Bug New Normal Часто появляется запрос на ввод логина и пароля Viktoria Kopach Actions
10543 Requality Bug New Normal Проект не сразу исчезает из Requality Explorer при удалении Viktoria Kopach Actions
10524 Requality Bug Verified Normal При импорте документа не возникает предупреждение "Document with the same name already exists" Viktoria Kopach Actions
10522 Requality Bug New Normal Долго работает удаление документа с фрагментами Viktoria Kopach Actions
10521 Requality Bug New Normal После удаления документа с фрагментами он остается открыт в редакторе Viktoria Kopach Actions
10520 Requality Bug New Normal При удалении документа не возникает предложение удалить опустевшие требования Viktoria Kopach Actions
10519 Java SoftFloat Bug New Normal Разобраться в причине разной трактовки стандарта в Java и Berkeley SoftFloat Alexander Protsenko Alexander Protsenko Java SoftFloat - 2.0 Actions
10518 Requality Bug New Normal Импорт папки без документов вызывает ошибку Denis Kildishev Actions
10513 Verilog Translator Bug New Normal macOS related line endings at Verilog modules Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
10512 Verilog Translator Bug New Normal ADDA162H90A_atop.v line 120:47 mismatched input ':' expecting RPAREN Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
10511 Requality Task New Normal Доработка системы разметки Denis Kildishev Actions
10510 Verilog Translator Bug New Normal ERROR: [Internal] Bit vector sizes do not match: 32 != 2. Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
10509 Verilog Translator Bug New Normal ERROR: [Internal] 0 must be > 0 Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
10508 Verilog Translator Bug New Normal ERROR: [Internal] Java heap space Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
10507 Veritool Task New Normal Introduce versions and close the resolved issues Alexander Kamkin Mikhail Chupilko Actions
10506 Veritool Bug Resolved High Veritool does not support escaped identifiers Alexander Kamkin Mikhail Chupilko Actions
10505 Verilog Translator Bug New Normal ERROR: [Internal] 11 must be within range [0, 1) Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
10504 Klever Bug New High EMG does not initialize device variable Pavel Andrianov Ilja Zakharov Actions
10502 Verilog Translator Bug New Normal subbytes.v line 76:13 no viable alternative at input '[' Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
10474 QEMU4V Task Resolved Normal migrate to QEMU 5.1.0 Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
10463 Requality Bug New Normal При удалении фрагмента с картинкой в Outline остается missing Viktoria Kopach Actions
10459 Requality Bug New Normal Удаленный документ остается висеть в редакторе Viktoria Kopach Actions
10457 Requality Bug New Normal При указании цели ссылки By element путь в настройках становится как By element и ByUVName одновременно Viktoria Kopach Actions
10456 Requality Bug New Normal Меню Repository появляется только со второго открытия Viktoria Kopach Actions
10454 Klever Feature New High Implement a conditional choice of functions for an environment model Ilja Zakharov Ilja Zakharov Actions
10440 Requality Task New Normal Доработка системы транзакций Denis Kildishev Actions
10437 Requality Bug New Normal UI фризы во время работы с GUI Denis Kildishev Actions
10430 Requality Bug New Normal Большие отступы в оглавлении отчета "Отладка правил проверки" Viktoria Kopach Actions
10429 Requality Bug New Normal В отчет "Отладка правил оформления" попадают узлы, которые выдают false на какое-либо правило Viktoria Kopach Actions
10427 Requality Bug New Normal В отчете "Отладка правил оформления" не работает переход из оглавления на строку таблицы Viktoria Kopach Actions
10425 Requality Feature New Low В Properties view узла отчета главная вкладка называется "Report Settings" Viktoria Kopach Actions
10422 Requality Bug New Normal В настройках отчета кнопка Open Settings частично заслонена соседней кнопкой Viktoria Kopach Actions
10409 Requality Bug New Normal Убрать ссылку на несуществующий раздел документации Viktoria Kopach Actions
10407 Requality Bug New Normal Не сразу обновляется выделение текущей версии на вкладке History в Properties view Viktoria Kopach Actions
10406 Requality Bug New Normal При открытом окне выбора версии для переключения не блокируются действия в основном окне Eclipse Viktoria Kopach Actions
10401 Requality Bug New Normal При изменении scope атрибута портится механизм наследования - 2 Viktoria Kopach Actions
10398 Requality Bug New Normal В Requality Links Explorer не отображаются обратные межпроектные ссылки Viktoria Kopach Actions
10389 Requality Bug New Normal Не удается установить обязательный атрибут "REFERENCE" Viktoria Kopach Actions
10381 Requality Bug New Normal Лишние колонки в отчете Problems Report Viktoria Kopach Actions
10379 Requality Bug New Normal Поле "Description" становится очень большим и не сразу меняет размер обратно Viktoria Kopach Actions
10369 MicroTESK Bug New Normal BubbleSortTestCase: first ori instruction doesn't write null in a register Ivan Grigorov MicroTESK - 2.6 Actions
10368 Requality Bug New Normal Изменение типа сортировки в дереве требований записывается как действие в undo/redo Viktoria Kopach Actions
10367 Requality Feature New Normal Показывать всплывающую подсказку с полным текстом пункта меню undo/redo Viktoria Kopach Actions
10366 Requality Bug New Normal Не закрывается окно редактора документа с фрагментом после удаления этого документа Viktoria Kopach Actions
10364 Deductive Verification Tools for Linux Kernel Bug New Normal Ubuntu19: ERROR while compiling astraver-translator.v20.0 Denis Efremov Mikhail Mandrykin Actions
10362 Requality Bug New Normal При undo удаления целевого узла обратная ссылка перестает отображаться Viktoria Kopach Actions
10361 Deductive Verification Tools for Linux Kernel Feature New High Static initialization of flexible array members is an unsupported GNU extension Evgeny Novikov Mikhail Mandrykin Actions
10360 Requality Bug New Normal В Properties view на вкладке History не всегда "декорируется" строка фильтров Viktoria Kopach Actions
10358 Requality Bug New Normal Лишний столбец в History проекта Viktoria Kopach Actions
10351 Klever Feature New High Try more safe process creation method Evgeny Novikov Actions
10349 Requality Bug New Normal Отчет Progress генерируется с ошибкой Viktoria Kopach Actions
10348 Requality Bug New Normal Отчет Progress, текст ошибки в случае отсутствия привязки к репозиторию Viktoria Kopach Actions
10345 Requality Bug New Normal В Problems view не отображается информация об узлах, не удовлетворяющих правилам checker rules. Viktoria Kopach Actions
10344 Requality Bug New Normal ClassCastException при попытке изменения целевого узла ссылки в настройках Mandatory attributes Viktoria Kopach Actions
10343 Requality Bug New Normal "Unresolved" при создании обязательного атрибута типа reference Viktoria Kopach Actions
10338 Java SoftFloat Task New Normal Реализация операций двойной точности Alexander Protsenko Alexander Protsenko Java SoftFloat - 2.0 Actions
10333 Requality Bug New Normal Окно настройки Checker rules меняет размер при повторном открытии Viktoria Kopach Actions
10331 Requality Bug New Normal В настройках Requality References при выборе прямой ссылки никогда не отображается имя обратной, даже если оно задано Viktoria Kopach Actions
10330 Requality Bug New Normal Настройки проекта Requality References: не появляется полоса прокрутки Viktoria Kopach Actions
10321 MicroTESK Bug New Normal Избавиться от компиляции моделей с помощью ant Ilya Gladyshev Actions
10316 Klever Feature New High Reimplement configuration of postgressql at local deployment Ilja Zakharov Actions
10304 MicroTESK Task New Normal deprecation warnings via compilation Sergey Smolov Alexander Kamkin MicroTESK - 2.6 Actions
10290 Verilog Translator Feature New Normal SystemVerilog support Sergey Smolov Actions
10282 Requality Bug New Normal Не сразу появляется метка о нарушении checkre rules Viktoria Kopach Actions
10263 Requality Bug Open Normal В Problems view не отображаются узлы, не выполняющие checker rules Viktoria Kopach Actions
10255 Requality Bug New Normal Автоматически создается пустая ссылка Viktoria Kopach Actions
10249 Requality Feature New Normal Отчет Coverage с покрытием по тестам (byProjects): предложения для тестовых ситуаций Viktoria Kopach Actions
10232 Requality Bug New Normal Ошибка при переименовании проекта Viktoria Kopach Actions
10229 Retrascope Test Suite Task Resolved Normal Handle $ND functions Mikhail Lebedev Sergey Smolov Actions
10215 Verilog Translator Bug New Normal ERROR: Starting points limit has been exhausted: 2255 Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
10193 MicroTESK Task New Normal Cache instances configuration Alexander Kamkin Artem Kotsynyak MicroTESK - 2.6 Actions
10190 Java SoftFloat Bug New Normal Реализация операций одинарной точности Alexander Protsenko Alexander Protsenko Java SoftFloat - 2.0 Actions
10189 Java SoftFloat Task New Normal Реализация библиотеки Java SoftFloat версии 2 Alexander Protsenko Alexander Protsenko Java SoftFloat - 2.0 Actions
10177 Fortress Bug Feedback Normal TreeVisitor's SKIP status does not work as expected Alexander Kamkin Artem Kotsynyak Fortress - 0.4 Actions
10170 Requality Feature New Normal Document Import: надпись "Import succeed" Viktoria Kopach Actions
10169 Requality Feature New Normal Document Import: нужен один общий прогресс-бар Viktoria Kopach Actions
10151 Klever Feature New High Add shortcuts for most popular events Evgeny Novikov Vladimir Gratinskiy Actions
10148 Klever Feature New High Keep modification time for entities and sort them by it Evgeny Novikov Vladimir Gratinskiy Actions
10143 Requality Bug New Normal Название диалогового окна при создании проекта Viktoria Kopach Actions
10136 MicroTESK Bug New Normal Comment for self checks differs from the others Alexander Kamkin Alexander Kamkin MicroTESK - 2.6 Actions
10133 Retrascope Task New Normal use '-coi' model checker option Sergey Smolov Mikhail Lebedev Retrascope - 1.1 Actions
10124 MicroTESK Bug New High Double preparation of the same register Alexander Kamkin Alexander Kamkin MicroTESK - 2.6 Actions
10122 MicroTESK Task New Normal Template libraries for standard features Alexander Kamkin Alexander Kamkin MicroTESK - 2.6 Actions
10121 MicroTESK Bug Open Normal technical output printing at 'compile.sh' script running with '--help' option Sergey Smolov Alexander Kamkin MicroTESK - 2.6 Actions
10107 MicroTESK Task New Normal Entry point specification in templates Alexander Kamkin Alexander Kamkin MicroTESK - 2.6 Actions
10106 MicroTESK Task New Normal Support %b as format's specifier Alexander Kamkin Alexander Kamkin MicroTESK - 2.6 Actions
10104 Retrascope Bug Open Normal Wiki documentation errata Nikita Chertok Sergey Smolov Retrascope - 1.1 Actions
10101 Klever Feature New High Deploy addons and build bases within base images Evgeny Novikov Actions
10100 Trace Matcher Feature Resolved Normal "--boot-size <num>" command line option Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
10099 Trace Matcher Feature Resolved Normal "--start-addr <hex value>" command line option Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
10098 MicroTESK for RISC-V Bug New Normal Some input files use unchecked or unsafe operations. Alexander Protsenko Alexander Kamkin MicroTESK for RISC-V - 0.1 Actions
10096 MicroTESK for RISC-V Bug Resolved Normal The imm argument of addi has invalid type Type.CARD(12) while Type.INT(12) is expected Alexander Protsenko Alexander Kamkin MicroTESK for RISC-V - 0.1 Actions
10091 MicroTESK Bug New Normal [x86] ошибка при добавлении модели в src\main\etc\settings.xml Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
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
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
(501-750/1963) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF