Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
584 Linux Driver Verification Bug Open Normal Stats server doesn't show failed launches correctly Evgeny Novikov Evgeny Novikov Actions
569 Linux Driver Verification Bug Open Normal Stats server spends too much time for massive comparison Evgeny Novikov Evgeny Novikov Actions
562 Linux Driver Verification Feature Open Normal Stats server has to provide us with problems comparison Evgeny Novikov Evgeny Novikov Actions
554 Linux Driver Verification Bug New Normal CIL errors Vadim Mutilin Actions
553 Linux Driver Verification Bug New Normal envgen generates incorrect return type for jedec_probe Vadim Mutilin Actions
549 Linux Driver Verification Feature Open Normal We want to know the kernel version during processing Evgeny Novikov Evgeny Novikov Actions
548 Linux Driver Verification Bug New Normal Information about problematic launches can't make its way to results database Alexey Khoroshilov Actions
535 CTESK Bug New Normal Не регистрируется ошибка SERIALIZATION_FAILED. Андрей Максимов Alexey Demakov CTESK - 2.9 Actions
533 Linux Driver Verification Bug Open Normal Stats server isn't validated with W3C validator Evgeny Novikov Evgeny Novikov Actions
525 JavaTESK Task Resolved Normal Проверить компилируемость файла Alexey Demakov Alexey Demakov Actions
522 Linux Driver Verification Bug New Normal Drv-env-gen - generated Incorrect functions sequence. Alexandr Strakh Ilja Zakharov Actions
517 CTESK Bug New Normal Недетерминированный обходчик ndfsm игнорирует режим работы UNTIL_END. Андрей Максимов Alexey Demakov CTESK - 2.9 Actions
507 BLAST Bug New Low SMT sovler could not parse the request (Error: Undefined name) Vadim Mutilin Actions
502 CTESK Feature New Normal Определить поведение specification typedef для случая базового спецификационного типа Alexey Demakov CTESK - 2.9 Actions
501 CTESK Feature New Normal Управление памятью для локальных массивов спецификационных ссылок Alexey Demakov CTESK - 2.9 Actions
498 CTESK Task New Normal Добавить синхронизацию изменения счетчика ссылок на объект Alexey Demakov Alexey Demakov CTESK - 2.9 Actions
489 BuildBase Support New Low Более детальная документация Yuriy Shekochihin Actions
485 BLAST Bug Open Low Non-linear SMT solver queries in BLAST Vadim Mutilin Mikhail Mandrykin Actions
472 Linux Driver Verification Bug New Normal DEG: incorrect work for driver fs/ntfs/super.c Alexandr Strakh Vadim Mutilin Actions
469 CTESK Bug New Normal Cannot init memento object with path null Alexey Khoroshilov Actions
468 UniTESK Reports Bug New Normal java.lang.NullPointerException при открытии трассы от account'а Alexey Khoroshilov Alexey Demakov Actions
466 Linux Driver Verification Task Open Normal 32_7: Several errors from KB not found Vadim Mutilin Actions
432 Linux Driver Verification Bug Open Normal Error trace in LDV-online has minor problems: excessive selection and colons Pavel Shved Evgeny Novikov Actions
414 JavaTESK Bug Resolved Normal Англоязычная документация содержит русский текст Anastasia Tugaenko Alexey Demakov Actions
405 Linux Driver Verification Bug Open Normal Unsafe drivers reported as safe on kb0032 Vadim Mutilin Actions
398 Linux Driver Verification Bug New Low Warnings during mykernel-1-2.6.32.15 compilation Pavel Shved Actions
387 Veritool Task New Normal Отладочный вывод значений входов и выходов Alexander Kamkin Alexander Kamkin Actions
373 C Instrumentation Framework Feature Open High Merge matching for different entities Evgeny Novikov Evgeny Novikov Actions
371 C Instrumentation Framework Bug Open High Fix Aspectator information output in libcpp Evgeny Novikov Evgeny Novikov Actions
370 C Instrumentation Framework Feature Open Low Add primitive pointcut declaration kind in conversion from internal type representation to the declaration one Evgeny Novikov Evgeny Novikov Actions
364 C Instrumentation Framework Feature Open Low Think on negatives joinpoint semantic Evgeny Novikov Evgeny Novikov Actions
363 C Instrumentation Framework Feature Open High Macro and macro arguments references Evgeny Novikov Evgeny Novikov Actions
360 C Instrumentation Framework Feature Open High Add new body patterns Evgeny Novikov Evgeny Novikov Actions
359 C Instrumentation Framework Feature Open Low Think whether treat typedefs on structures as structures themselves Evgeny Novikov Evgeny Novikov Actions
358 C Instrumentation Framework Feature Open High Add multiple advices processing like for 'file' primitive pointcut Evgeny Novikov Evgeny Novikov Actions
357 C Instrumentation Framework Feature Open High Add function pointer dereferencing primitive pointcut Evgeny Novikov Evgeny Novikov Actions
354 C Instrumentation Framework Feature Open Low Parameters attributes Evgeny Novikov Evgeny Novikov Actions
345 C Instrumentation Framework Feature Open High Fix implementation of '..' wildcard Evgeny Novikov Evgeny Novikov Actions
(2051-2100/2122) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF