Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
(1401-1450/1993) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF