Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9710 C Instrumentation Framework Bug New High Problem with converting of type specifiers Ilya Shchepetkov Evgeny Novikov Actions
9709 Deductive Verification Tools for Linux Kernel Bug New Normal astraver: support calls annotation Denis Efremov Mikhail Mandrykin Actions
9708 Deductive Verification Tools for Linux Kernel Bug New Normal astraver: attach#global: called on already dead object Denis Efremov Mikhail Mandrykin Actions
9707 Requality Bug Resolved Normal Unhandled event loop exception и некорректное окно поиска при вызове поиска на корневом узле Viktoria Kopach Requality - 1.1 (development) Actions
9706 Requality Bug Resolved Normal Не возникает диалог для выбора проекта при выборе By projects в настройках отчета о покрытии Viktoria Kopach Requality - 1.1 (development) Actions
9703 Klever Feature New High Update to BenchExec 1.19 Evgeny Novikov Actions
9702 Requality Feature Resolved Normal Repository->Switch to older version Alexey Khoroshilov Requality - 1.1 (development) Actions
9696 Klever Bug New Urgent Klever deployment script removes build bases Ilja Zakharov Evgeny Novikov Actions
9695 Requality Bug Resolved Normal Сохранение отключения version control в репозиторий подменяет комментарий к последней сохраненной версии Viktoria Kopach Requality - 1.1 (development) Actions
9694 Klever Feature New Urgent Initiate discussion on results for Juilet test suite with its developers Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9693 Klever Feature Resolved Urgent Develop a new algorithm for generating fragments for Juilet test cases Evgeny Novikov Ilja Zakharov Klever - 3.0 Actions
9692 Klever Feature Open Urgent Investigate whether Juliet license permits to include test cases into Klever preset validation job Evgeny Novikov Anton Vasilyev Klever - 3.0 Actions
9691 Klever Feature New Urgent Integrate Juliet test suite as one more validation job Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9690 Requality Bug Verified Normal Исчезает неактивная галочка в настройках Version Control Viktoria Kopach Requality - 1.1 (development) Actions
9687 Requality Feature New Normal Repository: При невозможности подгрузить историю выдавать соответствующее уведомление на вкладке History Viktoria Kopach Actions
9685 Requality Bug Resolved Normal В двух разных воркспейсах разная history у одного проекта Viktoria Kopach Requality - 1.1 (development) Actions
9682 Requality Bug Resolved Normal Проблемы с созданием нового проекта Viktoria Kopach Requality - 1.1 (development) Actions
9678 Requality Bug New Normal Не ожидаемое перескакивание фокуса на предыдущий узел при изменении Id Viktoria Kopach Actions
9674 Requality Bug Resolved Normal Repository: При втором publish возникает ошибка Viktoria Kopach Requality - 1.1 (development) Actions
9670 Retrascope MC Benchmark Task New Normal add 'ar.v' module to the test suite when SVA support will be implemented Sergey Smolov Sergey Smolov Actions
9669 Deductive Verification Tools for Linux Kernel Bug New Normal verker: make sprove-proved, make verify-proved hungs Denis Efremov Mikhail Mandrykin Actions
9666 Requality Bug Verified Normal Repository: При использовании local only другие новые узлы тоже не попадают в репозиторий Viktoria Kopach Requality - 1.1 (development) Actions
9665 Requality Feature New Normal GIT: сделать дружелюбную обработку некорректного ввода логина/пароля при подключении к GIT Viktoria Kopach Actions
9661 Requality Bug Resolved Normal Versioning is enabled on project and version plugin is not installed Viktoria Kopach Requality - 1.1 (development) Actions
9660 Requality Bug Verified Normal Repository: после первого сохранения с репозиторий версия становится 0* Viktoria Kopach Requality - 1.1 (development) Actions
(1-25/1585) Per page: 25, 50, 100

Also available in: Atom CSV PDF