Project

General

Profile

Issues

Filters

Apply Clear

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

Also available in: Atom CSV PDF