Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
2593 Linux Driver Verification Bug New Normal ldv-online server fails as well as ldv-online client Evgeny Novikov Evgeny Novikov Actions
2569 Linux Driver Verification Feature Open Normal Let's DSCV and RCV won't keep debug traces by default Evgeny Novikov Vadim Mutilin Actions
2558 Linux Kernel Safety RuleDB Feature New Normal Investigate rules discovered by Stanse Evgeny Novikov Actions
2553 Linux Driver Verification Bug Open Normal Explicitly set Unknown is not shown Alexey Khoroshilov Evgeny Novikov Actions
2514 Linux Driver Verification Bug New Normal One driver corrupts ldv-online by some reason Evgeny Novikov Evgeny Novikov Actions
2511 Linux Driver Verification Bug New Normal ldv-online loads error traces even before they are obtained Evgeny Novikov Evgeny Novikov Actions
2494 CTESK Bug New Normal warning at build log Sergey Smolov Alexey Demakov Actions
2490 Linux Driver Verification Feature New Normal There shouldn't be 'No entry point' problems Evgeny Novikov Ilja Zakharov Actions
2478 Linux Driver Verification Bug Open Normal Tools should use their own prefixes in log instead of evaluated script ones Evgeny Novikov Vadim Mutilin Actions
2472 Requality Bug New Normal Prevented recursive attempt to activate part PropertySheet while still in the middle of activating part UniEditor Viktoria Kopach Alexey Demakov Actions
2447 Requality Bug New Normal Проблемы с Paste в окне UniEditor Viktoria Kopach Denis Kildishev Actions
2422 Linux Driver Verification Feature Open Normal Create a cache of error traces in the common format Evgeny Novikov Evgeny Novikov Actions
2393 Linux Driver Verification Feature Open High Problems with backward compatibility of error traces are going to become Evgeny Novikov Evgeny Novikov Actions
2383 Aspectrace Task New Normal Генератор не должен падать, когда в трассе встречается элемент покрытия, не принадлежащий покрытию Alexander Kamkin Anastasia Tugaenko Actions
2380 Linux Driver Verification Bug New Normal A couple of patches to make LDV work on my Gentoo system Pavel Shved Vadim Mutilin Actions
2361 Linux Driver Verification Bug Resolved Normal ldv-uploader does not work with activerecord-3.2.1 Vadim Mutilin Vitaly Mordan Actions
2354 Linux Driver Verification Bug Open Normal Statistics Server (Analytics Center) cannot be installed on some systems Evgeny Novikov Evgeny Novikov Actions
2345 Linux Driver Verification Feature Open Normal Implement shared JavaScripts, CSSs and images Evgeny Novikov Evgeny Novikov Actions
2307 BLAST Bug Resolved Normal Inconsistent handling of bitshifts in interpolator and solvers Pavel Shved Pavel Shved BLAST - 2.7.1 Actions
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
(1851-1900/2124) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF