Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
2189 Requality Feature New Low В диалоге создания проекта нельзя указать где он будет создан Vladimir Fedotov Actions
2183 Linux Driver Verification Bug Open High Time statistics for RCV is incorrectly calculated in local launches Evgeny Novikov Vitaly Mordan Actions
2182 Linux Driver Verification Feature Open Normal ldv-upload should remove temporary files by default doesn't it? Evgeny Novikov Actions
2178 Linux Driver Verification Bug Open High Time statistics for RI is incorrectly calculated in local launches Evgeny Novikov Vitaly Mordan Actions
2173 Linux Driver Verification Bug Open Normal ldv-upload duplicates kb-recalc output more then 5 times Evgeny Novikov Evgeny Novikov Actions
2168 Linux Driver Verification Feature Open Normal ldv-upload should check a database connection specified at the beginning Evgeny Novikov Evgeny Novikov Actions
2163 С++TESK Development Environment Task New Normal Генерация заготовки тестовой системы по информации об интерфейсе Alexander Kamkin Actions
2161 Veritool Task New Normal Массив вместо структуры для int128-int512 Alexander Kamkin Mikhail Chupilko Actions
2160 Linux Driver Verification Bug Open Normal ldv-online client hangs sometimes Evgeny Novikov Evgeny Novikov Actions
2157 Linux Driver Verification Feature Open High ldv-online should keep drivers uploaded Evgeny Novikov Evgeny Novikov Actions
2156 Linux Driver Verification Feature Open Normal Warn in case when a tool is going to drop database(s) Evgeny Novikov Actions
2154 BLAST Bug Open Normal When "local" predicates meet function calls, the verification becomes much slower... Pavel Shved Pavel Shved BLAST - 2.8 Actions
2153 Linux Driver Verification Bug Open Normal ldv-online doesn't work good with a new ldv-tools Evgeny Novikov Evgeny Novikov Actions
2138 Veritool Task New Normal Генерация C++ кода вместо С Alexander Kamkin Mikhail Chupilko Actions
2130 Veritool Task New Normal Получение списка внутренних сигналов Alexander Kamkin Mikhail Chupilko Actions
2120 Linux Driver Verification Feature New Normal Provide peak memory usage for tools as well as time statistics Evgeny Novikov Vitaly Mordan Actions
2110 Linux Kernel Safety RuleDB Feature New Normal Try to use annotation given by attributes to found errors Evgeny Novikov Actions
2068 Linux Driver Verification Feature New Normal Would we like to collect a list of LDV related publications? Evgeny Novikov Actions
2059 С++TESK Development Environment Task New Low Использование разных цветов для выделения ключевых слов C++ и С++TESK Alexander Kamkin Sergey Smolov Actions
2046 Linux Driver Verification Bug New Normal Git clone doesn't keep original modification time of files Evgeny Novikov Actions
2037 BLAST Bug New Normal Interpolants with disjunctions are broke down into unusable chunks even in smaller programs Pavel Shved Pavel Shved Actions
2015 Linux Kernel Safety RuleDB Feature New Normal Investigate rules discovered by PR-minder Evgeny Novikov Actions
2003 Requality Bug New Normal Проблема с поддержкой отчетов для старых проектов Viktoria Kopach Actions
1996 Requality Feature New Low Текст комментария в Installed Software Viktoria Kopach Alexey Khoroshilov Actions
1969 BLAST Feature New Normal Concurrent forward exploration at each node Pavel Shved Actions
1943 Requality Bug New Normal Ширина контекстного меню в Markup Editor Viktoria Kopach Actions
1940 Linux Kernel Safety RuleDB Feature New Normal 032: Locking a mutex twice or unlocking without prior locking Alexey Khoroshilov Actions
1939 Linux Driver Verification Bug Open Normal LDV online instead of internal bug reports about absent obj-m Evgeny Novikov Evgeny Novikov Actions
1938 Linux Driver Verification Bug Open Normal LDV online reads its own configs incorrectly Evgeny Novikov Evgeny Novikov Actions
1937 Linux Driver Verification Bug Open Normal LDV online uploads the main database schema incorrectly Evgeny Novikov Evgeny Novikov Actions
1936 Linux Driver Verification Feature Open Normal Need a way to install just ldv-online Evgeny Novikov Evgeny Novikov Actions
1933 libUniFloat Bug New Normal -DCMAKE_BUILD_TYPE=Release makes all functions to return 0 Anton Kirilenko Anton Kirilenko Actions
1932 libUniFloat Feature Resolved Normal Rename *_Unifloat to *_UF Andrey Ponomarenko Anton Kirilenko Actions
1927 CTESK Bug New Normal NullPointerException at AssignmentChecker.check Alexey Khoroshilov Actions
1926 CTESK Bug New Normal NullPointerException at Descs$StructUnionDescriptor.sizeField_list Alexey Khoroshilov Actions
1916 Requality Bug New Normal Импорт текстовых документов не сохраняет разбиение на строки Николай Пакулин Actions
1913 libUniFloat Bug Resolved Normal -DCMAKE_BUILD_TYPE=Release causes problem Anton Kirilenko Anton Kirilenko Actions
1905 libUniFloat Feature Resolved Normal Add function: delete_Unifloat_List(Unifloat*, ...) Andrey Ponomarenko Anton Kirilenko Actions
1903 Requality Bug New Normal После изменения фильтра типов документов для импорта не обновляется список документов в папке Viktoria Kopach Actions
1902 BLAST Feature Open Normal Function pointer inequality support for calls by function pointers Pavel Shved Pavel Shved Actions
1893 Linux Driver Verification Feature Open Normal Add ability to show/hide KB tags and problems of tools Evgeny Novikov Evgeny Novikov Actions
1891 Linux Driver Verification Feature Open Normal Show hint on KB tags Evgeny Novikov Evgeny Novikov Actions
1888 BLAST Bug New Low Function pointers with different types are not aliased Pavel Shved Actions
1887 Linux Driver Verification Bug Open Normal KB (re)calculator should be integrated into ldv-tools better Evgeny Novikov Evgeny Novikov Actions
1860 Requality Feature New Normal Перегенерация отчета при изменении базы. Viktoria Kopach Alexey Khoroshilov Actions
1856 Linux Driver Verification Bug Open Normal Documentation for RCV wrappers is confusing Pavel Shved Pavel Shved Actions
1839 Linux Driver Verification Bug Open Normal Ldv-manager can't find bug in driver Ilja Zakharov Ilja Zakharov Actions
1838 C++TESK Testing ToolKit Task New Normal [docs] Задокументировать интерфейсы с ядром C++TESK Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.1 Actions
1830 C++TESK Testing ToolKit Feature New Normal [lang][core] Задание частоты запуска сценарных функций по отдельности Igor Melnichenko Alexander Kamkin C++TESK Testing ToolKit - 1.1 Actions
1828 C++TESK Testing ToolKit Task New Normal [lang][core] Implementation of temporal sequences Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.1 Actions
(1751-1800/1993) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF