Project

General

Profile

Issues

Filters

Apply Clear

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

Also available in: Atom CSV PDF