Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 293.08

Project Date User Activity Issue Comment Hours
MicroTESK 01/24/2018 Pavel Putro Development Bug #8486: Отсутствие связывания констант в smt формулах, генерируемых на основе бинарного кода (команда symexecute). 0.00
MicroTESK 01/24/2018 Pavel Putro Development Bug #8486: Отсутствие связывания констант в smt формулах, генерируемых на основе бинарного кода (команда symexecute). 0.00
MicroTESK 01/18/2018 Pavel Putro Development Bug #8486: Отсутствие связывания констант в smt формулах, генерируемых на основе бинарного кода (команда symexecute). Ошибки в symexecute 0.00
Klever 02/15/2017 Vladimir Gratinskiy Development Feature #7020: Scale content in accordance with screen sizes 1.00
Klever 02/15/2017 Vladimir Gratinskiy Development Feature #7164: Support for inlined creation and editing of unsafe marks 21.00
Klever 01/18/2017 Vladimir Gratinskiy Development Bug #7864: Some parts of visualized error traces are incorrectly duplicated 5.00
Klever 01/14/2017 Vladimir Gratinskiy Development Bug #7821: Incorrectly visualized error trace function call stack padding 8.00
Klever 01/12/2017 Vladimir Gratinskiy Development Bug #7848: Can't see lists of unsafes 0.20
Klever 01/11/2017 Vladimir Gratinskiy Development Feature #7836: Show progress when saving jobs 0.10
Klever 12/14/2016 Vladimir Gratinskiy Development Bug #7802: Bridge throws exception on uploading unknown report 1.00
Klever 12/09/2016 Vladimir Gratinskiy Development Feature #7793: Show CPU time for verification tasks 1.00
Klever 12/06/2016 Vladimir Gratinskiy Development Feature #7739: Simplify the main page with jobs table 0.30
Klever 12/06/2016 Vladimir Gratinskiy Development Bug #7779: The "Stop decision" button does not work 0.50
Klever 12/06/2016 Vladimir Gratinskiy Development Bug #7778: Klever may fail on deleting Unsafe mark 1.00
Klever 11/28/2016 Vladimir Gratinskiy Development Feature #6814: Exclude auxiliary functions of environment models from error traces comparison 7.00
Klever 11/16/2016 Vladimir Gratinskiy Development Feature #7640: By default hide all edges from error traces without important annotations 10.00
Klever 11/16/2016 Vladimir Gratinskiy Development Feature #7580: Download verifications tasks for the SV-COMP 2.00
Klever 11/16/2016 Vladimir Gratinskiy Development Feature #7460: Improve reports comparison 0.50
Klever 11/16/2016 Vladimir Gratinskiy Development Feature #7639: Visualize actions of environment model scenarios 20.00
Klever 11/16/2016 Vladimir Gratinskiy Development Feature #7624: Visualize multiple threads in error traces 30.00
Klever 11/16/2016 Vladimir Gratinskiy Development Feature #6813: Hide code of environment model in error traces by default 10.00
Klever 11/16/2016 Vladimir Gratinskiy Development Bug #7658: Report error when analyzing error traces and connection is lost 0.50
Klever 11/16/2016 Vladimir Gratinskiy Development Bug #7722: Zero number of safes in the table on the main page 0.30
Klever 11/15/2016 Vladimir Gratinskiy Development Feature #7620: Decrease error trace assumptions window size if assumptions are disabled 1.00
Klever 11/15/2016 Vladimir Gratinskiy Development Bug #7567: Properly parse multi-line function calls 0.01
(1-25/94) Per page: 25, 50, 100

Also available in: Atom CSV