Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
8111 Klever Feature New High Wrap model comments over several lines automatically Evgeny Novikov Vladimir Gratinskiy Actions
8104 Klever Feature New High When marked reports are compared it is unclear whether marks and their similarities are the same Evgeny Novikov Vladimir Gratinskiy Actions
8103 Klever Feature New High Remember open verification jobs at job tree page Evgeny Novikov Vladimir Gratinskiy Actions
8102 Klever Feature New High Add an ability to specify or/and to change compared verification jobs order Evgeny Novikov Vladimir Gratinskiy Actions
8100 Klever Feature New High Add support for verification back-ends hot-plug Evgeny Novikov Actions
8092 Klever Feature New High Support lightweight verificaiton for rules checking API usage Evgeny Novikov Actions
8089 Klever Bug New High Canceling of tasks doesn't work with VerifierCloud Evgeny Novikov Actions
8088 Klever Bug New High Merge configurations properly Evgeny Novikov Ilja Zakharov Actions
8082 Klever Feature New High Forbid unknown verdicts and empty tags for false positives Evgeny Novikov Vladimir Gratinskiy Actions
8081 Klever Feature New High Report interfaces for which environment models were not generated Evgeny Novikov Ilja Zakharov Actions
8076 Klever Bug New Normal Improve model for ieee80211_alloc_hw Ilja Zakharov Ilja Zakharov Actions
8075 Klever Bug New Normal Improve file_operations specification Ilja Zakharov Ilja Zakharov Actions
8074 Klever Bug New Normal Improve model for alloc_netdev Ilja Zakharov Ilja Zakharov Actions
8073 Klever Bug New High Improve usb_serial_driver specification Ilja Zakharov Ilja Zakharov Actions
8072 Klever Feature New High Environment model should correctly use device identifiers Ilja Zakharov Ilja Zakharov Actions
8071 Klever Bug New High Develop specification for platform_driver_register Ilja Zakharov Ilja Zakharov Actions
8070 Klever Bug New High Develop model for usb_class_driver Ilja Zakharov Ilja Zakharov Actions
8069 Klever Bug New High Improve specification for i2c_driver Ilja Zakharov Ilja Zakharov Actions
8060 MicroTESK Bug New Normal Attributes image and syntax and static instances Andrei Tatarnikov Artem Kotsynyak MicroTESK - 2.6 Actions
8059 Requality Bug New Normal Не сохраняется изменение типа сортировки узлов проекта Viktoria Kopach Actions
8058 Requality Bug New Normal Не сразу случается undo имени папки Viktoria Kopach Actions
8057 Requality Feature New Normal У папок отображается name или id? Viktoria Kopach Actions
8052 Klever Bug New Normal Missed return value of usb_serial_driver->open Pavel Andrianov Ilja Zakharov Actions
8049 Klever Bug New High Take into account that directories with external modules can be specified via absolute paths Evgeny Novikov Actions
8045 Klever Bug New High EMG should invoke post_probe() when probe callback is not called Evgeny Novikov Ilja Zakharov Actions
8032 Klever Feature New Normal New version of EMG does not call callbacks from arrays of structures Ilja Zakharov Ilja Zakharov Actions
8031 Deductive Verification Tools for Linux Kernel Bug New Normal Why3IDE не запускается из-за неверной темы Eugene Kornykhin Actions
8027 Requality Feature New Normal В Requality Explorer нужно меню для переименования папок отчетов Viktoria Kopach Actions
8026 Requality Bug New Normal У папок отчетов есть Properties view, соответствующее требованию Viktoria Kopach Actions
8025 Requality Bug New Normal Ошибка при запуске генерации отчета из командной строки - NoClassDefFoundError Viktoria Kopach Actions
8024 Requality Bug New Normal Генерируется с ошибкой отчет Test Purposes Coverage при наличии тестовых ситуаций Viktoria Kopach Actions
8019 Requality Bug New Normal Фрагменты становятся orphan при переименовании папки документов Viktoria Kopach Actions
8017 Klever Feature New Normal Add an option for users to see tag sets rather than tag maps Evgeny Novikov Vladimir Gratinskiy Actions
8012 Klever Bug New High Fix tty_driver allocation/deallocation kernel model Alexey Khoroshilov Actions
8009 Klever Feature New High Model for module_param() Anton Vasilyev Ilja Zakharov Actions
8004 Klever Bug New High Extension of linux:arch:io rule specification Alexey Khoroshilov Evgeny Novikov Actions
7988 Klever Feature New Normal Automatic editing of mark patterns Ilja Zakharov Vladimir Gratinskiy Actions
7986 Klever Bug New Normal Support "initialization" via OF_DECLARE Alexey Khoroshilov Actions
7981 1-Click Eclipse Text Editor Feature New Normal Игнорировать код и returns в грамматике Denis Buzdalov Actions
7980 1-Click Eclipse Text Editor Bug New Normal Если в грамматике есть alias, meragrammar генерируется неправильно Denis Buzdalov Actions
7979 Klever Feature New High Implement a EMG translator for simplified environment model with signal exchange Ilja Zakharov Ilja Zakharov Actions
7975 Klever Bug New High For experts incorrect accesses are shown at the jobs tree page Evgeny Novikov Vladimir Gratinskiy Actions
7964 Klever Feature New High Do not cause memory issues detection in generated environment models Evgeny Novikov Ilja Zakharov Actions
7959 Requality Bug New Normal В списке типов List есть ENUM_DEFINITION Denis Kildishev Actions
7958 Linux Kernel Safety RuleDB Task New Normal Never directly free @dev after calling device_add function Vadim Mutilin Actions
7951 Requality Bug New Normal Виртуальный узел в Requality Explorer помечается значком v как клон Viktoria Kopach Actions
7948 Klever Bug New High linux:alloc: misleading comment Vadim Mutilin Actions
7946 Klever Bug New High linux:kernel:sched:completion: Misleading comment Vadim Mutilin Actions
7945 Requality Bug New Normal Некорректное копирование клонов Viktoria Kopach Actions
7944 Requality Bug New Normal Некорректное перетаскивание клонов Viktoria Kopach Actions
7943 Klever Bug New High linux:usb:urb allocated memory with kzalloc Vadim Mutilin Actions
7942 Klever Feature New High Use models of atomic_dec_and_test and atomic_set for all rule specifications Vadim Mutilin Actions
7941 Requality Bug New Normal Некорректная работа при совпадающих идентификаторах при наличии скрытых виртуальных узлов Viktoria Kopach Actions
7940 Klever Bug New High linux:drivers:base:class should support several allocations of different chrdev Vadim Mutilin Actions
7937 Klever Feature New High Develop and use models for get_device/device_add/put_device for all rule specifications Vadim Mutilin Actions
7936 Klever Bug New High Kernel model for dev_set_drvdata is absent or impresize Vadim Mutilin Evgeny Novikov Actions
7933 Klever Feature New High Recheck presence of verifier directory Evgeny Novikov Actions
7930 Klever Feature Feedback High Propose to show all actions of scenarios if it contains at least one note in error trace Ilja Zakharov Actions
7928 Klever Bug New High Rule linux:block:genhd forbids double allocation Ilja Zakharov Actions
7922 Klever Bug New Normal Problem with kernel config in linux:bitops (old 129_1a) rule Vitaly Mordan Actions
7916 Requality Bug New Normal С помощью переиспользования у требования могут быть одновременно ребенок-требование и ребенок-тестовая ситуация. Viktoria Kopach Actions
7915 Klever Feature New Normal Report that entities supplied by users have incorrect formats Evgeny Novikov Vladimir Gratinskiy Actions
7913 Klever Feature New Normal Urb completion callbacks specification required Alexey Khoroshilov Actions
7911 Klever Feature New High Add test cases for linux:kernel:locking:* rule specifications when CONFIG_LOCKDEP is unset Evgeny Novikov Actions
7909 Klever Feature Open High Add model for macro IDR_INIT (rule specification linux:lib:idr) Evgeny Novikov Actions
7889 Requality Bug New Normal По клику на требовании в редакторе выделяется второй по порядку фрагмент Viktoria Kopach Actions
7888 Requality Bug New Normal После Undo удаления фрагмента этот фрагмент не отображается в Outline Viktoria Kopach Actions
7887 Requality Bug New Normal Открытый редактор документа не закрывается после удаления документа Viktoria Kopach Actions
7886 Klever Feature New High Consider trylocking in the same manner for different synchronization primitives Evgeny Novikov Actions
7884 Klever Bug Open Normal Empty page is shown when redirecting to jobs/create/ after signing in Evgeny Novikov Vladimir Gratinskiy Actions
7881 Requality Bug New Normal Если у требования есть тестовая ситуация, то добавление нового текстового узла не сразу отображается в Module Editor Viktoria Kopach Actions
7880 Requality Bug New Normal Один клик на требовании делает вкладку UniEditor или Module Editor активной Viktoria Kopach Actions
7879 Requality Bug New Normal Режим редактирования узла в редакторе выглядит не закрытым при клике на другие узлы Viktoria Kopach Actions
7878 Requality Bug New Normal Не сохраняется текст узла, если в процессе редактирования воспользоваться меню другого узла Viktoria Kopach Actions
7877 Klever Feature New High BenchExec should be used properly Vadim Mutilin Actions
7876 Klever Feature New High Distinguish double lock unlock and unlock of unlocked lock Evgeny Novikov Actions
7875 Requality Bug New Normal Форматирование в тексте фрагмента документа не всегда отображается в требовании Viktoria Kopach Actions
7871 Klever Feature New High Add more tests for rule specifications Evgeny Novikov Evgeny Novikov Actions
7869 Klever Bug New High Add rule specification hook for register_chrdev() Evgeny Novikov Evgeny Novikov Actions
7861 Requality Bug New Normal Не сразу отображаются правильные узлы на правильных местах при изменении id элемента со сменой его положения в дереве Viktoria Kopach Actions
7860 Requality Bug Open Normal У виртуального узла с типом итерации Base element не появляются новые итерируемые "дети" при добавлении детей целевому узлу Viktoria Kopach Actions
7855 Requality Bug New Normal Для text node типа header открывается неправильный редактор Denis Kildishev Actions
7845 Requality Bug New Normal Можно перетащить виртуальный узел на потомка его целевого узла Viktoria Kopach Actions
7839 Requality Bug New Normal В UniEditor и Module Editor отмена удаления узла позволяет приводит к выделению сразу нескольких узлов Viktoria Kopach Actions
7835 Requality Feature New Normal Тестовый вариант веб интерфейса для Requality Denis Kildishev Actions
7828 Requality Feature New Normal В окне визарда массовых операций нужны пояснения. Viktoria Kopach Actions
7818 Verification Tool Supports Bug New Low graph: web: vis.js и viz.js Denis Efremov Denis Efremov Actions
7817 Verification Tool Supports Feature New Low dismember: рефакторинг кода Denis Efremov Denis Efremov Actions
7796 Requality Bug New Normal Не перемещается документ из подпапки в корень Viktoria Kopach Actions
7784 Klever Bug New Normal Can provide negative number of CPU cores Ilja Zakharov Vladimir Gratinskiy Actions
7780 Requality Bug New Normal В Module editor не отображается id у "внуков" узла Requirements Viktoria Kopach Actions
7777 Requality Bug New Normal В Module Editor не завершается редактирование узла Viktoria Kopach Actions
7740 Requality Bug New Normal В Module Editor и UniEditor текст требований, имеющих фрагменты, разбивается переносами, которых не было в тексте Viktoria Kopach Actions
7729 MicroTESK Task New Normal On-demand memory access path exploration (coverage extraction) Alexander Kamkin Alexander Kamkin MicroTESK - 2.6 Actions
7724 Requality Bug New Normal После второго Update в Update Processor Tasks пусто. Viktoria Kopach Actions
7712 Requality Bug New Normal При Update Document возникают ошибки в Error log Viktoria Kopach Actions
7707 Klever Bug New High Several instances of NativeScheduler concurrently decide jobs Evgeny Novikov Ilja Zakharov Actions
7703 Requality Bug New Normal В Module Editor вспомогательные элементы, которые раскрываются между строк, не открываются при одном клике Viktoria Kopach Actions
7693 Requality Bug New Normal После Document Update индексы у новых фрагментов расставляются не по порядку возникновения фрагмента. Viktoria Kopach Actions
7689 Requality Feature New Normal Сортировка по индексам при установленной 'by locations' в свойствах проекта Viktoria Kopach Actions
7678 MicroTESK Task New Low Generation of LLVM configuration files from nML specifications Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.6 Actions
7627 C Instrumentation Framework Feature New Normal SV-COMP compilation issues for clang compiler Vadim Mutilin Actions
7619 Klever Bug New Normal EMG generates incorrect parallel model for sending signals case Pavel Andrianov Ilja Zakharov Actions
7616 Requality Bug New Normal NullPointerException при импорте проекта из архива Alexey Khoroshilov Actions
7603 MicroTESK Bug New Normal List of plug-ins must be stored in etc/settings.xml Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.6 Actions
7600 Requality Task New Normal Разработать selector для массовых операций Denis Kildishev Actions
7598 Requality Task New Normal Добавить новые массовые операции Denis Kildishev Actions
7596 Requality Feature New Normal В настройки отчета о покрытии добавить пункт Coverage By References Viktoria Kopach Actions
7588 Requality Bug New Normal В Module Editor при редактировании верхнего узла панель редактирования заслоняет текст Viktoria Kopach Actions
7582 Requality Bug New Normal При добавлении картинки к элементу она не сразу отображается в редакторе Viktoria Kopach Actions
7581 Requality Feature New Normal Обеспечить возможность добавления картинки в описание элемента путем выбора из файловой системы Viktoria Kopach Actions
7573 Requality Feature New Normal Идея реорганизации интерфейса для выбора процессора Viktoria Kopach Actions
7561 Fortress Task New Normal ISampleConstraint: 'getExpectedVariables' returns value that is ignored in jUnit tests Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
7540 Klever Feature Open High Fix rule specification models after in Linux 4.4 GFP_WAIT was renamed with GFP_RECLAIM Evgeny Novikov Actions
7538 Klever Feature New High Rework memory allocation model Evgeny Novikov Evgeny Novikov Actions
7523 Klever Bug New Normal EMG mixes calls of handlers from different structures Pavel Andrianov Ilja Zakharov Actions
7522 Klever Feature New Normal Rule specification linux:net:sock needs refinement Evgeny Novikov Actions
7516 Klever Feature New Normal Try to generate models for allocation functions automatically Evgeny Novikov Actions
7481 Klever Feature New High Try to use memory allocating function models by default Evgeny Novikov Evgeny Novikov Actions
7472 Klever Bug New Normal EMG may incorrectly match callbacks parameters with several provided labels parameters Ilja Zakharov Ilja Zakharov Actions
7457 Klever Bug New Normal EMG should not use the same lock context for callbacks inside registration Vadim Mutilin Ilja Zakharov Actions
7449 Requality Bug New Normal Update процессор не устанавливает Description для Location Denis Kildishev Actions
7447 Requality Feature New Normal Доработка механизма размещения текстовых узлов при импорте из html Denis Kildishev Actions
7446 Requality Feature New Normal Вызывать для Edit in Libre office wizard Denis Kildishev Actions
7444 Requality Feature New Low Расширение операций со свойствами. Автоподстановка имени, умолчательный тип и значение по имени Denis Kildishev Actions
7442 Requality Bug New Normal При создании Location через Update Processor не устанавливается _description Denis Kildishev Actions
7421 Requality Feature New Low Диалог при импорте результатов редактирования в офисе Alexey Khoroshilov Actions
7417 Requality Feature New Normal Новый интерфейс работы с процессорами документов Viktoria Kopach Actions
7415 Klever Feature New High Add support for vulnerability groups Evgeny Novikov Actions
7407 Requality Feature New Normal Отображать шаблоны по именам Viktoria Kopach Actions
7406 Requality Feature New Normal Обработка документа процессором в соответствии с шаблоном Viktoria Kopach Actions
7401 MicroTESK Bug New Normal int_to_float is not supported for constant expressions Alexander Protsenko Artem Kotsynyak MicroTESK - 2.6 Actions
7389 Requality Feature New Normal В UPT хотелось бы видеть фрагменты или хотя бы их количество. Viktoria Kopach Actions
7387 Requality Feature New Normal В Update Processor Tasks нужна возможность выбора нескольких строк Viktoria Kopach Actions
7382 Requality Bug New Normal При работе с Update Processor Tasks содержимое Properties view не синхронизируется с Requality Explorer Viktoria Kopach Actions
7381 Requality Bug New Normal При Update документа требование отмечается как перенесенное неполностью, если имеет фрагменты в разных документах Viktoria Kopach Actions
7376 Requality Bug New Normal Стабильно зависает Eclipse после выбора проекта для поиска покрывающих тестов Viktoria Kopach Actions
7375 Requality Bug New Normal Большой отступ у текста листовых требований в отчете о покрытии Viktoria Kopach Actions
7372 Requality Bug New Normal Unhandled event loop exception и недоудаление фрагмента Semen Obukhov Actions
7369 Requality Feature New Normal Удаление генератора у атрибута Viktoria Kopach Actions
7365 Klever Bug New High EMG consumes too much memory for quite small module sound/soc/codecs/snd-soc-wm5110.ko Evgeny Novikov Ilja Zakharov Actions
7364 Klever Bug New High Separate specifications for driver 'drivers/hid/hid-logitech-dj.ko' Anton Vasilyev Ilja Zakharov Actions
7363 Requality Feature New Normal Задание target для виртуального узла путем перетаскивания в Requality Explorer Viktoria Kopach Actions
7362 Requality Bug New Normal При редактировании Alternative Description при смене языка курсор перескакивает в начало Viktoria Kopach Actions
7357 Klever Feature New Normal Try to verify modules without debugging and tracing support Evgeny Novikov Actions
7355 Requality Bug New Normal При наличии закрепленного окна незакрепленное окно Properties view постоянно самопроизвольно закрывается. Viktoria Kopach Actions
7348 Requality Bug New Normal При разметке фрагментов исчезает пункт меню "Add to tequirement" Viktoria Kopach Actions
7347 Requality Bug New Normal При разметке документа курсор перескакивает ни новый созданный узел в Requality Explorer, даже при отключенной синхронизации с редактором. Viktoria Kopach Actions
7345 Requality Bug New Normal При "откреплении" окна Properties view закрывается второе, незакрепленное, окно. Viktoria Kopach Actions
7340 Klever Feature New Low Specification for net_device_ops Vadim Mutilin Ilja Zakharov Actions
7336 Klever Feature New Low Specification for struct class Vadim Mutilin Ilja Zakharov Actions
7335 Klever Feature New Low Specification for dvb_frontend_ops Vadim Mutilin Ilja Zakharov Actions
7334 Klever Feature New Low Specification for struct driver_info Vadim Mutilin Ilja Zakharov Actions
7330 Requality Bug New Normal При добавлении документа в проект проект меняет свое место в дереве проектов в Requality Explorer Viktoria Kopach Actions
7329 Requality Bug New Normal Некорректное уведомление при неправильно введенном id Viktoria Kopach Actions
7323 Requality Bug New Normal У шаблона текстового узла нет возможности изменить тип на Requirement Viktoria Kopach Actions
7322 Klever Bug New Normal EMG should not translate all signals to thread_join in parallel model Pavel Andrianov Ilja Zakharov Actions
7315 Local Support Project Feature New Normal Allow developers to reject issues Evgeny Novikov Alexey Demakov Actions
7313 MicroTESK Bug New Normal Analysis for input/output parameters Mikhail Chupilko Alexander Kamkin MicroTESK - 2.6 Actions
7307 Klever Feature New High Support help pages Evgeny Novikov Vladimir Gratinskiy Actions
7293 Klever Bug New Normal EMG assigns pointers to variables on stack to global variables Vadim Mutilin Ilja Zakharov Actions
7288 Requality Feature New Normal В Module Editor дать возможность убирать автонумерацию узлов Viktoria Kopach Actions
7287 Requality Feature New Normal В Module Editor предоставлять возможность сворачивания всех узлов дерева до определенного уровня вложенности Viktoria Kopach Actions
7272 Klever Feature New High Reimplement Multiple Error Analysis method Evgeny Novikov Vitaly Mordan Actions
7261 Requality Bug New Normal Переключение на редактирование комментария в Enum Definition Editor работает без Ctrl Denis Kildishev Actions
7257 Requality Bug New Normal Одинаковые пиктограммы для разных сущностей Viktoria Kopach Actions
7253 Klever Feature New High Shrink verifier (CPAchecker) logs intellectually Vitaly Mordan Actions
7243 Requality Feature New Normal В UniEditor (и др.редакторах) не обновляется раскрывающееся меню при переносе фокуса на другой узел Viktoria Kopach Actions
7235 Requality Feature New Normal У атрибута в поле Generator сделать более информативный текст Viktoria Kopach Actions
7234 Requality Feature New Normal Переводить Focus на вновь созданный sibling элемент Denis Kildishev Actions
7233 Requality Bug New Normal Появление окна Are you sure для диалога выбора Templates Denis Kildishev Actions
7230 Requality Bug New Normal Не работают ссылки на тесты в отчете Viktoria Kopach Actions
7229 MicroTESK Bug New Normal Unsupported assignment to mode Mikhail Chupilko Alexander Kamkin MicroTESK - 2.6 Actions
7221 Requality Bug New Normal Чекеры в 0.22 + ссылки Denis Kildishev Actions
7216 Requality Bug New Normal При Add Existing TTCN test пропадает выделение узла Viktoria Kopach Actions
7215 Requality Bug New Normal Уведомление о совпадении имени у несуществующего атрибута Viktoria Kopach Actions
7211 Requality Bug New Normal После удаления ссылаемого узла в ссылающемся узле остается ссылка Viktoria Kopach Actions
7198 Requality Feature New Normal Опциональный шаг в идентификаторах при создании новых требований Anastasia Tugaenko Actions
7196 Klever Bug New High Fix compiler warnings issued for generated environment models Evgeny Novikov Ilja Zakharov Actions
7194 Requality Feature New Normal Не терять фокус при Ctrl+Shift Anastasia Tugaenko Actions
7189 Klever Feature New Normal Do not show wall time for more than one instance Evgeny Novikov Vladimir Gratinskiy Actions
7179 Requality Feature New Normal Рассмотреть возможность рабочего функионала Go Into в Requality Explorer Anastasia Tugaenko Actions
7174 Klever Feature New High Develop security tests for Bridge Evgeny Novikov Vladimir Gratinskiy Actions
7172 Klever Feature New High Develop tests for Bridge GUI Evgeny Novikov Vladimir Gratinskiy Actions
7144 Klever Bug New Normal EMG generates a declaration with a flexible array member not at end of struct Ilja Zakharov Ilja Zakharov Actions
7138 Klever Bug New Normal Specify environment model specification for usb_composite_driver Ilja Zakharov Ilja Zakharov Actions
7137 Klever Bug New Normal Specify environment model specification for hc_driver Ilja Zakharov Ilja Zakharov Actions
7135 Klever Bug New Normal Specify environment model specification for hsi_client_driver Ilja Zakharov Ilja Zakharov Actions
7134 Klever Bug New Normal Specify environment model specification for virtio_driver Ilja Zakharov Ilja Zakharov Actions
7132 Requality Bug New Normal Неравномерное выделение ENUM-типа в выпадающем списке Type Viktoria Kopach Actions
7122 Klever Feature New High EMG should properly initialize callback parameters so that pm_runtime_suspended() returns proper values Evgeny Novikov Actions
7107 Requality Feature New Normal Выделить промежуточное хранилище для контроля изменений Denis Kildishev Actions
7105 Klever Feature New Normal Users need to know what fields are required for registration Evgeny Novikov Vladimir Gratinskiy Actions
7101 Summer Feature New Normal Добавить метод Contract.assertFalse( boolean ) Alexey Demakov Victor Kuliamin Actions
7084 Requality Bug New Normal У свойства Name в Properties view пропала рамочка Viktoria Kopach Actions
7080 Requality Feature New Normal Поддержка проверки консистентности требований с атрибутами ссылочного типа Anastasia Tugaenko Actions
7062 Requality Feature New Normal Отчет по статистике из еженедельных локальных отчетов Anastasia Tugaenko Actions
7047 Requality Feature New Normal Дополнения к тикету Редактирование атрибутов требования с клавиатуры Viktoria Kopach Actions
7017 Requality Bug New Normal Проблема с выделением виртуального узла в Requality Explorer Viktoria Kopach Actions
6996 Requality Feature New Low Дополнительны возможности представления ModuleEditor Anastasia Tugaenko Actions
6991 Requality Bug New Normal Сочетание клавиш ctrl+e занято Viktoria Kopach Actions
6988 Retrascope IDE Task New Normal [efsm][visualizator][zest] "organic" layout for EFSM models Sergey Smolov Retrascope IDE - 0.1 Actions
6977 Requality Feature New Normal В UniEditor размещать текст строго в границах элемента Viktoria Kopach Actions
6969 Requality Feature New Normal Запретить узлу REFERENCE на самого себя Viktoria Kopach Actions
6964 Requality Feature New Normal Пустое значение REFERENCE Viktoria Kopach Actions
6963 Requality Feature New Low Подсказка имени свойства для выборанного типа свойств Denis Kildishev Actions
6951 Klever Feature New Normal Developing a verification strategy to tackle verification tasks with independent process instances Vadim Mutilin Ilja Zakharov Actions
6945 Requality Feature New Normal Модифицировать интерфейс для настройки параметров отчетов Anastasia Tugaenko Actions
6911 MicroTESK Bug New Normal The "get_address_of" method must work with all label types. Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.6 Actions
6888 Klever Feature New Normal Implicitly specify target architecture for static verifiers Evgeny Novikov Actions
6866 Summer Bug New Normal битовое | между boolean значениями Alexey Demakov Victor Kuliamin Actions
6865 Summer Bug New Normal После реинициализации Guard ссылается на старые объекты Alexey Demakov Victor Kuliamin Actions
6829 C Instrumentation Framework Feature Open High Make CIF to look like GCC Evgeny Novikov Evgeny Novikov Actions
6827 C Instrumentation Framework Feature New High Merge weaving for different entities Evgeny Novikov Evgeny Novikov Actions
6826 C Instrumentation Framework Feature New High Make refactoring of advice body patterns Evgeny Novikov Evgeny Novikov Actions
6825 Klever Feature New Normal Support for containers represented as local variables Vadim Mutilin Actions
6824 Klever Feature New Normal Support for kthread_run in EMG Vadim Mutilin Actions
6823 Requality Feature New Normal Добавить чекер для провеки полей со значениями вида "Будет определено позднее" Anastasia Tugaenko Actions
6821 Klever Feature New Normal E-mail notifications Evgeny Novikov Vladimir Gratinskiy Actions
6817 Requality Bug New Low В настройках отчета Traceability "мигает" reference-name "elaborates" Viktoria Kopach Actions
6806 Klever Feature New Normal Visualize CPAchecker statistics within Bridge Ilja Zakharov Vladimir Gratinskiy Actions
6805 Klever Feature New Normal Compress data sent to network Evgeny Novikov Actions
6804 Klever Feature New Normal Upload CPAchecker statistics in the development mode Ilja Zakharov Actions
6803 Klever Feature New Normal Extract CPAchecker statistics from its log Ilja Zakharov Ilja Zakharov Actions
6802 Klever Bug New Normal Native scheduler does not add host information to task decision report Ilja Zakharov Actions
6801 Klever Feature New Normal Upload and show CPAchecker statistics in development mode Ilja Zakharov Actions
6798 Klever Feature New High Generilize entities representation Evgeny Novikov Vladimir Gratinskiy Actions
6795 Klever Feature New Normal Testing specification compatibility Evgeny Novikov Actions
6768 Klever Feature New Normal Spell checkers support Evgeny Novikov Vladimir Gratinskiy Actions
6767 Klever Feature New Normal Interface should be media projectors safe Evgeny Novikov Vladimir Gratinskiy Actions
6765 Klever Feature New Normal Statistics sorting Evgeny Novikov Vladimir Gratinskiy Actions
6724 Klever Feature New Normal Include deletion of jobs and marks into users last activity Evgeny Novikov Vladimir Gratinskiy Actions
6722 Klever Feature New Normal Jobs/marks last activity Evgeny Novikov Vladimir Gratinskiy Actions
6720 Klever Feature New Normal Database/table character set and collation Evgeny Novikov Vladimir Gratinskiy Actions
6713 Klever Feature New Normal Provide better description why job can not be solved Evgeny Novikov Vladimir Gratinskiy Actions
6709 Klever Bug New Normal Clearly separate errors reported to users and to tools Evgeny Novikov Vladimir Gratinskiy Actions
6708 Klever Feature New Normal Add howto for regular expressions used as patterns and problems for unknowns Evgeny Novikov Vladimir Gratinskiy Actions
6706 Klever Feature New Normal Make problem names as links Evgeny Novikov Vladimir Gratinskiy Actions
6705 Klever Feature New Normal Provide users with restrictions on field values Evgeny Novikov Vladimir Gratinskiy Actions
6703 Klever Feature New Normal Generate several environment models per abstract verification task Ilja Zakharov Ilja Zakharov Actions
6702 Klever Feature New Low Generate restricted environment model Ilja Zakharov Ilja Zakharov Actions
6684 Requality Feature New Normal Запуск checker-ов Anastasia Tugaenko Actions
6683 Requality Feature New Normal Добавить еще два вида checker-ов Anastasia Tugaenko Actions
6678 Klever Feature New Normal Alert when leaving edit pages with changes Evgeny Novikov Vladimir Gratinskiy Actions
6677 Klever Feature New High Dynamically update component pages Evgeny Novikov Vladimir Gratinskiy Actions
6675 Requality Feature New Normal Объединить ВСЕ настройки узла Report Settings в один интерфейс Viktoria Kopach Actions
6673 Klever Feature New Normal Send requests by pressing Enter Evgeny Novikov Vladimir Gratinskiy Actions
6671 Klever Feature New Normal Show information on job tasks at job page Evgeny Novikov Vladimir Gratinskiy Actions
6670 Requality Bug New Normal При работе с svn возникает сообщение об ошибке "process site delta" Viktoria Kopach Actions
6666 Klever Feature New Normal User specific time and date format Evgeny Novikov Vladimir Gratinskiy Actions
6653 Klever Feature New Normal Specify component names as corresponding process names Evgeny Novikov Evgeny Novikov Actions
6652 Klever Feature New Normal JSON with comments Evgeny Novikov Actions
6651 Klever Feature New Normal Proper and useful logs Evgeny Novikov Evgeny Novikov Actions
6650 Klever Feature New Normal Paths to files and directories Evgeny Novikov Evgeny Novikov Actions
6644 Klever Feature New Normal Debug CIF just when debugging Evgeny Novikov Actions
6642 Klever Feature New Normal JetBrains logo Evgeny Novikov Actions
6641 Klever Feature New Normal Ensure that current resource measurment is good enough Evgeny Novikov Actions
6638 Klever Feature New High Always use around advices Evgeny Novikov Evgeny Novikov Actions
6630 Klever Feature New High Implement Docker registry for verifiers and Core Evgeny Novikov Actions
6628 Klever Feature New High Fix model comments Evgeny Novikov Evgeny Novikov Actions
6627 Klever Feature New High Use common way to implement nondetermined behaviour Evgeny Novikov Evgeny Novikov Actions
6626 Klever Feature New High Use the same approach to specify model state and its changes Evgeny Novikov Evgeny Novikov Actions
6620 Klever Bug Open High Incorrect names of directories and files with schedulers and workers implementation Evgeny Novikov Ilja Zakharov Actions
6619 Klever Feature New High Time and memory size representation Evgeny Novikov Actions
6617 Klever Bug New Low Decision size is not checked Evgeny Novikov Actions
6605 Klever Feature New Normal Implement class Config Evgeny Novikov Actions
6603 Klever Bug New Normal Specify proper description of computer where tasks were solved Evgeny Novikov Actions
6602 Klever Feature New High Report more attributes Evgeny Novikov Actions
6587 Klever Feature New High Extract class Session to common libraries Evgeny Novikov Evgeny Novikov Actions
6586 Klever Feature New Normal Compress data sent to network Evgeny Novikov Vladimir Gratinskiy Actions
6585 Klever Feature New Normal Make wrapper around common function find_file_or_dir() as method of components.Component Evgeny Novikov Evgeny Novikov Actions
6583 Klever Bug New Normal Fix long lines and identation Evgeny Novikov Evgeny Novikov Actions
6582 Klever Feature New High Describe Python coding style Evgeny Novikov Evgeny Novikov Actions
6581 Klever Bug New Normal Fix names of variables, functions and configuration attributes Evgeny Novikov Evgeny Novikov Actions
6574 Klever Bug Open Normal Initialize callback parameters by default Ilja Zakharov Ilja Zakharov Actions
6553 Klever Feature New High Extract common functions of schedulers into schedulers common library Ilja Zakharov Ilja Zakharov Actions
6552 Klever Feature New High Implement Cluster Scheduler Ilja Zakharov Ilja Zakharov Actions
6550 Klever Feature New Low Update test generator module for schedulers Ilja Zakharov Actions
6548 C Instrumentation Framework Feature Open High Determine files with type declarations Ilja Zakharov Evgeny Novikov Actions
6547 C Instrumentation Framework Feature Open Low Source code quering to get information on local variables Ilja Zakharov Evgeny Novikov Actions
6546 C Instrumentation Framework Feature Open High GCC replaces boolean conjuction with bit precise analogue Ilja Zakharov Evgeny Novikov Actions
6541 Klever Feature New Low Scheduler exclusive execution check Ilja Zakharov Actions
6529 Requality Bug New Normal Не генерируется значение атрибута после Undo удаления узла Viktoria Kopach Actions
6526 Summer Feature New Normal Добавить Contract.fail(String) Alexey Demakov Actions
6514 Requality Feature New Normal Доработка импорта-экспорт каталога требований в стандартизованный формат Denis Kildishev Actions
6512 Requality Feature New Normal Сделать горячие клавиши для всех пунктов меню New в Requality Explorer Viktoria Kopach Actions
6506 Castle Task Feedback Normal Вопросы по представлению массивов Alexander Kamkin Alexander Kamkin Castle - 0.1 Actions
6505 Castle Task Feedback Normal Вопросы по MetaInfo Alexander Kamkin Alexander Kamkin Castle - 0.1 Actions
6491 Requality Feature New Low Диалог выбора удаляемых элементов Denis Kildishev Actions
6486 C Instrumentation Framework Feature Open High Get rid of auxiliary functions if possible Evgeny Novikov Evgeny Novikov Actions
6482 Requality Bug New Normal В тестовом проекте тесты не привязываются к test purpose Denis Kildishev Actions
6477 Requality Feature New Normal Хранение истории изменений в БД Denis Kildishev Actions
6476 Requality Feature New Normal Пересмотр способа хранения фрагментов требований Denis Kildishev Actions
6475 Requality Bug New Normal Расширение возможностей импорта\экспорта reqif Denis Kildishev Actions
6474 Requality Feature New Normal Изменение представления Reference Denis Kildishev Actions
6473 Requality Feature New Normal Расширение возможносей ссылок Denis Kildishev Actions
6471 Java SoftFloat Task New Normal Получение значений 16 битовых чисел с плавающей точкой Alexander Protsenko Alexander Protsenko Java SoftFloat - 2.0 Actions
6461 MicroTESK Task New Normal Support for inline comments Alexander Kamkin Alexander Kamkin MicroTESK - 2.6 Actions
6449 Retrascope Task New Low testbench generator taking test sequences and mappings as inputs Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
6448 Retrascope Task New Low mapping description language + IR + parser Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
6446 Retrascope Task New Normal Promela translator to CFG representation (no buffers) Sergey Smolov Mikhail Lebedev Retrascope - 2.0 Actions
6437 Requality Bug New Normal При выделении требования без фрагмента открывается UniEditor для другого проекта Anastasia Tugaenko Actions
6421 Requality Bug New Normal Ошибка при закрывании проекта при открытом в браузере документе Anastasia Tugaenko Actions
6419 Requality Feature New Normal Флажок для генерации неповторяющихся значений Viktoria Kopach Actions
6409 Requality Bug New Normal Итерируемые узлы не наследуют ссылку на фрагмент Viktoria Kopach Actions
6406 Requality Bug New Normal Не всегда подставляются и обновляются значения подставляемого атрибута в сгенерированных виртуальным узлом узлах Viktoria Kopach Actions
6402 Requality Bug New Normal Не меняется имя родительского требования в имени фрагмента Viktoria Kopach Actions
6401 Requality Task New Low Выделять id требования в сообщениях UniEditor кавычками Denis Kildishev Actions
6399 Requality Task New Low Объединить 2 действия в одну транзакцию Denis Kildishev Actions
6396 MicroTESK Bug New Normal Handling TAG_REPLACED dependencies Alexander Kamkin Alexander Kamkin MicroTESK - 2.6 Actions
6394 Local Support Project Bug New Normal Проект HDL Retrascope: на 17-дюймовом мониторе не масштабируется таблица Задачи Sergey Smolov Alexey Demakov Actions
6391 Requality Feature New Normal Контекстное меню New: порядок элементов Viktoria Kopach Actions
6390 Requality Bug New Normal Нет undo/redo для работы в окне Update Processor Tasks Viktoria Kopach Actions
6380 MicroTESK Bug New Normal Possibility to specify initial values for registers Andrei Tatarnikov Artem Kotsynyak MicroTESK - 2.6 Actions
6379 MicroTESK Bug New Normal Using if-then-else in syntax causes an error Alexander Kamkin Alexander Kamkin MicroTESK - 2.6 Actions
6356 Linux Driver Verification Bug Open Normal CSD fails with OutOfMemoryError for linux-4.3-rc1 Vadim Mutilin Vadim Mutilin Actions
6347 Requality Task Feedback Normal Косметический ремонт отчета Progress: расстояния между графиками Viktoria Kopach Viktoria Kopach Actions
6345 MicroTESK Task New Normal Support floating-point numbers in trace "". Alexander Protsenko Alexander Kamkin MicroTESK - 2.6 Actions
6340 Requality Bug New Normal При повторном добавлении теста путем создания в тексте теста сохраняется старый комментарий Viktoria Kopach Actions
6329 MicroTESK Bug New Normal java.lang.NullPointerException at ru.ispras.microtesk.mmu.translator.MmuTreeWalkerBase.newAttributeRef(MmuTreeWalkerBase.java:940) Alexander Kamkin Alexander Kamkin MicroTESK - 2.6 Actions
6298 Requality Bug New Normal Случается инкремент в генераторе значения атрибута Viktoria Kopach Actions
6286 Requality Feature New Low Запоминать пути к недавно импортированным документам Anastasia Tugaenko Actions
6285 Requality Bug New Normal При импорте документов с картинками происходит рассинхронизация реальных путей к картинкам и ссылок в документах Anastasia Tugaenko Actions
6284 Requality Feature New Normal Не прокручивать в ReqMarker текст при щелчке в тексте на выделенном требовании Anastasia Tugaenko Actions
6274 Requality Task New Normal Рассмотреть концепцию копирования элементов с зависимыми от других свойствами Denis Kildishev Actions
6272 Requality Bug New Normal При переоткрытии Eclipse иногда в окне документа/отчета/UniEditor бывает ошибка Viktoria Kopach Actions
6264 Requality Feature New Low Функция массового изменения типа свойства Denis Kildishev Actions
6260 Requality Task New Low Добавить наборы стандартных настроек для отчета по статистике Denis Kildishev Actions
6251 Requality Task New Normal Перейти от типа свойств String для настроек к List<String> Denis Kildishev Actions
6236 Requality Feature New Normal Нужна возможность удалять ссылку на тест из требования или тестовой ситуации Viktoria Kopach Actions
6223 MicroTESK Task New Low User-defined template-oriented extensions (plugins) Alexander Kamkin Alexander Kamkin MicroTESK - 2.6 Actions
6220 Requality Bug New Normal Если Requality Links Explorer закрыт, то при создании атрибута типа REFERENCE и открывании данного view отображение связей запазывает Anastasia Tugaenko Actions
6219 Requality Feature New Normal Delete Error Node родительского требования приводит к рассинхронизации Requality Explorer и Oultine Anastasia Tugaenko Actions
6216 Requality Task New Normal Доработка скриптов выпуска версии Denis Kildishev Actions
6209 Requality Feature New Normal Показывать количество выделенных требований после HTML Headers DocumentProcessor Anastasia Tugaenko Actions
6201 Requality Task New Normal Если у корневого требования предикат не выполняется, то создается ссылка на отчет, а отчет не создается Anastasia Tugaenko Actions
6197 Requality Feature New Low При импорте документов не делать кнопку Finish доступной в случае, если не выбран ни один документ Anastasia Tugaenko Actions
6195 Linux Driver Verification Bug New Normal CPAchecker fails to parse '.prepared' files due to double initialization of ldv-generated variable Anton Volkov Ilja Zakharov Actions
6179 Requality Bug New Normal Не сразу отображаются клоны Viktoria Kopach Actions
6173 Requality Feature New Normal Атрибут с генератором BY_FORMULA: плохой текст ошибки при ссылке на атрибут-список без указания индекса Viktoria Kopach Actions
6158 Requality Feature New Normal Доработка механизма обработчиков документов Denis Kildishev Actions
6134 Requality Bug New Normal Отчеты роняют Requality (Ubuntu+Kepler+WebKit) Viktoria Kopach Actions
6133 Requality Bug New Normal Зеленый треугольник в качестве фона в отчете при маленьком размере окна Viktoria Kopach Actions
6065 MicroTESK Task New Low Handling marks with exported symbols in the coverage extractor Alexander Kamkin Artem Kotsynyak MicroTESK - 2.6 Actions
6064 MicroTESK Task New Low Translator support for exporting symbols in marks Alexander Kamkin Artem Kotsynyak MicroTESK - 2.6 Actions
6055 Requality Bug New Normal Не всегда появляется панель для редактирования текста в UniEditor Viktoria Kopach Actions
6048 Requality Bug New Normal Иногда в UniEditor не закрывается и остается висеть окошко для редактирования текста Viktoria Kopach Actions
6033 Requality Task New Normal Доработка build.xml Denis Kildishev Actions
6032 Requality Bug New Normal Ошибка при импортировании большого документа Viktoria Kopach Actions
6009 Requality Bug New Normal Unresponsible script при перетаскивании отчетов и папок отчетов Viktoria Kopach Actions
5990 MicroTESK Bug New Normal Memory state must be taken into account when generating test data Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.6 Actions
5905 Linux Driver Verification Bug New Normal Ldv-upload does not updates RI fails of type "truth_orif_expr" Vitaly Mordan Actions
5900 Linux Kernel Safety RuleDB Feature Open Normal 153: Correct allocation of identifiers using IDR layer Vadim Mutilin Actions
5899 Linux Kernel Safety RuleDB Feature Open Normal 152: Correct usage of IO memory mappings Vadim Mutilin Actions
5898 Linux Kernel Safety RuleDB Feature Open Normal 151: Correct usage of sysfs groups Vadim Mutilin Actions
5864 Requality Feature New Normal Дизайн отчетов Viktoria Kopach Actions
5836 Local Support Project Bug Resolved High не собирается проект на сервере Jenkins Sergey Smolov Sergey Smolov Actions
5813 MicroTESK Bug New Normal Support of instance call in left part of assignment Mikhail Chupilko Alexander Kamkin MicroTESK - 2.6 Actions
5811 TestBase Task New Normal Test data generators for basic arithmetic SIMD instructions Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5808 Linux Driver Verification Task New Low Слишком большой драйвер btrfs Pavel Andrianov Actions
5806 Linux Kernel Safety RuleDB Bug New Normal Duplicate function __builtin_expect Vadim Mutilin Actions
5760 Requality Bug New Normal Самопроизвольно закрывается документ, на котором вызывается процессор Viktoria Kopach Actions
5725 TestBase Task New Normal Meta-information provider required Alexander Kamkin Artem Kotsynyak TestBase - 0.0 Actions
5714 Linux Driver Verification Bug New Normal deg2: incorrect initialization for structure types Vadim Mutilin Ilja Zakharov Actions
5713 C Instrumentation Framework Bug Open High CIF prints extern for initialized variables Vadim Mutilin Evgeny Novikov Actions
5712 Linux Driver Verification Bug New Normal ldv-upload-2: Improve diagnostic message for 'MySQL server has gone away' Vadim Mutilin Vitaly Mordan Actions
5710 Requality Feature New Low Поддержать промежуточное хранилище для работы с системами управления версиями Denis Kildishev Actions
5702 Retrascope IDE Task New Normal [tool] create Retrascope icon Sergey Smolov Retrascope IDE - 0.1 Actions
5693 Linux Driver Verification Bug Resolved Normal Current version of LDV sometimes terminates durung interaction with CPAcloud Ilja Zakharov Ilja Zakharov Actions
5682 Requality Feature New Normal В консольном режиме команда requality help ничего поясняющего не выводит Viktoria Kopach Actions
5655 C Instrumentation Framework Bug Open High Redefinition of local variable Vadim Mutilin Evgeny Novikov Actions
5638 Local Support Project Bug Open Normal Время на сервере Denis Buzdalov Actions
5616 Requality Bug New Normal Не генерируется значение атрибута после удаления одноименного атрибута Viktoria Kopach Actions
5613 Requality Bug New Normal Текст Alternative description содержит теги Viktoria Kopach Actions
5612 Requality Bug New Normal Плохое имя требования, созданного на фрагменте-таблице Viktoria Kopach Actions
5596 Fortress Feature New Low Генерация случайных значений, удовлетворяющих определённым условиям Igor Melnichenko Andrei Tatarnikov Fortress - 0.4 Actions
5594 Requality Task New Normal Изменить вложенности font тегов Denis Kildishev Actions
5575 Requality Task New Normal Добавить средства синхронизации по элементам\ресурсам Denis Kildishev Actions
5574 Requality Feature New Normal Менять отображаемый тип Virtual Node при переиспользовании вида "Base element" Denis Kildishev Actions
5562 Linux Driver Verification Bug Resolved Normal Fix ignorance of additional CPAchecker options in CPAcloud Ilja Zakharov Ilja Zakharov Actions
5547 Retrascope IDE Bug New Normal save Retrascope result not to ECLIPSE_HOME folder Sergey Smolov Retrascope IDE - 0.1 Actions
5546 Retrascope IDE Task New Normal [log] print Retrascope log to Eclipse log Sergey Smolov Retrascope IDE - 0.1 Actions
5529 Fortress Task New High Использовать префиксы для указания основания в строковом представлении числовых данных Artem Kotsynyak Andrei Tatarnikov Fortress - 0.4 Actions
5527 Requality Bug New Normal Проблема с сортировкой - большие и маленькие буквы Viktoria Kopach Actions
5523 Linux Driver Verification Bug New Normal Investigate unknowns caused by case ranges Vadim Mutilin Vadim Mutilin Actions
5522 Requality Bug New Normal Ошибка при отсутствии доступных browser engine Viktoria Kopach Actions
5519 Requality Feature New Normal Кнопка для открытия файла с информацией о покрытии Viktoria Kopach Actions
5504 Retrascope Task New Normal add channels between EFSMs Sergey Smolov Mikhail Lebedev Retrascope - 1.2 Actions
5488 Linux Driver Verification Feature New Normal LDV Uploader should allow to forcibly update already uploaded results Evgeny Novikov Vitaly Mordan Actions
5469 Linux Driver Verification Bug New Normal Removing header "slab.h" from rule models leads to BLAST exception Vitaly Mordan Vadim Mutilin Actions
5452 Linux Driver Verification Bug New Normal Removing header "module.h" from rule models leads to BLAST exception Vitaly Mordan Vadim Mutilin Actions
5451 Fortress Feature New Normal Support external rules in TransformerRule interface Artem Kotsynyak Artem Kotsynyak Fortress - 0.4 Actions
5449 Linux Driver Verification Feature Open Normal Improvement of kb-recalc script Vitaly Mordan Evgeny Novikov Actions
5444 Linux Driver Verification Bug Open Normal 'Launches' pages always contain links to error traces Evgeny Novikov Evgeny Novikov Actions
5442 Requality Bug New Normal Неинформативное окно об ошибке при перетаскивании требований Viktoria Kopach Actions
5422 Requality Bug New Normal Сбрасывается выделение фрагмента в документе при клике на некорневое требование в RE Viktoria Kopach Actions
5421 Fortress Task Open Normal Utility methods on expression nodes Artem Kotsynyak Andrei Tatarnikov Fortress - 0.4 Actions
5415 Linux Driver Verification Feature New Normal Make unstable tests more predictable Evgeny Novikov Vadim Mutilin Actions
5405 Linux Driver Verification Bug New Normal CPAchecker is not installed properly Evgeny Novikov Vadim Mutilin Actions
5397 Linux Driver Verification Bug New Normal BLAST error trace converter misses the last line of the error trace Vadim Mutilin Actions
5387 Linux Driver Verification Bug New Normal CIL may work too long if ldv_common_model.i file was not processed with CIF Vitaly Mordan Actions
5365 Linux Kernel Safety RuleDB Feature New Normal 202: All allocated memory from DMA pool should be freed Pavel Andrianov Actions
5364 Linux Kernel Safety RuleDB Feature New Normal 204: DMA maps for PCI devices Pavel Andrianov Actions
5363 Linux Kernel Safety RuleDB Feature New Normal 206: all created kernel threads should be stopped Pavel Andrianov Actions
5362 Linux Kernel Safety RuleDB Feature New Normal 201: All allocated cache memory should be freed Pavel Andrianov Actions
5357 Linux Kernel Safety RuleDB Feature New Normal 203: All allocated IO-memory should be freed Pavel Andrianov Actions
5356 Linux Kernel Safety RuleDB Feature New Normal 207: IRQ registration and deregistration Pavel Andrianov Actions
5355 Linux Kernel Safety RuleDB Feature New Normal 205: All allocated socket buffers should be freed Pavel Andrianov Actions
5354 Linux Kernel Safety RuleDB Feature New Normal 200: DMA maps for SCSI commands Pavel Andrianov Actions
5353 Linux Driver Verification Task Resolved Normal доступ к git репозиторию Alexey Demakov Actions
5352 TestBase Task New Normal Implementation of FpMulHardToNRound Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5351 TestBase Task New Normal Implementation of ResultAdapter for FP.MUL Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5349 Linux Kernel Safety RuleDB Feature Open Normal 039: Usage of spin lock and unlock functions Vadim Mutilin Actions
5348 TestBase Task New Normal Корректная реализация генератора IntSubExceptionGenerator Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5347 Linux Driver Verification Bug New Low Cannot upload pax archive with results obtained with deg-2 Ilja Zakharov Ilja Zakharov Actions
5328 C Instrumentation Framework Bug Open High Missing extern for inline functions Vadim Mutilin Evgeny Novikov Actions
5325 TestBase Task New Normal Sqrt hard-to-round iterator for the nearest rounding needs to be reviewed Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5314 C Instrumentation Framework Bug Open High Invalid type encountered (hidden by variable name) Vadim Mutilin Evgeny Novikov Actions
5311 MicroTESK Task New Normal Shortcuts for getting modes from templates Alexander Kamkin Alexander Kamkin MicroTESK - 2.6 Actions
5307 Linux Driver Verification Feature New Normal Current problem recalculation is too slow Ilja Zakharov Vitaly Mordan Actions
5306 Linux Driver Verification Bug New Normal LDV Uploader does not fail properly if there is not a pax archieve specified Evgeny Novikov Vitaly Mordan Actions
5298 Linux Driver Verification Feature New High Develop a new tool that can suggest module renaming Evgeny Novikov Actions
5297 Linux Driver Verification Feature New Normal Develop a new tool that lists C files for Linux kernel modules and the kernel Evgeny Novikov Actions
5295 Linux Driver Verification Feature New Normal Use "word-wrap: break-word" rather than "white-space: pre" in the comment field of the KB interface Evgeny Novikov Actions
5294 Linux Driver Verification Feature New Normal Add lang="en" to the comment field the KB interface Evgeny Novikov Actions
5291 Linux Driver Verification Feature New Normal KB interface should simplify and restrict using of tags Evgeny Novikov Actions
5287 C Instrumentation Framework Feature New Low Experiment with sound implementation of rerouter Evgeny Novikov Actions
5284 Linux Driver Verification Feature New Normal Visualize list of tasks Evgeny Novikov Evgeny Novikov Actions
5282 C Instrumentation Framework Bug Open High Incompatible types when assigning to type ‘struct <anonymous>’ from type ‘struct <anonymous>’ Vadim Mutilin Evgeny Novikov Actions
5281 Linux Driver Verification Feature New Normal ldv-upload-2 should upload all pax archives passed as parameters into a single task Vadim Mutilin Vitaly Mordan Actions
5276 Retrascope IDE Task New Normal [cfg][visualizator][zest] Отладить размещение графа с циклами Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5273 Retrascope IDE Task New Normal [cfg][visualizator][zest] Получение принтера выражений из конфигурации Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5272 Retrascope IDE Task New Normal [cfg][visualizator][zest] Установка прогресса при построении графа Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5271 Retrascope IDE Task New Normal [task][configurator] Деактивация кнопки OK Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5266 Requality Task New Low Часть static методов вынести из RequalityCLI Denis Kildishev Actions
5251 Retrascope IDE Task New Normal [tool][configurator] Сохранение конфигураций Sergey Smolov Retrascope IDE - 0.1 Actions
5223 Linux Driver Verification Feature New Normal KB Recalc shouldn't require update-delete access to the KB-results cache Evgeny Novikov Evgeny Novikov Actions
5215 Linux Driver Verification Feature New Normal MySQL should terminate request if a caller has gone Evgeny Novikov Evgeny Novikov Actions
5211 Fortress Task Open High Unit-тесты для трансформеров и калькулятора Alexander Kamkin Artem Kotsynyak Fortress - 0.4 Actions
5202 Requality Bug New Normal Несовпадение границ узла в UniEditor Viktoria Kopach Actions
5201 Requality Bug New Normal Непонятно, как в UniEditor выделить узел, чтобы его скопировать. Viktoria Kopach Actions
5192 MicroTESK Task New Normal Assert constructions to check the model state during and after simulation Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.6 Actions
5159 Requality Bug New Normal При наличии ошибок в шаблоне не сразу перегенерирует Denis Kildishev Actions
5153 Requality Feature New Normal Подсвечивать все фрагменты требования Anastasia Tugaenko Actions
5150 Retrascope Task New Normal Обработка функций - реализация макроподстановок Alexander Kamkin Sergey Smolov Retrascope - 1.2 Actions
5128 Requality Feature New Normal Полуавтоматическое формирование имени длинного требования Anastasia Tugaenko Actions
5102 Linux Driver Verification Bug New Normal sd_start handler not extracted for gspca_benq.ko, gspca_konica.ko Vadim Mutilin Ilja Zakharov Actions
5093 Retrascope IDE Task New High [cfg][visualizator][zest] Следует открывать граф в области редактора Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5080 Requality Task New Normal Описать принципы работы с новыми точками расширения Denis Kildishev Denis Kildishev Actions
5071 Requality Feature New Normal При удалении документа предлагаются к удалению не все требования Viktoria Kopach Actions
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
(1001-1500/1960) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF