Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
1536 Requality Bug New Normal Крэш в JRE Константин Власов Actions
1520 Linux Driver Verification Feature Open Normal Redesign comparison in statistics server Evgeny Novikov Evgeny Novikov Actions
1517 Linux Driver Verification Bug Open High Prevent installation of gems (and other modules if so) through remote network Evgeny Novikov Evgeny Novikov Actions
1514 Linux Driver Verification Feature Open Normal Show addtional information on unsafes and unknowns in comparison Evgeny Novikov Evgeny Novikov Actions
1490 BuildBase Support New Normal Визуализация зависимостей между target Yuriy Shekochihin Actions
1476 C Instrumentation Framework Bug Open Low Implement bit_field_ref in the proper way Evgeny Novikov Evgeny Novikov Actions
1449 C Instrumentation Framework Bug Open High aspectator build issue on x86-64: multilib building Alexey Khoroshilov Evgeny Novikov Actions
1425 Requality Task New Normal Проверка целостности модели данных Alexey Khoroshilov Actions
1419 Linux Driver Verification Feature Open High Shorten entry point names Evgeny Novikov Ilja Zakharov Actions
1406 Aspectrace Task New Normal Ноль вместо знака вопроса в Failures Alexander Sortov Anastasia Tugaenko Actions
1393 Requality Feature New Normal Сделать в диалоге Requirement Selection умолчальное выделение Константин Власов Actions
1366 Linux Driver Verification Bug Open Normal Env-gen prints 'no_instrument_function' attribute obtained from function declarations for auxiliary variables Pavel Shved Vadim Mutilin Actions
1365 Linux Driver Verification Bug Open Normal Information on a profile is collected for each page Evgeny Novikov Evgeny Novikov Actions
1359 Requality Bug New Low Сообщение об ошибке при импорте, содержащее details из другой ошибки. Viktoria Kopach Vladimir Fedotov Actions
1354 Linux Driver Verification Bug New Normal Local run loses drivers Vadim Mutilin Pavel Shved Actions
1334 Linux Driver Verification Bug New Normal CIL translates local label out into a global one Vadim Mutilin Actions
1333 Linux Driver Verification Bug New Normal CIL misses fields in unions Vadim Mutilin Actions
1327 Requality Feature New Low Properties view -> Source: ускорить прокрутку колесиком мыши Viktoria Kopach Actions
1323 Linux Driver Verification Bug Open Normal CIL doesn't appear to know GNU extension 'asm goto' Evgeny Novikov Vadim Mutilin Actions
1313 Linux Driver Verification Bug New Normal Infinite sequence models are flawed Pavel Shved Vadim Mutilin Actions
1312 Linux Driver Verification Bug Open Normal Timeout script sometimes fails with "No child processes" message Pavel Shved Vitaly Mordan Actions
1307 Linux Driver Verification Feature New Normal Supply several model databases Pavel Shved Pavel Shved Actions
1306 Linux Driver Verification Feature Open High Implement -fdepth option in the more intellectual way Evgeny Novikov Pavel Shved Actions
1293 Linux Driver Verification Bug New Normal DEG error: storage size of some variables isn't known Vadim Mutilin Actions
1281 Requality Bug New Normal Удаление папки блокирует eclipse Vladimir Fedotov Actions
1276 Linux Driver Verification Bug New Normal Compile errors made by DEG (rollup) Evgeny Novikov Vadim Mutilin Actions
1267 С++TESK Development Environment Task New Normal Визарды Alexander Kamkin Actions
1261 Linux Driver Verification Feature New Normal Automatically prepare builds of development branches each night Pavel Shved Pavel Shved Actions
1260 Linux Driver Verification Bug Open Normal Some model comments for 39_7 are implemented incorrectly Evgeny Novikov Vadim Mutilin Actions
1237 Linux Driver Verification Bug New Normal 68_1 model is incomplete without usb_get_urb() Alexey Khoroshilov Vadim Mutilin Actions
1236 Linux Driver Verification Bug Open Normal Finding model functions by ldv_ prefix Alexey Khoroshilov Evgeny Novikov Actions
1230 C Instrumentation Framework Bug Open High Aspectator doesn't work correctly with disjunction of define pointcuts Evgeny Novikov Evgeny Novikov Actions
1195 Linux Driver Verification Bug Open Normal drv-env fails to generate ifdefs for interrupt handler in yellowfin.ko Vadim Mutilin Vadim Mutilin Actions
1186 Veritool Task New Normal Скрипт установки Icarus Verilog Alexander Kamkin Alexander Kamkin Actions
1185 Veritool Task New Normal Инструментирование Verilog-кода и отслеживание покрытия по коду Alexander Kamkin Sergey Smolov Actions
1167 Linux Driver Verification Bug Open Normal Bugs related with 32_1a model Pavel Shved Actions
1155 Linux Driver Verification Bug New Normal If ldv-manager is stopped in kernel unpacking it doesn't work then Evgeny Novikov Pavel Shved Actions
1138 C Instrumentation Framework Bug Open High C back-end prints exceeding information for unnamed structures and unions Evgeny Novikov Evgeny Novikov Actions
1133 Linux Driver Verification Feature Open Low Make QA to tell us data locations for the small regression tests as well as for the medium ones Evgeny Novikov Actions
1127 Linux Driver Verification Task New Normal Check that ETV shows skipped function usb_free_urb for af9005-fe.ko Vadim Mutilin Vadim Mutilin Actions
1096 Linux Driver Verification Bug Open Normal Compiling one ruby gem requires installed version of another Pavel Shved Pavel Shved Actions
1083 Requality Feature New Low Минимальная высота полей в Properties view Viktoria Kopach Actions
1078 Aspectrace Feature New Normal Генератор отчетов и документация Mikhail Chupilko Alexey Demakov Actions
1069 BLAST Bug New Normal BLAST goes to local label out instead of global one or vice versa Vadim Mutilin Actions
1068 C Instrumentation Framework Bug New High Aspectator core at the first stage doesn't treat errors Evgeny Novikov Evgeny Novikov Actions
1064 Linux Driver Verification Bug Open Normal Build command extractor requires some refactoring Evgeny Novikov Ilja Zakharov Actions
1059 Linux Driver Verification Bug Open Normal Support versions of RabbitMQ newer than 2.0.0 Pavel Shved Pavel Shved Actions
1049 Linux Driver Verification Bug Resolved Normal Incorrect order of irq function calls for irq_chip Alexey Khoroshilov Ilja Zakharov Actions
1044 Veritool Task Feedback Normal Перенос репозитория тестов Alexander Kamkin Alexander Kamkin Actions
1037 Linux Driver Verification Feature New Normal Why the LDV needs to compile drivers? Andrey Ponomarenko Actions
1036 Linux Driver Verification Bug Open Normal gcc 4.6.0 doesn't support full kernel build Evgeny Novikov Actions
1031 Linux Driver Verification Bug New Normal Analysis of driver failed: error: linux/config.h: No such file or directory Andrey Ponomarenko Actions
1030 Linux Driver Verification Feature New Normal Create the configure script Andrey Ponomarenko Actions
1019 Linux Driver Verification Bug New Normal Our models are not correctly understood by CPAchecker Pavel Shved Mikhail Mandrykin Actions
1012 Linux Driver Verification Bug New Normal BLAST and CPAchecker do not agree on safety of certain drivers Pavel Shved Mikhail Mandrykin Actions
1010 Requality Feature New Normal Рефакторинг (меню Move и Rename) Viktoria Kopach Actions
1000 Linux Driver Verification Feature Open High Configure like tests for changes in kernel core API Alexey Khoroshilov Evgeny Novikov Actions
975 C Instrumentation Framework Feature New Low Investigate C back-end convergence Evgeny Novikov Actions
972 Linux Driver Verification Bug Open Normal Incomplete error trace sources for input/evdev.c Alexey Khoroshilov Evgeny Novikov Actions
971 Linux Driver Verification Bug New Normal DEG: Incorrect order of seq_operations Alexey Khoroshilov Vadim Mutilin Actions
970 C Instrumentation Framework Feature Open High Change the way of errors handling in aspectator Evgeny Novikov Evgeny Novikov Actions
967 Linux Driver Verification Feature Open Normal Think on error traces "signatures" Evgeny Novikov Evgeny Novikov Actions
965 Linux Driver Verification Feature New Normal Prevent analysis of drivers without main Evgeny Novikov Actions
958 Linux Driver Verification Bug New Normal Useless defines are generated by DEG Evgeny Novikov Vadim Mutilin Actions
957 Requality Feature New Normal Контекстное меню в Outline Alexey Demakov Actions
947 Linux Driver Verification Bug New Normal Verifier options can't be found for safe and unsafe drivers Evgeny Novikov Evgeny Novikov Actions
946 Linux Driver Verification Feature Open Low Implement intellectual function bodies closing in the more efficient way Evgeny Novikov Evgeny Novikov Actions
930 BLAST Bug New Low CIL's simeplemem does not respect line numbers Pavel Shved Vadim Mutilin Actions
929 UniTESK Reports Bug New Normal Неверное представление булевских значений. Андрей Максимов Actions
925 Linux Driver Verification Bug Open Normal LDV-Online sometimes prints incorrect links Evgeny Novikov Evgeny Novikov Actions
921 Linux Driver Verification Bug Open Normal Incorrect ifdefs for group parameters Vadim Mutilin Vadim Mutilin Actions
883 Requality Bug New Normal Производительность на проекте с большим числом документов Vladimir Fedotov Actions
882 Requality Bug New Normal Деградация производительности в ходе импорта большого числа документов Vladimir Fedotov Actions
877 C Instrumentation Framework Feature New High Try to use gcc tests for C backend Evgeny Novikov Evgeny Novikov Actions
858 Linux Driver Verification Bug New Low LDV online - set 'Build failed' to task when build description contains SOAP warning messages Alexandr Strakh Actions
846 Requality User Story New Low Реализовать расширенную функциональность импорта документов старого формата Yuriy Shekochihin Actions
839 Linux Driver Verification Bug New Normal Processing of build type check expressions Vadim Mutilin Actions
833 Linux Driver Verification Bug Open Normal CSD - Bind address error Alexandr Strakh Ilja Zakharov Actions
823 Linux Driver Verification Bug New Normal Fail reported in BCE instead of DEG Vadim Mutilin Ilja Zakharov Actions
822 UniTESK Reports Bug New Normal Отчет не генерируется по трассе Eugene Gerlits Alexey Demakov UniTESK Reports - 2.7 Actions
819 Linux Driver Verification Bug Open Low Warning during uploading task in LDV-online Alexandr Strakh Evgeny Novikov Actions
817 Linux Driver Verification Feature New Normal Smart management of node capabilities Alexey Khoroshilov Pavel Shved Actions
798 Linux Driver Verification Bug Open Normal Cut off trace Vadim Mutilin Evgeny Novikov Actions
785 Linux Driver Verification Bug New Normal Develop model 32_8 that takes into account mutex_lock_nested, etc. Alexey Khoroshilov Actions
782 Linux Driver Verification Bug New Normal linux-2.6.37.y isn't compiled: problem of ldv-git or kernel core? Evgeny Novikov Pavel Shved Actions
778 CTESK Bug New Normal Проблемы документации Андрей Максимов Actions
768 Requality User Story New Normal Возможность создавать проект в произвольном каталоге Alexey Demakov Actions
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
336 BLAST Bug Open Normal Interpolants where real numbers are used are ignored by BLAST Pavel Shved Pavel Shved Actions
333 BLAST Feature New Low Restrict abstraction to the actual values used Pavel Shved Pavel Shved Actions
332 BLAST Bug Open Normal Alias analyzer doesn't alias int with volatile int! Pavel Shved Pavel Shved Actions
331 BLAST Bug Open Normal Globals without an explicit initializer are not initialized as zeros! Pavel Shved Pavel Shved Actions
329 BLAST Bug Open Low Blast fails on very simple programs Pavel Shved Pavel Shved Actions
328 BLAST Bug Open Low Short logic when calling functions in conditions should be implemented correctly Pavel Shved Actions
327 BLAST Feature Open Normal Reasoning about pointer inequalities is necessary for analysis Pavel Shved Actions
300 CTESK Bug New Normal Атомарность работы со ссылками Sergey Groshev CTESK - 2.9 Actions
292 Aspectrace Task New Normal Генератор отчетов для аспекта FSM Alexander Kamkin Sergey Groshev Actions
290 Aspectrace Task New Normal Аспект FSM: трассировка переходов Alexander Kamkin Alexey Demakov Actions
289 Aspectrace Task New Normal Кодировка по умолчанию Alexander Kamkin Sergey Groshev Actions
279 CTESK Task New Normal Библиотека рандомизации Alexander Kamkin Alexey Demakov Actions
250 тест2 Bug Resolved Normal Bug in non-importanto component, test2 Pavel Shved Actions
240 UniTESK Reports Bug Resolved Normal Угловые скобки при выводе состояния Alexey Demakov Alexey Demakov UniTESK Reports - 2.7 Actions
228 JavaTESK Bug New Normal Плагин JavaTESK не работает вместе с плагином CTESK Eugene Kornykhin Yuriy Shekochihin JavaTESK - 2.3.176-alpha-100115 Actions
199 JavaTESK Bug Resolved Normal Checker: Неправильный тип элемента массива в циклах Eugene Kornykhin Eugene Kornykhin JavaTESK - 2.3.176-alpha-100115 Actions
195 JavaTESK Bug Resolved Normal Checker: не проходит проверка соответствия класса и raw-параметризованного типа Eugene Kornykhin Eugene Kornykhin JavaTESK - 2.3.176-alpha-100115 Actions
192 JavaTESK Bug Resolved Normal Checker: неправильный возвращаемый тип метода getClass Eugene Kornykhin Eugene Kornykhin Actions
74 CTESK Feature New Normal Определение пост-покрытий Alexey Demakov CTESK - 2.9 Actions
57 Common Language ToolKit Task Resolved Normal Fix license information Alexey Demakov Actions
12 UniTestNG Task New Low specifiy excluded dirs/files using property, not directly in Java files Alexey Demakov UniTestNG - 1.2 Actions
11 CTESK Task New Low Update CLTK dependencies Alexey Demakov Yuriy Shekochihin Actions
(1751-1963/1963) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF