Project

General

Profile

Issues

Filters

Apply Clear

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

Also available in: Atom CSV PDF