Project

General

Profile

Issues

Filters
 

Apply Clear

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

Also available in: Atom CSV PDF