2 January 2019
- 16:2516:25, 2 January 2019 diff hist +29 m Bug Fix List - 5.0 Release Mark bug "Won't Fix"
- 06:0506:05, 2 January 2019 diff hist +124 m PVS static analyzer - 5.0 Release Mark bug fixed
- 05:4905:49, 2 January 2019 diff hist +93 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 05:3205:32, 2 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 05:2805:28, 2 January 2019 diff hist +155 m PVS static analyzer - 5.0 Release Mark bug fixed
- 05:1405:14, 2 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug fixed
- 05:1005:10, 2 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug fixed
- 05:0605:06, 2 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 05:0205:02, 2 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 04:5904:59, 2 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug fixed
- 04:5304:53, 2 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 04:2704:27, 2 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug fixed
- 03:5603:56, 2 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 03:5203:52, 2 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 03:4603:46, 2 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 01:5901:59, 2 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 01:5001:50, 2 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
1 January 2019
- 17:3717:37, 1 January 2019 diff hist +155 m PVS static analyzer - 5.0 Release Mark bug fixed
- 17:2317:23, 1 January 2019 diff hist +248 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 17:1717:17, 1 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 17:1417:14, 1 January 2019 diff hist +124 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 17:1217:12, 1 January 2019 diff hist +124 m PVS static analyzer - 5.0 Release Mark bug fixed
- 17:0217:02, 1 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 16:5716:57, 1 January 2019 diff hist +651 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 16:3216:32, 1 January 2019 diff hist +2,232 m PVS static analyzer - 5.0 Release Mark bug fixed
- 16:1516:15, 1 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 02:3902:39, 1 January 2019 diff hist +28 m 5.0.0 Release Checklist Mark task done
31 December 2018
- 20:3420:34, 31 December 2018 diff hist +60 m PVS static analyzer - 5.0 Release Mark bug fixed
- 20:1220:12, 31 December 2018 diff hist +31 m Bug Fix List - 5.0 Release Mark bug "Won't Fix"
- 20:0320:03, 31 December 2018 diff hist +112 m PVS static analyzer - 5.0 Release Add more instructions
- 19:5919:59, 31 December 2018 diff hist +215 m PVS static analyzer - 5.0 Release Add instructions for striking out bugs
- 19:5519:55, 31 December 2018 diff hist −65,956 m PVS static analyzer - 5.0 Release Redo links
- 19:4919:49, 31 December 2018 diff hist +941,647 N PVS static analyzer - 5.0 Release Create page
- 19:4019:40, 31 December 2018 diff hist +69 m 5.0.0 Release Checklist Add new task for static analysis
- 19:3319:33, 31 December 2018 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 19:1319:13, 31 December 2018 diff hist +77 m Bug Fix List - 5.0 Release Add new bug
- 19:1119:11, 31 December 2018 diff hist +29 m Bug Fix List - 5.0 Release Mark bug "Won't Fix"
- 17:5317:53, 31 December 2018 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 17:2417:24, 31 December 2018 diff hist +29 m Bug Fix List - 5.0 Release Mark bug "Won't Fix"
- 17:0217:02, 31 December 2018 diff hist +31 m Bug Fix List - 5.0 Release Mark bug "Won't Fix"
- 16:5816:58, 31 December 2018 diff hist +29 m Bug Fix List - 5.0 Release Mark bug "Won't Fix"
- 16:5116:51, 31 December 2018 diff hist +62 m Bug Fix List - 5.0 Release Add new bug
- 16:4716:47, 31 December 2018 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 16:4316:43, 31 December 2018 diff hist +29 m Bug Fix List - 5.0 Release Mark bug "Won't Fix"
- 16:3416:34, 31 December 2018 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 04:1304:13, 31 December 2018 diff hist +29 m Bug Fix List - 5.0 Release Mark bug "Won't Fix"
- 04:0104:01, 31 December 2018 diff hist −101 m Bug Fix List - 5.0 Release Remove duplicate bug
- 02:1702:17, 31 December 2018 diff hist −62 m Bug Fix List - 5.0 Release Delete duplicate bug
- 02:1702:17, 31 December 2018 diff hist +29 m Bug Fix List - 5.0 Release Mark bug "Won't Fix"
- 01:0001:00, 31 December 2018 diff hist +29 m Bug Fix List - 5.0 Release Mark bug "Won't Fix"