Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
9195 Requality Bug New Normal В отчете отображаются как покрытые и итерированные узла, и их оригиналы Viktoria Kopach Actions
9194 Requality Bug New Normal Итерируемый узел появляется без детей Viktoria Kopach Actions
9193 Klever Feature New High Continue sorting out sync:race tests Evgeny Novikov Pavel Andrianov Actions
9184 Veritool Bug New Normal ERROR: Unable to read config file: /usr/lib/x86_64-linux-gnu/ivl/veritool.conf Sergey Smolov Actions
9181 Requality Task New Normal Пересмотр системы Checker ов Denis Kildishev Actions
9179 Requality Bug New Normal При нажатии Ctrl+R убирается выделение узла в UniEditor Denis Kildishev Actions
9178 Requality Feature New Normal Подсвечивать путь к элементу в окне Compare, т.к. его может быть не видно целиком Viktoria Kopach Actions
9167 Klever Feature New High Track speculative wall and CPU time Evgeny Novikov Actions
9159 Klever Feature New High Split schedulersutils/__init__.py Evgeny Novikov Ilja Zakharov Actions
9158 Klever Feature New High Wait for apt unlocking Evgeny Novikov Evgeny Novikov Actions
9156 Requality Bug New Normal Наследуемый атрибут сохраняется и становится самостоятельным атрибутом при копировании к другому родителю Viktoria Kopach Actions
9155 Requality Bug New Normal В Mass ops wizard не отображается значение атрибута, если он список Viktoria Kopach Actions
9154 Requality Bug New Normal Неожиданное изменение атрибутов, сгенерированных генераторами RANDOM или CYCLE, после апдейта из GIT. Viktoria Kopach Actions
9141 Klever Feature New High Do not start up graphical interface for Klever OpenStack instances Evgeny Novikov Evgeny Novikov Actions
9140 Requality Bug New Normal В окне Table View report settings чтобы изменить значение ширины, нужно сначала кликнуть на имя Viktoria Kopach Actions
9134 Requality Task New Normal Перевести все -> uri преобразования на механизм toPath Denis Kildishev Actions
9132 Crude_slicer Bug Open Normal Buggy transformation of Ternary expression while slicing Asia . Actions
9131 Crude_slicer Bug Open Normal Undeclared Functions in slice generated Asia . Actions
9116 Requality Bug New Normal В отчете обычные и итерированные узлы выглядят одинаково Viktoria Kopach Actions
(951-1000/2124) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF