Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5063 Requality Feature New Normal Добавить в Properties view отчета краткое описание выбранного шаблона Viktoria Kopach Actions
5057 Retrascope IDE Bug New Normal [tool][configurator] Для низкоуровнего конфигуратора Arguments не нужно выдавать --arguments Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5053 Requality Task New Normal Нужно добавить механизмы исправления ошибок(в том числе - с проблемными Location) Denis Kildishev Actions
5051 Requality Feature New Normal Сделать механизм для объединения документов в один Denis Kildishev Actions
5027 Retrascope Task New Normal Абстракция EFSM-моделей Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
5021 Requality Feature New Normal Сделать очевиднее выделение узла в UniEditor Viktoria Kopach Actions
5017 Requality Bug New Normal Ошибка при Undo удаления требования с фрагментом Viktoria Kopach Actions
5015 Requality Feature New Low Расширить возможности Iterator<TreeNode> Denis Kildishev Actions
5012 Linux Driver Verification Bug New Normal CIL adds const for the function parameter which is changed Vadim Mutilin Actions
4969 C++TESK Testing ToolKit Task New Normal [core] Работа инструмента с timeout=0 Alexander Kamkin Mikhail Chupilko C++TESK Testing ToolKit - 1.0 Actions
4968 C++TESK Testing ToolKit Task New Normal [docs] Описание выдаваемых инструментом сообщений Alexander Kamkin Mikhail Chupilko C++TESK Testing ToolKit - 1.0 Actions
4962 Retrascope Task New Normal Реализация утилиты Veritool с помощью средств Retrascope Alexander Kamkin Alexander Kamkin Retrascope - 2.0 Actions
4961 Retrascope IDE Task New Normal [tool][configurator] Конструктор инструментальных цепочек Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
4956 C++TESK Testing ToolKit Bug New Normal [log] Сообщение при удалении реакции по тайм-ауту Alexander Kamkin Mikhail Chupilko C++TESK Testing ToolKit - 1.0 Actions
4955 C++TESK Testing ToolKit Task New Normal [lang][core] Способы работы с типами данных uint128_t, uint256_t и т.д. Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.0 Actions
4948 Requality Bug New Normal Mozilla Firefox 24 и Eclipse 4.4 - не получается работать с фрагментами документа Viktoria Kopach Actions
4938 Requality Bug New Normal Сделать пункт "Copy" в контекстном меню в редакторе документа Viktoria Kopach Actions
4936 Requality Feature Open Low Добавить предупреждения о неправильной версии eclipse\отсутствии engine'ов Denis Kildishev Actions
4932 C++TESK Testing ToolKit Task Resolved Normal [lang][log] Переопределение вывода полей сообщений Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.0 Actions
4931 Requality Bug New Normal Fields text has been skipped on word document import Denis Filatov Denis Kildishev Actions
4930 Requality Feature New Normal Копирование выделенного текста из фрагмента требования Denis Kildishev Actions
4892 Retrascope Task New Low Анализ набора блок-схем на взаимные блокировки Alexander Kamkin Mikhail Lebedev Retrascope - 2.0 Actions
4891 Retrascope Task New Low Реализация генератора тестов по набору блок-схем Alexander Kamkin Alexander Kamkin Retrascope - 2.0 Actions
4890 Retrascope Task New Low Разработка и реализация метода RTL-в-TLM абстракции блок-схем Alexander Kamkin Alexander Kamkin Retrascope - 2.0 Actions
4889 Retrascope Task New Low Генерация заготовки эталонной модели по набору блок-схем (flowchart) Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
4888 Retrascope Task New Low Генератор заготовки тестовой системы по ее описанию Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
4887 Retrascope Task New Low Разработка внутреннего представления тестовой системы Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
4884 Retrascope IDE Task New Normal [flowchart][visualizator][zest] Визуализация блок-схем Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
4882 Retrascope Task New Low Разработка принтеров блок-схем в графические форматы Alexander Kamkin Alexander Protsenko Retrascope - 2.0 Actions
4881 Retrascope Task New Low Реализация алгоритма построения блок-схем по внутреннему представлению Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
4880 Retrascope Task New Low Проектирование внутреннего представления для блок-схем Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
4869 Requality Task New Normal Заменить где возможно Open<ClassName>Editor Denis Kildishev Denis Kildishev Actions
4805 TestBase Task New Normal Top-level test situations of instructions Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
4804 TestBase Task New Normal Manual description of test situations in Java and XML Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
4798 Linux Driver Verification Bug New Normal Duplicated global temps for array of structures initialization Vadim Mutilin Actions
4789 C Instrumentation Framework Bug Open High Missing extern declarations for the arrays Vadim Mutilin Evgeny Novikov Actions
4778 TestBase Task Open Urgent Low-level interface for adding test situations (named constraints) Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
4713 Fortress Task New High SMT-LIB structures Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
4711 C Instrumentation Framework Bug Open High Aspectator doesn't traverse conditional expressions well Evgeny Novikov Evgeny Novikov Actions
4706 Linux Driver Verification Bug Resolved Normal Unsupported error traces for the new version of CPAchecker (rev. 10561) Vadim Mutilin Vitaly Mordan Actions
4675 Fortress Task New Normal Манипуляция с функциями алгебры логики Alexander Kamkin Alexander Kamkin Fortress - 0.4 Actions
4674 TestBase Task New Normal Тестовые ситуации Sergey Smolov Artem Kotsynyak TestBase - 0.0 Actions
4638 Linux Kernel Safety RuleDB Feature New Normal 040: Urb initialization Vadim Mutilin Actions
4637 Linux Kernel Safety RuleDB Feature New Normal 027: Request queues init/cleanup Vadim Mutilin Actions
4636 Linux Kernel Safety RuleDB Feature New Normal 026: Gendisk alloc,del,add,put Vadim Mutilin Actions
4635 Local Support Project Bug Resolved Normal Cannot connect to repo using https Andrey Tsyvarev Actions
4632 Local Support Project Feature Resolved High Доступ на запись к git репозиториям LDV Alexey Khoroshilov Actions
4631 Linux Driver Verification Bug Open High QA doesn't have swap account Evgeny Novikov Evgeny Novikov Actions
4627 Requality Bug New Normal Очень большое поле Alternative Description Viktoria Kopach Actions
4624 Local Support Project Task Resolved Normal Не обновляется информация о коммитах Alexey Demakov Alexey Demakov Actions
(1451-1500/1960) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF