Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
2289 Linux Driver Verification Feature Open Normal We need to add statistics caches for problems and times Evgeny Novikov Evgeny Novikov Actions
2287 BLAST Bug Open Normal cdc_eem.ko had correct unsafe verdict and became unknown in BLAST 2.7.1 Vadim Mutilin Pavel Shved BLAST - 2.7.1 Actions
2281 Linux Driver Verification Bug Open Normal Tags for Inconclusive KB verdict is incorrectly calculated Evgeny Novikov Evgeny Novikov Actions
2280 Linux Driver Verification Bug Open Normal Knowledge Base cache isn't recalculated when tags are changed Evgeny Novikov Evgeny Novikov Actions
2257 Linux Driver Verification Feature New Normal Kill CSD when it becomes useless Evgeny Novikov Ilja Zakharov Actions
2228 Requality Bug New Normal В UniEditor текст комментария всегда курсивом, не зависимо от редактирования. Viktoria Kopach Actions
2213 C++TESK Testing ToolKit Task New Normal [docs] Английскую документацию делать в wiki Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.0 Actions
2212 C++TESK Testing ToolKit Task New Normal [docs] Задокументировать адаптеры по умолчанию Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.0 Actions
2210 Requality Bug New Normal Номер ревизии обновляется только после svn update Vladimir Fedotov Actions
2208 Requality Feature New Low Снятие фокуса с полей id и name при нажатии Enter Viktoria Kopach Alexey Khoroshilov Actions
2205 Requality Bug New Low Верстка таблиц в unieditor Vladimir Fedotov Actions
2203 Requality Feature New Normal Не вставлять выделенный текст в требование, если он полностью совпадает с названием Vladimir Fedotov Actions
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
(1801-1850/2055) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF