Spent time
https://forge.ispras.ru/
https://forge.ispras.ru/favicon.ico?1649012669
2018-01-24T16:23:48Z
Open-Source Projects
Redmine
MicroTESK - 0.00 hour (Bug #8486 (Closed): Отсутствие связывания констант в smt формулах, генерир...
https://forge.ispras.ru/projects/microtesk/time_entries?issue_id=8486
2018-01-24T16:23:48Z
Pavel Putro
pavel.putro@ispras.ru
MicroTESK - 0.00 hour (Bug #8486 (Closed): Отсутствие связывания констант в smt формулах, генерир...
https://forge.ispras.ru/projects/microtesk/time_entries?issue_id=8486
2018-01-23T22:27:48Z
Pavel Putro
pavel.putro@ispras.ru
MicroTESK - 0.00 hour (Bug #8486 (Closed): Отсутствие связывания констант в smt формулах, генерир...
https://forge.ispras.ru/projects/microtesk/time_entries?issue_id=8486
2018-01-17T21:42:57Z
Pavel Putro
pavel.putro@ispras.ru
<p>Ошибки в symexecute</p>
MicroTESK - 0.10 hour (Task #4055 (Closed): [mmu] Определение политики вытеснения PLRU)
https://forge.ispras.ru/projects/microtesk/time_entries?issue_id=4055
2013-04-11T14:16:47Z
Alexander Kamkin
askamkin@gmail.com
<p>1</p>
Linux Driver Verification - 11.00 hours (Bug #1649 (Closed): LDV reporters handle big reports badly)
https://forge.ispras.ru/projects/ldv/time_entries?issue_id=1649
2011-08-24T10:17:24Z
Pavel Shved
pavel.shved@gmail.com
UniTESK Reports - 1.00 hour (Bug #240 (Resolved): Угловые скобки при выводе состояния)
https://forge.ispras.ru/projects/utt/time_entries?issue_id=240
2010-06-21T11:29:05Z
Sergey Groshev
sgroshev@ispras.ru
Local Support Project - 1.00 hour (Support #117 (Closed): Информация про svn клиенты для Linux)
https://forge.ispras.ru/projects/support/time_entries?issue_id=117
2010-01-14T08:25:57Z
Alexey Demakov