Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
(701-750/2055) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF