Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
(2101-2122/2122) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF