Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
10803 Requality Bug Verified Normal Ломается интерфейс после генерации отчета о проверке правил оформления Viktoria Kopach Requality - 1.3 (development) 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 Urgent 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
10781 Requality Bug Verified Normal Отчет "Проверка правил оформления": не работают ссылки из оглавления при включенном SeqID Viktoria Kopach Requality - 1.3 (development) Actions
10779 Requality Bug New Normal Пустые папки в импортированном отчете о покрытии Viktoria Kopach Actions
10778 Requality Feature New Normal Указывать название проекта при привязывании теста к узлу Viktoria Kopach Actions
10777 Klever Bug New High Unescape HTML special characters when editing mark descriptions Evgeny Novikov Vladimir Gratinskiy Klever - 3.2 Actions
10776 Klever Bug New High PM runtime model doesn't set runtime_status field Ilja Zakharov Ilja Zakharov Actions
10775 Requality Bug New Normal Открытое окно настроек отчета не блокирует работу в перспективе Requality Viktoria Kopach Actions
10772 Requality Bug New Normal Отчет "Чтение требований": отсутствуют SeqID в отчете по смежному проекту Viktoria Kopach Actions
10771 Klever Bug New High Fix support for module_platform_driver_probe() Evgeny Novikov Ilja Zakharov Actions
10770 Requality Bug Verified Normal Настройки отчета "Чтение требований": атрибуты ID и ForeignID Viktoria Kopach Requality - 1.3 (development) Actions
10769 Requality Bug New Normal Не срабатывают синонимы атрибутов при использовании в значении другого атрибута Viktoria Kopach Actions
10768 Klever Feature New High Keep important data on volumes within OpenStack cloud Evgeny Novikov Ilya Shchepetkov Klever - 3.2 Actions
10767 Klever Feature New High Allow to resize instances Evgeny Novikov Ilya Shchepetkov Klever - 3.2 Actions
10766 Requality Bug New Normal Некорректный текст уведомления при создании папки с повторяющимся именем Viktoria Kopach Actions
10765 Requality Bug New Normal Некорректный результат переноса фрагмента с картинкой при Update Document Viktoria Kopach Actions
10764 MicroTESK Task New Normal Поддержка алтернативного формата вывода SMT-LIB представления машинного кода Pavel Putro Artem Kotsynyak Actions
10762 Requality Feature New Normal Добавить ссылку на исходное требования клонам Denis Kildishev Actions
10761 Requality Bug New Normal Подвисает синхронизация между Requality Explorer, Outline и ModuleEditor/Unieditor/Review Viktoria Kopach Actions
10760 Requality Bug New Normal Порядок узлf-комментария в UniEditor и Review не совпадает с Requality Explorer и Outline Viktoria Kopach Actions
10759 Klever Feature New Urgent Support describing various classes of interaction scenarios within different environment models Evgeny Novikov Ilja Zakharov Klever - 3.2 Actions
10758 Klever Bug New High Aspect for checking memory safety refers ldv_nonzero_alloc() without definition Evgeny Novikov Actions
10757 Requality Bug Resolved Normal Ошибка org.eclipse.core.internal.resources.ResourceException: Marker id 910 not found Viktoria Kopach Requality - 1.3 (development) Actions
10756 Requality Bug Verified Normal Ошибка, если в свойствах узла есть фигурные скобки Viktoria Kopach Requality - 1.3 (development) Actions
10754 Klever Feature New Urgent Update CPAchecker (SMG) Evgeny Novikov Anton Vasilyev Klever - 3.2 Actions
10753 Klever Feature New High Allow to show/hide comments of particular levels Evgeny Novikov Vladimir Gratinskiy Klever - 3.2 Actions
10752 Klever Feature New High Add shortcut/button to open eyes Evgeny Novikov Vladimir Gratinskiy Klever - 3.2 Actions
10747 MicroTESK Bug New Normal Переопределение define_section_text (в соответствии с microtesk-2.5-user-guide-ru) Alexander Protsenko Alexander Kamkin MicroTESK - 2.5 Actions
10745 Klever Feature New High Unclear EMG error messages Pavel Andrianov Ilja Zakharov Actions
10739 Requality Bug New Normal Одинаковая нумерация соседних узлов в ModuleEditor Viktoria Kopach Actions
10738 Requality Bug Verified Normal Ошибка при удалении второго документа Viktoria Kopach Requality - 1.3 (development) Actions
10736 Requality Bug Verified Normal При удалении документа он не закрывается в редакторе Viktoria Kopach Requality - 1.3 (development) Actions
10734 Requality Bug New Normal После установки шаблона для узлов создание обязательного атрибута дает ошибку в Error log Viktoria Kopach Actions
10733 Requality Bug New Normal При первой установке в Mandatory Attributes атрибута типа INT значение иногда само меняется на 0 Viktoria Kopach Actions
10731 Requality Bug New Normal Ссылка _location подгружается в настройках проекта Viktoria Kopach Actions
10730 Requality Task New Normal Рефакторинг механики создания узлов Denis Kildishev Requality - 1.4 (development) Actions
10729 Requality Bug New Normal Не закрывается вкладка документа Viktoria Kopach Actions
10728 Requality Bug Verified Normal Не сохраняется изменение настроек "Full name mode" и "Show descrition on elements" в проекте Viktoria Kopach Requality - 1.3 (development) Actions
10727 Requality Bug Verified Normal Некорректный порядок требований при сортировке "By Index" Viktoria Kopach Requality - 1.3 (development) Actions
10726 Requality Bug New Normal Перестают срабатывать клики по задачам в Update Processor tasks Viktoria Kopach Actions
10725 Requality Bug Verified Normal Некорректно отображается имя обратной ссылки в настройках проекта, если оно не совпадает с именем прямой ссылки Viktoria Kopach Requality - 1.3 (development) Actions
10723 Requality Bug Verified Normal Не сохраняется настройка имени для обратной ссылки Viktoria Kopach Requality - 1.3 (development) Actions
10721 MicroTESK Task Open Normal Отделение запуска тестов на QEMU в семействе инструментов MicroTESK в специальный класс Alexander Protsenko Sergey Smolov MicroTESK - 2.5 Actions
10720 Requality Bug Verified Normal Не появляются задачи в Update Processor tasks после второго Update Document Viktoria Kopach Requality - 1.3 (development) Actions
10719 Requality Bug Verified Normal Отчет "Сравнение версий": не все пункты оглавления срабатывают после нажатия "Hide unchanged" Viktoria Kopach Радек Мария Requality - 1.3 (development) Actions
10718 Requality Feature New Normal Об указании названия шаблона отчета в окне настроек отчета Viktoria Kopach Actions
10717 Requality Bug New Normal В Module Editor и UniEditor при двойном клике пропадает картинка Viktoria Kopach Actions
10715 MicroTESK Task New Normal Подготовка данных для внутренних регистров Alexander Protsenko Alexander Kamkin MicroTESK - 2.5 Actions
10709 Requality Bug Verified Normal При добавлении теста приходится дополнительно указывать целевой узел, если имя узла имеет пробелы Viktoria Kopach Requality - 1.3 (development) Actions
10707 Klever Feature New High Forbid incompatible request to Bridge through CLI Evgeny Novikov Vladimir Gratinskiy Actions
10705 Requality Bug New Normal Неактивное меню при выделении фрагмента Viktoria Kopach Actions
10702 Requality Bug Verified Normal Exception при двойном клике по задаче в Update Processor Tasks Viktoria Kopach Requality - 1.3 (development) Actions
10701 Requality Bug Verified Normal При импорте папки с документом этот документ сразу не открывается Viktoria Kopach Requality - 1.3 (development) Actions
10699 Requality Bug Verified Normal После настраивания отчета Сравнение версий меняется название главного окна Eclipse Viktoria Kopach Requality - 1.3 (development) Actions
10698 MicroTESK Bug New Normal ArgumentError: wrong number of arguments calling `target` (2 for 0) Alexander Protsenko Alexander Kamkin MicroTESK - 2.5 Actions
10697 MicroTESK Bug New Normal java.lang.TypeNotPresentException: Type ru.ispras.microtesk.model.plasma.mmu.sim.Model not present Alexander Protsenko Alexander Kamkin MicroTESK - 2.5 Actions
10696 MicroTESK Bug New Normal Error: Failed to load custom data generators for plasma. Alexander Protsenko Alexander Kamkin MicroTESK - 2.5 Actions
10695 Klever Feature New High Add OpenSUSE support Ilya Shchepetkov Actions
10691 Klever Bug New High Fix uploading large job archives Evgeny Novikov Vladimir Gratinskiy Klever - 3.2 Actions
10687 Requality Feature New Normal Таблица атрибутов: непомещающийся текст обозначать многоточием Viktoria Kopach Actions
10685 C Instrumentation Framework Feature New Normal Test cross CIF on ARM Evgeny Novikov Actions
10684 Klever Feature New High References to sources sometimes are shown under the border of sources area. Pavel Andrianov Vladimir Gratinskiy Actions
10683 Requality Feature Verified Normal Выводить предупреждении о совпадении идентификаторов при первичной установке SeqID Viktoria Kopach Requality - 1.3 (development) Actions
10681 Klever Feature New High Support developer installation of CPAchecker Evgeny Novikov Actions
10678 Requality Bug Verified Normal Не меняется имя атрибутов SeqID при изменении его в настройках проекта Viktoria Kopach Requality - 1.3 (development) Actions
10676 MicroTESK Task New Normal Реализовать метод для получения размера операции в nml спецификации Alexander Protsenko Alexander Kamkin MicroTESK - 2.5 Actions
10668 Requality Bug Verified Normal Не генерируются отчеты для смежных проектов Viktoria Kopach Requality - 1.3 (development) Actions
10667 Requality Bug New Normal Межпроектные термины не отображаются в Links Explorer Viktoria Kopach Actions
10666 Requality Bug Verified Normal Не сразу появляются в Requality Explorer новые созданные требования Viktoria Kopach Requality - 1.3 (development) Actions
10665 Requality Bug New Normal Долгий процесс "Edit attributes" и подвисание при редактировании атрибутов def-term Viktoria Kopach Actions
10664 Requality Feature Verified Normal Косметические правки для настроек "Open settings" в узле настроек отчета "Анализ покрытия требований" Viktoria Kopach Requality - 1.3 (development) Actions
10663 Klever Feature New High Fix Bridge tests Evgeny Novikov Vladimir Gratinskiy Actions
10662 Requality Bug New Normal Значок ошибки на требовании после генерации отчета "Анализ покрытия требований" Viktoria Kopach Actions
10661 Requality Bug New Normal К узлу типа ErrorNode можно добавить любой вид узлов Denis Kildishev Actions
10660 Requality Bug Verified Normal В отчете "Анализ покрытия требованиями" частично покрытые требования учитываются как покрытые Viktoria Kopach Requality - 1.3 (development) Actions
10657 MicroTESK Bug New Normal Некорректная диагностика: вывод имени файла при указании строк для ошибки Alexander Protsenko Alexander Kamkin MicroTESK - 2.5 Actions
10656 Requality Bug Verified Normal Некорректный порядок ForeignID при копировании узла с потомками Viktoria Kopach Requality - 1.3 (development) Actions
10654 Requality Bug New Normal Не открывается тест при клике в отчете о покрытии byProjects Viktoria Kopach Actions
10653 MicroTESK Bug New Normal MicroTESK mode: IsaPrimitive cannot be converted Alexander Protsenko Alexander Kamkin MicroTESK - 2.5 Actions
10652 Requality Bug Verified Normal Не экспортируется отчет из проекта, имя которого содержит пробел Viktoria Kopach Requality - 1.3 (development) Actions
10651 Requality Bug Verified Normal Возможно вызвать диалоговое окно удаления фрагмента на неразмеченном тексте Viktoria Kopach Requality - 1.3 (development) Actions
10650 Requality Bug Verified Normal Ошибка при клике в Update Processor Tasks Viktoria Kopach Requality - 1.3 (development) Actions
10649 MicroTESK Bug Resolved Normal (let) java.lang.NullPointerException: null Alexander Protsenko Alexander Kamkin MicroTESK - 2.5 Actions
10648 Klever Bug New Normal Useless double assignment in EMG Pavel Andrianov Ilja Zakharov Actions
10646 MicroTESK Documentation Task New Normal MicroTESK Documentation: дополнить описание конструкции mode Alexander Protsenko Alexander Kamkin Actions
10645 MicroTESK Documentation Task New Normal MicroTESK Documentation: добавить ключевое слово assert Alexander Protsenko Actions
10644 MicroTESK Documentation Task New Normal MicroTESK Documentation: добавить ключевое слово alias Alexander Protsenko Actions
10643 MicroTESK Bug Resolved Normal Некорректная диагностика: java.lang.IllegalArgumentException: null Alexander Protsenko Alexander Kamkin MicroTESK - 2.5 Actions
10642 Requality Bug Verified Normal Не отображается имя ссылки, которая после удаления узла стала missing Viktoria Kopach Requality - 1.3 (development) Actions
10641 Requality Bug Verified Normal Ошибка при выделении неразмеченного куска текста и нажатии Delete Viktoria Kopach Requality - 1.3 (development) Actions
(1-100/1583) Per page: 25, 50, 100

Also available in: Atom CSV PDF