Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 279.98

Date User Activity Issue Comment Hours
02/15/2017 Vladimir Gratinskiy Development Feature #7020: Scale content in accordance with screen sizes 1.00
02/15/2017 Vladimir Gratinskiy Development Feature #7164: Support for inlined creation and editing of unsafe marks 21.00
01/18/2017 Vladimir Gratinskiy Development Bug #7864: Some parts of visualized error traces are incorrectly duplicated 5.00
01/14/2017 Vladimir Gratinskiy Development Bug #7821: Incorrectly visualized error trace function call stack padding 8.00
01/12/2017 Vladimir Gratinskiy Development Bug #7848: Can't see lists of unsafes 0.20
01/11/2017 Vladimir Gratinskiy Development Feature #7836: Show progress when saving jobs 0.10
12/14/2016 Vladimir Gratinskiy Development Bug #7802: Bridge throws exception on uploading unknown report 1.00
12/09/2016 Vladimir Gratinskiy Development Feature #7793: Show CPU time for verification tasks 1.00
12/06/2016 Vladimir Gratinskiy Development Feature #7739: Simplify the main page with jobs table 0.30
12/06/2016 Vladimir Gratinskiy Development Bug #7779: The "Stop decision" button does not work 0.50
12/06/2016 Vladimir Gratinskiy Development Bug #7778: Klever may fail on deleting Unsafe mark 1.00
11/28/2016 Vladimir Gratinskiy Development Feature #6814: Exclude auxiliary functions of environment models from error traces comparison 7.00
11/16/2016 Vladimir Gratinskiy Development Feature #7640: By default hide all edges from error traces without important annotations 10.00
11/16/2016 Vladimir Gratinskiy Development Feature #7580: Download verifications tasks for the SV-COMP 2.00
11/16/2016 Vladimir Gratinskiy Development Feature #7460: Improve reports comparison 0.50
11/16/2016 Vladimir Gratinskiy Development Feature #7639: Visualize actions of environment model scenarios 20.00
11/16/2016 Vladimir Gratinskiy Development Feature #7624: Visualize multiple threads in error traces 30.00
11/16/2016 Vladimir Gratinskiy Development Feature #6813: Hide code of environment model in error traces by default 10.00
11/16/2016 Vladimir Gratinskiy Development Bug #7658: Report error when analyzing error traces and connection is lost 0.50
11/16/2016 Vladimir Gratinskiy Development Bug #7722: Zero number of safes in the table on the main page 0.30
11/15/2016 Vladimir Gratinskiy Development Feature #7620: Decrease error trace assumptions window size if assumptions are disabled 1.00
11/15/2016 Vladimir Gratinskiy Development Bug #7567: Properly parse multi-line function calls 0.01
10/26/2016 Vladimir Gratinskiy Development Bug #7636: Error trace visualizer doesn't complain if meets returns from non-entered functions 0.50
10/26/2016 Vladimir Gratinskiy Development Bug #7637: Properly determine entry point beginning Some refactoring in error traces is included in the commit. 1.00
10/25/2016 Vladimir Gratinskiy Development Feature #7624: Visualize multiple threads in error traces 12.00
(1-25/87) Per page: 25, 50, 100

Also available in: Atom CSV