Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
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
9530 Klever Feature New High Investigate cons and pros of Frama-C (CIL) slicing Evgeny Novikov Actions
9526 Deductive Verification Tools for Linux Kernel Bug New Normal Why3: опция для подключения файла с доказательствами Coq Denis Efremov Mikhail Mandrykin Actions
9491 Requality Task New Normal Расширение модели свойств для ForeignID и атрибута версии Denis Kildishev Actions
9489 Requality Feature New Normal Указывать имя шаблона отчета в сообщении о том, что шаблон не был импортирован Viktoria Kopach Actions
9488 Retrascope Task New Normal CFG-GADD transformer backend that makes assignments index and range-free Sergey Smolov Sergey Smolov Retrascope - 1.2 Actions
9487 Requality Bug New Normal При перестаскивании текстовый узел самопроизвольно меняет Id Viktoria Kopach Actions
9478 Retrascope RISC-V Benchmark Bug New Normal ERROR: retrascope-riscv\src\main\verilog\rocket-chip\src\main\resources\vsrc\TestDriver.v line 28:2 no viable alternative at input 'int' Sergey Smolov Actions
9477 Retrascope RISC-V Benchmark Bug New Normal an "import "DPI-C" function" construction causes Verilog Translator error Sergey Smolov Alexander Kamkin Actions
9476 MicroTESK Task New Normal Поддержка версии ревизий в настройках модели settings.xml Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
9473 MicroTESK Bug New Normal riscv.mmu 181:0 ERROR (SEMANTIC): "IF statements are not allowed in operations." Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
9472 MicroTESK Developer Request Open High Неочевидные преобразования типов при вычислении выражений Alexander Protsenko Artem Kotsynyak MicroTESK - 2.6 Actions
9471 MicroTESK Bug New Normal ERROR (SEMANTIC): The given bitfield expressions cannot be reduced to constant value Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
9469 Requality Bug New Normal Параллельное выполнение одинаковой массовой операции на разных проектах вызывает ошибки Denis Kildishev Actions
9455 MicroTESK Feature New Normal Запись/Чтение в память в диапазоне <X..Y> (MEM[mem_index]<X..Y>) Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
9448 MicroTESK Task New Normal Вызов метода init() в методе init() другого объекта op в *.mmu Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
9447 MicroTESK Task New Normal Доступ к константам *.nml из модулей *.mmu Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
9441 MicroTESK Bug New Normal Unsupported operator BVADD Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
9440 MicroTESK Bug New Normal Bit field expressions must be statically calculated constants Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
9439 MicroTESK Bug New Normal Cannot perform OR with Condition [type=AND ...] and Condition [type=AND ...] Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
9433 Klever Bug New High Incorrect error processing and misleading error message when there is not proper Java for CPAchecker Evgeny Novikov Ilja Zakharov Actions
9429 Requality Task New Normal Изменение представления ссылки Denis Kildishev Actions
9428 Requality Feature New Normal Помечать в Requality Explorer узлы, в описании которых есть нерабочие ссылки Viktoria Kopach Actions
9426 Requality Bug New Normal В Requality Explorer пропадает часть выделения при выборе разнотипных узлов Viktoria Kopach Actions
9425 Requality Bug New Normal Странная нумерация фрагментов после Update Document процессора Viktoria Kopach Actions
9422 Requality Bug New Normal Вкладка History для проекта: появляется второй горизонтальный скролл-бар Viktoria Kopach Actions
9394 Klever Feature Open High Support verification of built-in Linux kernel modules Evgeny Novikov Ilja Zakharov Actions
9388 MicroTESK for RISC-V Bug New Normal Mystical errors in model Alexander Protsenko Alexander Kamkin MicroTESK for RISC-V - 0.1 Actions
9385 Requality Bug New Normal Не сразу удается выбрать созданную папку при экспорте отчета Viktoria Kopach Actions
9383 MicroTESK for MIPS Bug Verified Normal Can't find MicroTESK Tracer log file Alexander Protsenko Alexander Kamkin Actions
9377 MicroTESK for MIPS Bug New Normal 'Failed to construct decoder' warnings in project's build log Sergey Smolov Alexander Kamkin Actions
9376 MicroTESK for MIPS Bug New Normal Warning: Group MIPS64FpuOp contains two items add_fmt and mfc1 with the same opcode 01000100000000000000000000000000 Sergey Smolov Alexander Kamkin Actions
9358 Requality Feature New Normal При создании проекта предлагать выбор места размещения Viktoria Kopach Actions
9350 Klever Feature New High Update validation tasks that require function pointer analysis Ilja Zakharov Actions
9349 Klever Feature New High Support regular expressions for providing ideal verdicts Evgeny Novikov Actions
9344 Requality Task New Normal Заменить лишние вызовы методов в отчетах Denis Kildishev Actions
9342 Requality Feature New Normal Добавить указание папки для генерации отчетов Denis Kildishev Actions
9305 Klever Feature New High Provide a list of undefined and modelled functions for a fragment under verification Ilja Zakharov Ilja Zakharov Actions
9297 C++TESK Testing ToolKit Bug New Normal Ошибка сборки cpptesk-toolkit-src-1.0.24-beta-140522 Nikita Chertok Mikhail Chupilko Actions
9290 Klever Feature New High Respect warnings issued by Clade Evgeny Novikov Actions
9284 Deductive Verification Tools for Linux Kernel Bug New Normal jingoo 1.2.18 падает generate.ml Grigoriy Volkov Mikhail Mandrykin Actions
9275 Retrascope Test Suite Bug New Normal vcegar/pj_icram: too big arrays Mikhail Lebedev Mikhail Lebedev Actions
9273 Klever Feature New High New translation mode for EMG Pavel Andrianov Ilja Zakharov Actions
9272 Klever Feature New High Main generation without info-requests Pavel Andrianov Ilja Zakharov Actions
9271 Klever Feature New High Main generation with information about sharedness of parameters Pavel Andrianov Ilja Zakharov Actions
9247 Retrascope Feature Open High CFG-to-C printer Sergey Smolov Sergey Smolov Retrascope - 1.2 Actions
9244 Klever Feature New High Refactor models and rule specifications related both with EMG and requirements Evgeny Novikov Evgeny Novikov Actions
9243 Klever Feature New High Add more tests for models related both with EMG and requirements Evgeny Novikov Evgeny Novikov Actions
9236 Klever Feature New High Get rid of option duplicates within rule specifications base Evgeny Novikov Ilja Zakharov Actions
9221 Klever Feature Open High Add a rule for svcomp tasks generation Pavel Andrianov Pavel Andrianov Actions
9197 Requality Bug New Normal В module editor изменяются составные идентефикаторы Denis Kildishev Actions
9195 Requality Bug New Normal В отчете отображаются как покрытые и итерированные узла, и их оригиналы Viktoria Kopach Actions
9194 Requality Bug New Normal Итерируемый узел появляется без детей Viktoria Kopach Actions
9193 Klever Feature New High Continue sorting out sync:race tests Evgeny Novikov Pavel Andrianov Actions
9184 Veritool Bug New Normal ERROR: Unable to read config file: /usr/lib/x86_64-linux-gnu/ivl/veritool.conf Sergey Smolov Actions
9181 Requality Task New Normal Пересмотр системы Checker ов Denis Kildishev Actions
9179 Requality Bug New Normal При нажатии Ctrl+R убирается выделение узла в UniEditor Denis Kildishev Actions
9178 Requality Feature New Normal Подсвечивать путь к элементу в окне Compare, т.к. его может быть не видно целиком Viktoria Kopach Actions
9167 Klever Feature New High Track speculative wall and CPU time Evgeny Novikov Actions
9159 Klever Feature New High Split schedulersutils/__init__.py Evgeny Novikov Ilja Zakharov Actions
9158 Klever Feature New High Wait for apt unlocking Evgeny Novikov Evgeny Novikov Actions
9156 Requality Bug New Normal Наследуемый атрибут сохраняется и становится самостоятельным атрибутом при копировании к другому родителю Viktoria Kopach Actions
9155 Requality Bug New Normal В Mass ops wizard не отображается значение атрибута, если он список Viktoria Kopach Actions
9154 Requality Bug New Normal Неожиданное изменение атрибутов, сгенерированных генераторами RANDOM или CYCLE, после апдейта из GIT. Viktoria Kopach Actions
9141 Klever Feature New High Do not start up graphical interface for Klever OpenStack instances Evgeny Novikov Evgeny Novikov Actions
9140 Requality Bug New Normal В окне Table View report settings чтобы изменить значение ширины, нужно сначала кликнуть на имя Viktoria Kopach Actions
9134 Requality Task New Normal Перевести все -> uri преобразования на механизм toPath Denis Kildishev Actions
9132 Crude_slicer Bug Open Normal Buggy transformation of Ternary expression while slicing Asia . Actions
9131 Crude_slicer Bug Open Normal Undeclared Functions in slice generated Asia . Actions
9116 Requality Bug New Normal В отчете обычные и итерированные узлы выглядят одинаково Viktoria Kopach Actions
9115 Requality Bug New Normal У итерированных узлов нет возможности добавить тест в Requality Explorer и в редакторах Viktoria Kopach Actions
9114 Requality Bug New Normal Проблемы с генерацией отчета на проекте с виртуальным узлом Viktoria Kopach Actions
9110 Requality Bug New Normal Иногда невозможно откатить локальные изменения полностью Denis Kildishev Actions
9104 Requality Bug New Normal В UniEditor при перетаскивании узла сверху вниз происходит выделение других узлов Viktoria Kopach Actions
9096 Requality Bug New Normal Виртуальные узлы не отображаются в Table View Denis Kildishev Actions
9093 Klever Bug New High Stop services before updates Evgeny Novikov Evgeny Novikov Actions
9091 Requality Feature New Normal Показывать окошко с текстом комментария к коммиту Viktoria Kopach Actions
9074 Requality Bug New Normal После удаления виртуального узла и коммита в гит переиспользованный узел оказался на уровне корневого узла Requirements Viktoria Kopach Actions
9071 Retrascope Test Suite Bug Open Normal ru.ispras.retrascope.engine.hldd.printer.smv.Texas97HlddSmvPrinterTestCase.runTest: java.lang.IllegalArgumentException: Unknown operation 'FUNCTION' Sergey Smolov Mikhail Lebedev Actions
9059 Klever Bug New High Absence of log files can result to job error Evgeny Novikov Ilja Zakharov Actions
9058 Klever Bug New High Exceptions if there are problems with connection to cloud Pavel Andrianov Evgeny Novikov Actions
9032 Requality Bug New Normal Окно Merge - неполное выделение на узле Viktoria Kopach Actions
9005 Klever Bug New Normal Controller does not support directories with spaces Evgeny Novikov Actions
8995 Requality Feature New Normal Продолжать отображать свойства узла в Properties view при открытии окна сравнения версий Viktoria Kopach Actions
8988 Requality Bug New Normal Вкладка просмотра отчетов меняет свое положение среди других вкладок dj встроенном браузере Eclipse Viktoria Kopach Actions
8982 Verilog Translator Task New Normal "for" loop unrolling Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8965 Klever Bug New High Get unknown error when openning page after droping database Evgeny Novikov Vladimir Gratinskiy Actions
8954 Requality Feature New Normal Переход по межпроектным ссылкам для всех видов отчетов (где есть ссылки) Viktoria Kopach Actions
8953 Requality Feature New Normal Обработка missing-фрагментов в Outline Viktoria Kopach Actions
8945 Requality Bug New Normal Ошибки в консоли Denis Kildishev Actions
8938 Klever Feature New High Use browser notifications for reporting job status changes Evgeny Novikov Vladimir Gratinskiy Actions
8931 Requality Bug New Normal После работы документ процессора узлы в редакторе отображаются большими пустыми полями Viktoria Kopach Actions
8928 Requality Bug New Normal Не полностью видна кнопка "Update Coverage Source" при маленьком размере окна Viktoria Kopach Actions
8925 Klever Feature New High Process error traces with timeout Evgeny Novikov Vladimir Gratinskiy Actions
8924 Requality Bug New Normal Наследование атрибута узлом, созданным по шаблону Viktoria Kopach Actions
8901 Requality Feature New Normal В отчете, где есть ссылки, нужно сделать кнопки вперед-назад Viktoria Kopach Actions
8898 Requality Bug New Normal На Windows не отображается картинка в редакторе Viktoria Kopach Actions
8887 Requality Bug New Normal В Module Editor и UniEditor после сохранения редактирования узла курсор продолжает мигать в начале строки Viktoria Kopach Actions
8878 Requality Feature New Normal Добавить вкладку Preview для TestPurpose Viktoria Kopach Actions
8842 Requality Bug New Normal Снимается выделение с целевого узла при создании ссылки кнопкой "0,1,*" Viktoria Kopach Actions
8841 Requality Bug New Normal В ModuleEditor у таблиц не отображаются границы Viktoria Kopach Actions
8821 Requality Feature New Normal Нужна функция поиска в диалоги, где нужно выбрать узел Viktoria Kopach Actions
8819 Requality Feature New Normal Поддержка возможности множественных elaborates ссылок для одного узла Viktoria Kopach Actions
8797 Verilog Translator Bug New Normal Error when using multiple includes Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
8795 Requality Task New Normal Переработка экземпляров отчетов Denis Kildishev Actions
8794 Requality Bug New Normal После обновления формата проекта значения атрибута, сгенерированные генератором RANDOM, изменились Viktoria Kopach Actions
8785 Linux Kernel Safety RuleDB Feature New Normal [linux:drivers:clk] Correct usage of clock API Alexey Khoroshilov Actions
8780 Requality Bug New Normal В Module Editor в режиме редактирования узла перестает отображаться картинка Viktoria Kopach Actions
8751 Klever Bug New High New EMG does not call callbacks from i2c_driver Ilja Zakharov Ilja Zakharov Actions
8746 Requality Bug New Normal Преобразование enum_definition в string Viktoria Kopach Actions
8744 Klever Feature New High Introduce a macro to manually specify model comments in environment models Ilja Zakharov Actions
8728 Requality Bug New Normal При повторной генерации отчета Document Model новый выделенный фрагмент не отображается в отчете как фрагмент Viktoria Kopach Actions
8727 Requality Bug New Normal При создании отчета Document Model заголовок документа не попал в отчет Viktoria Kopach Actions
8712 Requality Bug New Normal При обновлении проекта у виртуальных узлов пропадают итерируемые узлы Viktoria Kopach Actions
8700 Requality Feature New Normal При выделении фрагмента выделять в Requality Explorer все его требования Viktoria Kopach Actions
8699 Requality Bug New Normal После обновления формата проекта у виртуального узла пропали итерируемые узлы Viktoria Kopach Actions
8696 MicroTESK Bug New Normal Parsing an mmu-file with empty read and write definitions causes IllegalArgumentException Alexander Kamkin Artem Kotsynyak MicroTESK - 2.6 Actions
8691 MicroTESK Task New Normal Sign- and zero-extend functions in preparators Alexander Kamkin Alexander Kamkin MicroTESK - 2.6 Actions
8688 Requality Bug New Normal При импорте старого проекта из файловой системы не сразу появляется запрос на обновление формата Viktoria Kopach Actions
8683 MicroTESK for MIPS Bug Resolved Normal Nonoptimal preparator generation Alexander Kamkin Alexander Kamkin MicroTESK for MIPS - 0.0 Actions
8678 MicroTESK for MIPS Bug Resolved Normal Exception in exception handler Alexander Kamkin Alexander Kamkin MicroTESK for MIPS - 0.0 Actions
8675 MicroTESK for MIPS Bug Resolved Normal Executing tlbwi causes CU0 Alexander Kamkin Alexander Kamkin MicroTESK for MIPS - 0.0 Actions
8671 Requality Bug New Normal Если bundle расположен в директории с русским именем, возникают проблемы Viktoria Kopach Actions
8660 Requality Bug New Normal В методе updateChildren класса ReuseRequalityChildIterator отсутствует обновление параметров Denis Kildishev Actions
8659 Requality Bug New Normal Запрос на удаление требования при удалении фрагмента Viktoria Kopach Actions
8656 Requality Bug New Normal Page contains invalid values на старых проектах Denis Kildishev Actions
8639 Requality Bug New Normal Некорректное перескакивание выделения в Requality Explorer после удаления нескольких требований одновременно Viktoria Kopach Actions
8629 Klever Feature New High Allow to upload multiple files at once Evgeny Novikov Vladimir Gratinskiy Actions
8624 Klever Feature New High Add tests with forbidding callback invocations Evgeny Novikov Ilja Zakharov Actions
8623 Klever Bug New High EMG does not relate registration of statically combined containers Evgeny Novikov Ilja Zakharov Actions
8618 Requality Feature Open Normal Визуализация связанных требований. Доработка функционала Радек Мария Радек Мария Actions
8616 Requality Bug New Normal Результат первого redo не отображается корректно Viktoria Kopach Actions
8614 Klever Feature New High Verify Linux kernel modules in alphabetical order Evgeny Novikov Ilja Zakharov Actions
8609 Requality Bug New Normal Некорректный вывод при открытии требования через LibreOffice (второй случай) (jetos-reqs) Николай Эккоре Actions
8605 Requality Bug New Normal TimeoutException при конвертации данных в новый формат Alexandr Ugnenko Actions
8604 Requality Bug New Normal Некорректно работает синхронизация Requality Explorer с рабочим каталогом (workspace) Alexandr Ugnenko Actions
8601 Klever Feature New High Add more tests for correctness rules specification sync:race Evgeny Novikov Pavel Andrianov Actions
8600 Requality Feature New Normal Добавить событие - обновление порядка Denis Kildishev Actions
8594 Requality Feature New Normal Копирование документа в другой проект Requality Viktoria Kopach Actions
8591 Requality Bug New Normal В имени элемента отображается формула Viktoria Kopach Actions
8590 Requality Feature New Normal Переименование документа Viktoria Kopach Actions
8589 Klever Feature New High Reduce the number of request for getting job data Evgeny Novikov Vladimir Gratinskiy Actions
8587 MicroTESK Feature New Normal ISA subsets Sergey Smolov Artem Kotsynyak MicroTESK - 2.6 Actions
8584 Requality Feature New Normal Синхронизация Requality Explorer с открытым в Eclipse-браузере документе LO Viktoria Kopach Actions
8583 Requality Bug New Normal Не сразу удаляется атрибут, который был ранее унаследован, а потом изменен. Viktoria Kopach Actions
8581 Klever Bug New High Simplify generation of new threads at registrations for instances Ilja Zakharov Ilja Zakharov Actions
8578 Deductive Verification Tools for Linux Kernel Bug New Normal Моделирование escape char '\e' Denis Efremov Mikhail Mandrykin Actions
8576 Requality Bug New Normal Undo переиспользования генерит 2 узла Denis Kildishev Actions
8575 Requality Bug New Normal Некорректная работа Shift и Alt Denis Kildishev Actions
8567 Klever Feature New High Use the same session to upload/download verification tasks and their solutions Evgeny Novikov Ilja Zakharov Actions
8565 Requality Bug New Normal Дублирование идентефикатора требований у фрагментов при генерации отчета Denis Kildishev Actions
8564 Requality Task New Normal Некорректное обновление свойств для переиспользованных элементов Denis Kildishev Actions
8562 Klever Feature New High Add search for marks Anton Vasilyev Vladimir Gratinskiy Actions
8560 Requality Bug New High При включенной синхронизации не получается выделить новый фрагмент Viktoria Kopach Actions
8559 Requality Bug New Normal Locations попадают в шаблон trace Denis Kildishev Actions
8555 Klever Bug New Normal Hide information about user access to a job for users with weak access Pavel Andrianov Actions
8551 Requality Bug New Normal UniEditor, ModuleEditor, Review: не работают ссылки Viktoria Kopach Actions
8547 Requality Bug New Normal Ошибки в обновлении свойства(например текста) с переменными в Module\Uni editor Denis Kildishev Actions
8546 Requality Feature New Normal Автоматизация разметки схожих фрагментов текста в документе Denis Kildishev Actions
8542 Requality Bug New Normal При копировании требования с ENUM не переносится определения Denis Kildishev Actions
8541 C++TESK Testing ToolKit Task New Normal [core] Совместное использование с SystemC Mikhail Chupilko Mikhail Chupilko C++TESK Testing ToolKit - 1.1 Actions
8530 Klever Feature Open High Show the number of associated leaf reports everywhere where it has sense Evgeny Novikov Vladimir Gratinskiy Actions
8529 Klever Feature New High Support notices Evgeny Novikov Actions
8526 Requality Feature New Normal Изменить последовательность диалоговых окон при работе в Mass ops. Viktoria Kopach Actions
8518 Requality Bug New Normal LORequality не подключается к проекту в Requality Viktoria Kopach Actions
8509 Klever Feature New High Introduce common prefixes for problems to group them together Ilja Zakharov Actions
8507 Requality Bug New Normal LORequality: атрибут переносится в Requality как текстовый узел Viktoria Kopach Actions
8487 Klever Feature New High Describe Klever from various architectural points of view Evgeny Novikov Evgeny Novikov Actions
8481 MicroTESK Task New Normal Need a way to specify the termination address for the test program Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.6 Actions
8477 Requality Bug New Normal LORequality: не работает Go to reference Viktoria Kopach Actions
8472 Requality Bug New Normal Ошибки при открытии Eclipse Viktoria Kopach Actions
8470 Requality Bug New Normal Некорректно работает удаление фрагмента Viktoria Kopach Actions
8464 Klever Feature New High Reduce computational resources consumed by auxiliary tasks generation and results processing workers Evgeny Novikov Actions
8457 Requality Feature New Normal Удобство создания подтребований на тот же уровне в редакторе документа Viktoria Kopach Actions
8453 Klever Bug New High Some rules are broken and cannot be used without CIL Ilja Zakharov Evgeny Novikov Actions
8451 Deductive Verification Tools for Linux Kernel Bug New Normal русские буквы в путях к файлу Denis Efremov Mikhail Mandrykin Actions
8440 Klever Bug New High Error traces comparison function remove does not trigger cache updates Evgeny Novikov Vladimir Gratinskiy Actions
8419 Requality Bug New Normal Публикация плагина для LibreOffice Alexey Khoroshilov Максим Карпов Actions
8408 Klever Bug New High Initialize all local variables in addition to pointers and function pointers as nondet values Ilja Zakharov Ilja Zakharov Actions
8407 Klever Bug New High Do not pass unitialized function pointers to functions and pass null instead Ilja Zakharov Ilja Zakharov Actions
8395 Klever Feature New High Introduce verification start and finish reports Evgeny Novikov Actions
8390 Klever Bug New High Misleading log message when verification job decision is finished Evgeny Novikov Ilja Zakharov Actions
8379 Klever Feature New Normal Properly process wall time outs Evgeny Novikov Actions
8378 Klever Feature New High Convert time shown in requests log to user specific time zone Evgeny Novikov Vladimir Gratinskiy Actions
8375 C Instrumentation Framework Bug New Normal Excessive const qualifier for local array of function pointers Evgeny Novikov Evgeny Novikov Actions
8373 Klever Bug New Normal Improve iio_triggered_buffer env model Ilja Zakharov Actions
8369 Klever Feature New High Allow to keep job and task working directories for particular jobs Evgeny Novikov Ilja Zakharov Actions
8365 Klever Feature New High Wait for completion of all operations and try to execute them several times in case of failures Evgeny Novikov Actions
8361 Klever Feature New High Keep and pretty visualize workers load Evgeny Novikov Vladimir Gratinskiy Actions
8360 Klever Feature New High Specify violated properties as additional attribute for unsafes Evgeny Novikov Actions
8350 Requality Bug New Normal Некорректно работает импорт из DOORS Viktoria Kopach Actions
8345 Klever Bug New High Incorrect error message when canceling job decisions after page updates are switched off Evgeny Novikov Vladimir Gratinskiy Actions
8344 Klever Feature New High Show help messages to distinguish confirmed bugs, false alarms, etc. Evgeny Novikov Vladimir Gratinskiy Actions
8343 Klever Feature New High Make link for comparing reports Evgeny Novikov Vladimir Gratinskiy Actions
8339 Klever Feature New High Add user setting to select default error trace convertion function, comparison criterion and similarity threshold Evgeny Novikov Vladimir Gratinskiy Actions
8318 Requality Task New Normal [jetos-reqs] Адекватное отображение вложенных списков в DOORS. Курбан Маллачиев Denis Kildishev Actions
8317 Requality Task Open Normal [jetos-reqs] Несколько примечаний у одного требования Курбан Маллачиев Denis Kildishev Actions
8307 Requality Bug New Normal StackOverflow при вызове GenerateReportHandler.generateReport(ReportSettings) Максим Карпов Actions
8306 Klever Bug New Normal EMG registers random interrupt handler Pavel Andrianov Ilja Zakharov Actions
8298 Klever Feature New High Highlight tag rights Evgeny Novikov Vladimir Gratinskiy Actions
8296 Klever Feature New High Prepare scripts for automatic deployment on most popular Linux distributions of the latest versions Evgeny Novikov Evgeny Novikov Actions
8295 Requality Bug New Normal Генератор значений атрибута не открывается после создания другого атрибута Viktoria Kopach Actions
8294 Requality Bug New Normal Генератор значений атрибута - проблемы с полем Formula Viktoria Kopach Actions
8281 Requality Bug New Low Error message при создании проекта Requality Viktoria Kopach Actions
8274 Klever Feature New High Support advanced attributes comparison Evgeny Novikov Vladimir Gratinskiy Actions
8273 Klever Feature New High Transfer marks with the job solution results if threre are exist Ilja Zakharov Evgeny Novikov Actions
8269 Klever Feature New High Allow to use swap when solving jobs or tasks Evgeny Novikov Ilja Zakharov Actions
8266 Klever Bug New Normal EMG should consider cases when a kernel function with a model is set as handler Pavel Andrianov Ilja Zakharov Actions
8232 Klever Bug New High ieee80211_register_hw should register callbacks instead of ieee80211_alloc_hw Vadim Mutilin Ilja Zakharov Actions
8193 Klever Bug New High Calculate and show meaningful consumed resources Vitaly Mordan Actions
8188 Klever Bug New Normal IS_ERR is not matched in 4.2.6 for ldv_is_err Vadim Mutilin Actions
8186 MicroTESK Task New Normal Full support for 'struct' in nml Alexander Protsenko Artem Kotsynyak MicroTESK - 2.6 Actions
8178 Klever Feature New High Get rid of some buttons Evgeny Novikov Vladimir Gratinskiy Actions
8176 Klever Feature New High Report verification unknowns early if it is clear that verfier does not have capabilities to decide corresponding verification tasks Evgeny Novikov Ilja Zakharov Actions
8175 Klever Feature New High Add support for high-level interface to static verifiers Evgeny Novikov Actions
8172 Klever Bug New High Unsafe verdicts of multimodule verification aren't associated with marks for single module verification Alexey Polushkin Vladimir Gratinskiy Actions
8167 QEMU4V Task New Low Program flow tracing Sergey Smolov Actions
8166 Requality Bug New Normal Libre - поправить сортировку закладок Viktoria Kopach Иван Девицкий Actions
8160 Requality Bug New Normal Libre: странные bookmark Viktoria Kopach Иван Девицкий Actions
8159 Requality Feature New Normal Libre: обработка лишних пробелов в заголовках Viktoria Kopach Иван Девицкий Actions
8158 Requality Feature New Normal Замечания по плагину libre Viktoria Kopach Иван Девицкий Actions
8143 Klever Feature New High Add support for logging reports Evgeny Novikov Vladimir Gratinskiy Actions
8142 Requality Bug New Normal Не обновляется UniEditor Viktoria Kopach Actions
8141 Requality Bug New Normal Нет возможности сделать Undo после обработки документа Update процессором. Viktoria Kopach Actions
8138 Klever Feature New Normal Do not place closing rectangles on the separate lines Evgeny Novikov Vladimir Gratinskiy Actions
8137 Klever Feature New High Properly place context switching model comments Evgeny Novikov Ilja Zakharov Actions
8135 Klever Feature New High Precise environment model can reveal bug in a driver that incorrectly uses registration or allocation functions Ilja Zakharov Ilja Zakharov Actions
8132 Klever Feature New High Create model headers Evgeny Novikov Evgeny Novikov Actions
8130 Klever Feature New Normal Allow to additionally highlight actions with the same entities and allow to hide their highlights at all Evgeny Novikov Vladimir Gratinskiy Actions
8129 Klever Feature New High Get rid of model function comments Evgeny Novikov Evgeny Novikov Actions
8128 Klever Feature New Normal Support model comments parametrization Evgeny Novikov Actions
8127 Klever Feature New High Clarify model comments a bit Evgeny Novikov Ilja Zakharov Actions
8121 Klever Feature New High Do not check final state if modules can't be unloaded Evgeny Novikov Evgeny Novikov Actions
8120 Klever Feature New High Execute intensive disk operations using RAM Evgeny Novikov Actions
(501-1000/1960) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF