Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
9115 Requality Bug New Normal У итерированных узлов нет возможности добавить тест в Requality Explorer и в редакторах Viktoria Kopach Actions
9114 Requality Bug New Normal Проблемы с генерацией отчета на проекте с виртуальным узлом Viktoria Kopach Actions
9110 Requality Bug New Normal Иногда невозможно откатить локальные изменения полностью Denis Kildishev Actions
9104 Requality Bug New Normal В UniEditor при перетаскивании узла сверху вниз происходит выделение других узлов Viktoria Kopach Actions
9096 Requality Bug New Normal Виртуальные узлы не отображаются в Table View Denis Kildishev Actions
9093 Klever Bug New High Stop services before updates Evgeny Novikov Evgeny Novikov Actions
9091 Requality Feature New Normal Показывать окошко с текстом комментария к коммиту Viktoria Kopach Actions
9074 Requality Bug New Normal После удаления виртуального узла и коммита в гит переиспользованный узел оказался на уровне корневого узла Requirements Viktoria Kopach Actions
9071 Retrascope Test Suite Bug Open Normal ru.ispras.retrascope.engine.hldd.printer.smv.Texas97HlddSmvPrinterTestCase.runTest: java.lang.IllegalArgumentException: Unknown operation 'FUNCTION' Sergey Smolov Mikhail Lebedev Actions
9059 Klever Bug New High Absence of log files can result to job error Evgeny Novikov Ilja Zakharov Actions
9058 Klever Bug New High Exceptions if there are problems with connection to cloud Pavel Andrianov Evgeny Novikov Actions
9032 Requality Bug New Normal Окно Merge - неполное выделение на узле Viktoria Kopach Actions
9005 Klever Bug New Normal Controller does not support directories with spaces Evgeny Novikov Actions
8995 Requality Feature New Normal Продолжать отображать свойства узла в Properties view при открытии окна сравнения версий Viktoria Kopach Actions
8988 Requality Bug New Normal Вкладка просмотра отчетов меняет свое положение среди других вкладок dj встроенном браузере Eclipse Viktoria Kopach Actions
8982 Verilog Translator Task New Normal "for" loop unrolling Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8965 Klever Bug New High Get unknown error when openning page after droping database Evgeny Novikov Vladimir Gratinskiy Actions
8954 Requality Feature New Normal Переход по межпроектным ссылкам для всех видов отчетов (где есть ссылки) Viktoria Kopach Actions
8953 Requality Feature New Normal Обработка missing-фрагментов в Outline Viktoria Kopach Actions
(901-950/2055) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF