Project

General

Profile

Issues

Filters

Apply Clear

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

Also available in: Atom CSV PDF