Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
1037 Linux Driver Verification Feature New Normal Why the LDV needs to compile drivers? Andrey Ponomarenko Actions
1036 Linux Driver Verification Bug Open Normal gcc 4.6.0 doesn't support full kernel build Evgeny Novikov Actions
1031 Linux Driver Verification Bug New Normal Analysis of driver failed: error: linux/config.h: No such file or directory Andrey Ponomarenko Actions
1030 Linux Driver Verification Feature New Normal Create the configure script Andrey Ponomarenko Actions
1019 Linux Driver Verification Bug New Normal Our models are not correctly understood by CPAchecker Pavel Shved Mikhail Mandrykin Actions
1012 Linux Driver Verification Bug New Normal BLAST and CPAchecker do not agree on safety of certain drivers Pavel Shved Mikhail Mandrykin Actions
1010 Requality Feature New Normal Рефакторинг (меню Move и Rename) Viktoria Kopach Actions
1000 Linux Driver Verification Feature Open High Configure like tests for changes in kernel core API Alexey Khoroshilov Evgeny Novikov Actions
975 C Instrumentation Framework Feature New Low Investigate C back-end convergence Evgeny Novikov Actions
972 Linux Driver Verification Bug Open Normal Incomplete error trace sources for input/evdev.c Alexey Khoroshilov Evgeny Novikov Actions
971 Linux Driver Verification Bug New Normal DEG: Incorrect order of seq_operations Alexey Khoroshilov Vadim Mutilin Actions
970 C Instrumentation Framework Feature Open High Change the way of errors handling in aspectator Evgeny Novikov Evgeny Novikov Actions
967 Linux Driver Verification Feature Open Normal Think on error traces "signatures" Evgeny Novikov Evgeny Novikov Actions
965 Linux Driver Verification Feature New Normal Prevent analysis of drivers without main Evgeny Novikov Actions
958 Linux Driver Verification Bug New Normal Useless defines are generated by DEG Evgeny Novikov Vadim Mutilin Actions
957 Requality Feature New Normal Контекстное меню в Outline Alexey Demakov Actions
947 Linux Driver Verification Bug New Normal Verifier options can't be found for safe and unsafe drivers Evgeny Novikov Evgeny Novikov Actions
946 Linux Driver Verification Feature Open Low Implement intellectual function bodies closing in the more efficient way Evgeny Novikov Evgeny Novikov Actions
930 BLAST Bug New Low CIL's simeplemem does not respect line numbers Pavel Shved Vadim Mutilin Actions
929 UniTESK Reports Bug New Normal Неверное представление булевских значений. Андрей Максимов Actions
925 Linux Driver Verification Bug Open Normal LDV-Online sometimes prints incorrect links Evgeny Novikov Evgeny Novikov Actions
921 Linux Driver Verification Bug Open Normal Incorrect ifdefs for group parameters Vadim Mutilin Vadim Mutilin Actions
883 Requality Bug New Normal Производительность на проекте с большим числом документов Vladimir Fedotov Actions
882 Requality Bug New Normal Деградация производительности в ходе импорта большого числа документов Vladimir Fedotov Actions
877 C Instrumentation Framework Feature New High Try to use gcc tests for C backend Evgeny Novikov Evgeny Novikov Actions
858 Linux Driver Verification Bug New Low LDV online - set 'Build failed' to task when build description contains SOAP warning messages Alexandr Strakh Actions
846 Requality User Story New Low Реализовать расширенную функциональность импорта документов старого формата Yuriy Shekochihin Actions
839 Linux Driver Verification Bug New Normal Processing of build type check expressions Vadim Mutilin Actions
833 Linux Driver Verification Bug Open Normal CSD - Bind address error Alexandr Strakh Ilja Zakharov Actions
823 Linux Driver Verification Bug New Normal Fail reported in BCE instead of DEG Vadim Mutilin Ilja Zakharov Actions
822 UniTESK Reports Bug New Normal Отчет не генерируется по трассе Eugene Gerlits Alexey Demakov UniTESK Reports - 2.7 Actions
819 Linux Driver Verification Bug Open Low Warning during uploading task in LDV-online Alexandr Strakh Evgeny Novikov Actions
817 Linux Driver Verification Feature New Normal Smart management of node capabilities Alexey Khoroshilov Pavel Shved Actions
798 Linux Driver Verification Bug Open Normal Cut off trace Vadim Mutilin Evgeny Novikov Actions
785 Linux Driver Verification Bug New Normal Develop model 32_8 that takes into account mutex_lock_nested, etc. Alexey Khoroshilov Actions
782 Linux Driver Verification Bug New Normal linux-2.6.37.y isn't compiled: problem of ldv-git or kernel core? Evgeny Novikov Pavel Shved Actions
778 CTESK Bug New Normal Проблемы документации Андрей Максимов Actions
768 Requality User Story New Normal Возможность создавать проект в произвольном каталоге Alexey Demakov Actions
762 Requality User Story Open High Концепция тестирования Alexey Khoroshilov Actions
754 Linux Driver Verification Bug Open Normal Rerouting does not work for static functions Vadim Mutilin Evgeny Novikov Actions
702 Linux Driver Verification Bug Open Normal Watcher processes are too heavy for full-kernel check Pavel Shved Pavel Shved Actions
699 Linux Driver Verification Feature Open Normal Error trace view is too lonely, add some connections to it! Pavel Shved Evgeny Novikov Actions
695 Local Support Project Task New Normal Перевести строки для redmine_backlogs plugin Alexey Demakov Actions
694 Local Support Project Task New Normal Перевести строки для redmine_hudson plugin Alexey Demakov Actions
676 Requality Feature New Normal Работа на 64-битных Windows системах Yuriy Shekochihin Alexey Demakov Actions
665 Linux Driver Verification Feature Open Low Decrease a size of test driver archives Evgeny Novikov Actions
651 JavaTESK Bug New Normal Ошибка при наследовании от медиаторов Anastasia Tugaenko Actions
617 Linux Driver Verification Bug Feedback Low open should be called before close in struct cpia_camera_ops Vadim Mutilin Vadim Mutilin Actions
601 Linux Driver Verification Feature New Normal Add special 'qa' profile into stats server Evgeny Novikov Actions
591 Linux Driver Verification Feature New Normal Users should be abble to supply their own config in LDV-Git Pavel Shved Pavel Shved Actions
(1851-1900/1960) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF