Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
1574 Requality Feature New Normal Переименовывание требований при помощи редактора разметки Yuriy Shekochihin Actions
1562 Linux Driver Verification Feature Open High Automatic checks of ldv-online Evgeny Novikov Evgeny Novikov Actions
1556 Requality Bug New Normal В результате импорта *.doc документов отображаются коды полей Alexey Demakov Actions
1555 Requality Feature_ New Normal Доработка Properties View для документов Alexey Demakov Denis Kildishev Actions
1536 Requality Bug New Normal Крэш в JRE Константин Власов Actions
1520 Linux Driver Verification Feature Open Normal Redesign comparison in statistics server Evgeny Novikov Evgeny Novikov Actions
1517 Linux Driver Verification Bug Open High Prevent installation of gems (and other modules if so) through remote network Evgeny Novikov Evgeny Novikov Actions
1514 Linux Driver Verification Feature Open Normal Show addtional information on unsafes and unknowns in comparison Evgeny Novikov Evgeny Novikov Actions
1490 BuildBase Support New Normal Визуализация зависимостей между target Yuriy Shekochihin Actions
1476 C Instrumentation Framework Bug Open Low Implement bit_field_ref in the proper way Evgeny Novikov Evgeny Novikov Actions
1449 C Instrumentation Framework Bug Open High aspectator build issue on x86-64: multilib building Alexey Khoroshilov Evgeny Novikov Actions
1425 Requality Task New Normal Проверка целостности модели данных Alexey Khoroshilov Actions
1419 Linux Driver Verification Feature Open High Shorten entry point names Evgeny Novikov Ilja Zakharov Actions
1406 Aspectrace Task New Normal Ноль вместо знака вопроса в Failures Alexander Sortov Anastasia Tugaenko Actions
1393 Requality Feature New Normal Сделать в диалоге Requirement Selection умолчальное выделение Константин Власов Actions
1366 Linux Driver Verification Bug Open Normal Env-gen prints 'no_instrument_function' attribute obtained from function declarations for auxiliary variables Pavel Shved Vadim Mutilin Actions
1365 Linux Driver Verification Bug Open Normal Information on a profile is collected for each page Evgeny Novikov Evgeny Novikov Actions
1359 Requality Bug New Low Сообщение об ошибке при импорте, содержащее details из другой ошибки. Viktoria Kopach Vladimir Fedotov Actions
1354 Linux Driver Verification Bug New Normal Local run loses drivers Vadim Mutilin Pavel Shved Actions
1334 Linux Driver Verification Bug New Normal CIL translates local label out into a global one Vadim Mutilin Actions
1333 Linux Driver Verification Bug New Normal CIL misses fields in unions Vadim Mutilin Actions
1327 Requality Feature New Low Properties view -> Source: ускорить прокрутку колесиком мыши Viktoria Kopach Actions
1323 Linux Driver Verification Bug Open Normal CIL doesn't appear to know GNU extension 'asm goto' Evgeny Novikov Vadim Mutilin Actions
1313 Linux Driver Verification Bug New Normal Infinite sequence models are flawed Pavel Shved Vadim Mutilin Actions
1312 Linux Driver Verification Bug Open Normal Timeout script sometimes fails with "No child processes" message Pavel Shved Vitaly Mordan Actions
1307 Linux Driver Verification Feature New Normal Supply several model databases Pavel Shved Pavel Shved Actions
1306 Linux Driver Verification Feature Open High Implement -fdepth option in the more intellectual way Evgeny Novikov Pavel Shved Actions
1293 Linux Driver Verification Bug New Normal DEG error: storage size of some variables isn't known Vadim Mutilin Actions
1281 Requality Bug New Normal Удаление папки блокирует eclipse Vladimir Fedotov Actions
1276 Linux Driver Verification Bug New Normal Compile errors made by DEG (rollup) Evgeny Novikov Vadim Mutilin Actions
1267 С++TESK Development Environment Task New Normal Визарды Alexander Kamkin Actions
1261 Linux Driver Verification Feature New Normal Automatically prepare builds of development branches each night Pavel Shved Pavel Shved Actions
1260 Linux Driver Verification Bug Open Normal Some model comments for 39_7 are implemented incorrectly Evgeny Novikov Vadim Mutilin Actions
1237 Linux Driver Verification Bug New Normal 68_1 model is incomplete without usb_get_urb() Alexey Khoroshilov Vadim Mutilin Actions
1236 Linux Driver Verification Bug Open Normal Finding model functions by ldv_ prefix Alexey Khoroshilov Evgeny Novikov Actions
1230 C Instrumentation Framework Bug Open High Aspectator doesn't work correctly with disjunction of define pointcuts Evgeny Novikov Evgeny Novikov Actions
1195 Linux Driver Verification Bug Open Normal drv-env fails to generate ifdefs for interrupt handler in yellowfin.ko Vadim Mutilin Vadim Mutilin Actions
1186 Veritool Task New Normal Скрипт установки Icarus Verilog Alexander Kamkin Alexander Kamkin Actions
1185 Veritool Task New Normal Инструментирование Verilog-кода и отслеживание покрытия по коду Alexander Kamkin Sergey Smolov Actions
1167 Linux Driver Verification Bug Open Normal Bugs related with 32_1a model Pavel Shved Actions
1155 Linux Driver Verification Bug New Normal If ldv-manager is stopped in kernel unpacking it doesn't work then Evgeny Novikov Pavel Shved Actions
1138 C Instrumentation Framework Bug Open High C back-end prints exceeding information for unnamed structures and unions Evgeny Novikov Evgeny Novikov Actions
1133 Linux Driver Verification Feature Open Low Make QA to tell us data locations for the small regression tests as well as for the medium ones Evgeny Novikov Actions
1127 Linux Driver Verification Task New Normal Check that ETV shows skipped function usb_free_urb for af9005-fe.ko Vadim Mutilin Vadim Mutilin Actions
1096 Linux Driver Verification Bug Open Normal Compiling one ruby gem requires installed version of another Pavel Shved Pavel Shved Actions
1083 Requality Feature New Low Минимальная высота полей в Properties view Viktoria Kopach Actions
1078 Aspectrace Feature New Normal Генератор отчетов и документация Mikhail Chupilko Alexey Demakov Actions
1069 BLAST Bug New Normal BLAST goes to local label out instead of global one or vice versa Vadim Mutilin Actions
1068 C Instrumentation Framework Bug New High Aspectator core at the first stage doesn't treat errors Evgeny Novikov Evgeny Novikov Actions
1064 Linux Driver Verification Bug Open Normal Build command extractor requires some refactoring Evgeny Novikov Ilja Zakharov Actions
1059 Linux Driver Verification Bug Open Normal Support versions of RabbitMQ newer than 2.0.0 Pavel Shved Pavel Shved Actions
1049 Linux Driver Verification Bug Resolved Normal Incorrect order of irq function calls for irq_chip Alexey Khoroshilov Ilja Zakharov Actions
1044 Veritool Task Feedback Normal Перенос репозитория тестов Alexander Kamkin Alexander Kamkin Actions
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
(1801-1900/1963) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF