Project

General

Profile

Issues

Filters

Apply Clear

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

Also available in: Atom CSV PDF