Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
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
1825 С++TESK Development Environment Task New Normal Графическое построение сериализаторов и десериализаторов Alexander Kamkin Actions
1813 CTESK Feature New High Конфликт имен ATL с пользовательскими Alexander Kamkin Alexey Demakov Actions
1810 BLAST Bug New Low CIL ignores the ERROR label if there's no goto to it Pavel Shved Vadim Mutilin Actions
1798 Requality Feature New Normal Значок Help в окошках импорта. Viktoria Kopach Actions
1792 Linux Driver Verification Task New High RCV interface for Satabs Vadim Mutilin Actions
1782 Requality User Story New Normal Сравнение похожих требований Anastasia Tugaenko Actions
1781 Requality User Story New Normal Подсвечивается только первая часть составного требования Anastasia Tugaenko Actions
1780 Linux Driver Verification Feature Open Normal Sort knowledge base tag statistics by the number of occurences Pavel Shved Evgeny Novikov Actions
1772 C++TESK Testing ToolKit User Story New Normal [docs] Имена типов map, list etc в CTESK Mikhail Chupilko Alexander Kamkin C++TESK Testing ToolKit - 1.0 Actions
1737 Linux Driver Verification Bug Open Normal Extend the maximum execution time for stats-visualizer Pavel Shved Evgeny Novikov Actions
1734 Linux Driver Verification Feature Open Normal Hide KB if there is no matched entities Evgeny Novikov Evgeny Novikov Actions
1733 Linux Driver Verification Feature Open Normal Generate a name for a new KB record filled with information on a current unsafe atomatically Evgeny Novikov Evgeny Novikov Actions
1727 Linux Driver Verification Bug Open High When KB pattern is changed it can affect another unsafes as earlier Evgeny Novikov Evgeny Novikov Actions
1726 Linux Driver Verification Feature Open Normal Statistics server should provide information on errors related with KB usage Evgeny Novikov Evgeny Novikov Actions
1725 Linux Driver Verification Feature Open Low kb-recalc should provide information on modifications made Evgeny Novikov Evgeny Novikov Actions
1724 Linux Driver Verification Feature Open Low Change a prefix of scripts executed from kb-recalc to be printed in log Evgeny Novikov Evgeny Novikov Actions
1723 Linux Driver Verification Feature Open Low I'd like to see yes/no instead of 1/0 for KB public field Evgeny Novikov Evgeny Novikov Actions
1721 Linux Driver Verification Feature Open Normal Create help for KB Evgeny Novikov Evgeny Novikov Actions
1710 Requality Task New Normal Wrap search Viktoria Kopach Viktoria Kopach Actions
1708 Linux Driver Verification Feature New Normal Add functionality to show information about the "Missing" KB records in a launch Pavel Shved Evgeny Novikov Actions
1698 Requality Task Open Normal Неперехваченное исключение в диалоге импорта Vladimir Fedotov Actions
1685 BLAST Feature New Low Make BLAST understand and verify recursion Pavel Shved Pavel Shved Actions
1665 Veritool Task Feedback Normal start_scen должен быть в библиотеке репозитория тестов Alexander Kamkin Alexander Kamkin Actions
1640 Linux Driver Verification Feature Open Normal KB admin interface in stats server Alexey Khoroshilov Evgeny Novikov Actions
1633 Linux Driver Verification Feature Open High KB: library function to check if assertion failed in a function given Alexey Khoroshilov Evgeny Novikov Actions
1627 Requality Bug New Normal svn: При удалении документа не удаляется папка _resources Alexey Demakov Yuriy Shekochihin Actions
1626 Linux Driver Verification Bug Open Normal Timeout script dies with "Signal 1 (HUP) caught by ps" Pavel Shved Vitaly Mordan Actions
1619 Linux Driver Verification Bug New Normal Cloning in ldv-git does not work on my machine Vadim Mutilin Pavel Shved Actions
1605 Linux Driver Verification Bug Open Normal ldv-manager/results_model.rb: Ruby DEPRECATION WARNINGs Alexey Khoroshilov Pavel Shved Actions
1580 C Instrumentation Framework Bug Open High Operator Precedence . and typecast Vadim Mutilin Evgeny Novikov Actions
1574 Requality Feature New Normal Переименовывание требований при помощи редактора разметки Yuriy Shekochihin Actions
1562 Linux Driver Verification Feature Open High Automatic checks of ldv-online Evgeny Novikov Evgeny Novikov Actions
1556 Requality Bug New Normal В результате импорта *.doc документов отображаются коды полей Alexey Demakov Actions
1555 Requality Feature_ New Normal Доработка Properties View для документов Alexey Demakov Denis Kildishev Actions
(1701-1800/1959) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF