Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 13.10

Project Date User Activity Issue Comment Hours
MicroTESK 01/24/2018 Pavel Putro Development Bug #8486: Отсутствие связывания констант в smt формулах, генерируемых на основе бинарного кода (команда symexecute). 0.00 Actions
MicroTESK 01/24/2018 Pavel Putro Development Bug #8486: Отсутствие связывания констант в smt формулах, генерируемых на основе бинарного кода (команда symexecute). 0.00 Actions
MicroTESK 01/18/2018 Pavel Putro Development Bug #8486: Отсутствие связывания констант в smt формулах, генерируемых на основе бинарного кода (команда symexecute). Ошибки в symexecute 0.00 Actions
MicroTESK 04/11/2013 Alexander Kamkin Design Task #4055: [mmu] Определение политики вытеснения PLRU 1 0.10 Actions
Linux Driver Verification 08/24/2011 Pavel Shved Development Bug #1649: LDV reporters handle big reports badly 11.00 Actions
UniTESK Reports 06/21/2010 Sergey Groshev Development Bug #240: Угловые скобки при выводе состояния 1.00 Actions
Local Support Project 01/14/2010 Alexey Demakov Development Support #117: Информация про svn клиенты для Linux 1.00 Actions
    (1-7/7)

    Also available in: Atom CSV