Project

General

Profile

Issues

Filters

Apply Clear

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

Also available in: Atom CSV PDF