Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10832 MicroTESK Bug New Normal Parser allows bit vector extraction of array types Alexander Protsenko Artem Kotsynyak MicroTESK - 2.5 Actions
10831 Requality Task New Normal Доработка системы хранения данных git Denis Kildishev Requality - 1.4 (development) Actions
10830 Requality Bug New Normal Доработка выделения текущего коммита в окне версий Denis Kildishev Requality - 1.4 (development) Actions
10829 Klever Feature New High Implement new access scheme Evgeny Novikov Vladimir Gratinskiy Klever - 3.2 Actions
10828 Klever Feature New High Suggest new access scheme Evgeny Novikov Ilya Shchepetkov Klever - 3.2 Actions
10827 Klever Feature New High Describe entities and actions on them Evgeny Novikov Vladimir Gratinskiy Klever - 3.2 Actions
10826 Klever Bug New High Klever uploads witnesses very slow Pavel Andrianov Evgeny Novikov Klever - 3.2 Actions
10825 Requality Bug New Normal Сдвиг при переходе по ссылке в отчете о сравнении версий Viktoria Kopach Actions
10824 Klever Bug Resolved Urgent Producer can not get the status of solving job Pavel Andrianov Vladimir Gratinskiy Klever - 3.2 Actions
10820 Klever Feature New High Show code coverage status for locations where a given entity is referenced Evgeny Novikov Vladimir Gratinskiy Actions
10819 MicroTESK for PowerPC Bug New Normal Trace Matcher crashes on QEMU4V empty trace Sergey Smolov Sergey Smolov Actions
10814 Requality Bug New Normal Проблема с установкой фокуса в строке фильтров на вкладке History Viktoria Kopach Actions
10805 Klever Feature New High Suggest to save non-saved file and proceed Evgeny Novikov Vladimir Gratinskiy Actions
10804 Klever Feature New High Try to disable guessing allocated memory size Evgeny Novikov Anton Vasilyev Klever - 3.2 Actions
10802 Requality Feature New Normal Отчет Проверка правил оформления: правки Viktoria Kopach Actions
10801 Klever Feature New High Support incomplete tuples of attributes for comparing verification reports Evgeny Novikov Vladimir Gratinskiy Actions
10794 Klever Feature Feedback Urgent Add notes from CPAchecker SMG to code coverage Evgeny Novikov Evgeny Novikov Klever - 3.2 Actions
10793 Klever Bug New High Do not recreate users when updating Bridge Evgeny Novikov Evgeny Novikov Klever - 3.2 Actions
10790 Requality Bug New Normal Отчет "Проверка правил оформления": некорректно срабатывает переход по пункту Содержания с совпадающим именем Viktoria Kopach Actions
10789 Requality Bug New Normal Не срабатывает проверка правила Viktoria Kopach Actions
10786 Klever Feature New Urgent Describe analysis of code coverage Evgeny Novikov Evgeny Novikov Klever - 3.2 Actions
10784 Klever Bug New High Klever fails with "identifier: Ensure this field has no more than 255 characters." Pavel Andrianov Vladimir Gratinskiy Klever - 3.2 Actions
10783 Requality Bug New Normal Отчет "Анализ покрытия требований" учитывает текстовые узлы Viktoria Kopach Requality - 1.4 (development) Actions
10779 Requality Bug New Normal Пустые папки в импортированном отчете о покрытии Viktoria Kopach Actions
10778 Requality Feature New Normal Указывать название проекта при привязывании теста к узлу Viktoria Kopach Actions
(1-25/1539) Per page: 25, 50, 100

Also available in: Atom CSV PDF