7 January 2019
- 22:5022:50, 7 January 2019 diff hist +29 m Bug Fix List - 5.0 Release Mark bug "Won't Fix"
- 22:4522:45, 7 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 22:3922:39, 7 January 2019 diff hist +128 m Bug Fix List - 5.0 Release Add new bug
- 06:0606:06, 7 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 06:0606:06, 7 January 2019 diff hist +31 m PVS static analyzer - 5.0 - Run 1 Mark bug "Won't Fix"
- 06:0006:00, 7 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug fixed
- 05:5505:55, 7 January 2019 diff hist +279 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 05:5405:54, 7 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 05:5105:51, 7 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 05:4705:47, 7 January 2019 diff hist +2,511 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 05:4405:44, 7 January 2019 diff hist +93 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 05:4205:42, 7 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 05:3905:39, 7 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 05:3505:35, 7 January 2019 diff hist +186 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 05:3305:33, 7 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug fixed
- 05:2705:27, 7 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 05:2405:24, 7 January 2019 diff hist +124 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 05:2105:21, 7 January 2019 diff hist +868 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 01:3601:36, 7 January 2019 diff hist +1,674 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
6 January 2019
- 22:1622:16, 6 January 2019 diff hist +403 m PVS static analyzer - 5.0 Release Mark bug fixed
- 22:1122:11, 6 January 2019 diff hist +1,860 m PVS static analyzer - 5.0 Release Mark bug fixed
- 22:0522:05, 6 January 2019 diff hist +2,325 m PVS static analyzer - 5.0 Release Mark bug fixed
- 21:5921:59, 6 January 2019 diff hist +1,302 m PVS static analyzer - 5.0 Release Mark bug fixed
- 21:5221:52, 6 January 2019 diff hist +1,457 m PVS static analyzer - 5.0 Release Mark bug fixed
- 21:4521:45, 6 January 2019 diff hist +1,147 m PVS static analyzer - 5.0 Release Mark bug fixed
- 21:3821:38, 6 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 21:3721:37, 6 January 2019 diff hist +93 m PVS static analyzer - 5.0 Release Mark bug fixed
- 21:3621:36, 6 January 2019 diff hist +124 m PVS static analyzer - 5.0 Release Mark bug fixed
- 21:3521:35, 6 January 2019 diff hist +651 m PVS static analyzer - 5.0 Release Mark bug fixed
- 21:3321:33, 6 January 2019 diff hist +465 m PVS static analyzer - 5.0 Release Mark bug fixed
- 21:3121:31, 6 January 2019 diff hist +186 m PVS static analyzer - 5.0 Release Mark bug fixed
- 21:2821:28, 6 January 2019 diff hist +124 m PVS static analyzer - 5.0 Release Mark bug fixed
- 21:2621:26, 6 January 2019 diff hist +186 m PVS static analyzer - 5.0 Release Mark bug fixed
- 21:2421:24, 6 January 2019 diff hist +155 m PVS static analyzer - 5.0 Release Mark bug fixed
- 21:2121:21, 6 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 21:2021:20, 6 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 21:1721:17, 6 January 2019 diff hist +620 m PVS static analyzer - 5.0 Release Mark bug fixed
- 21:1421:14, 6 January 2019 diff hist +651 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 21:1221:12, 6 January 2019 diff hist +713 m PVS static analyzer - 5.0 Release Mark bug fixed
- 21:1021:10, 6 January 2019 diff hist +1,023 m PVS static analyzer - 5.0 Release Mark bug fixed
- 21:0721:07, 6 January 2019 diff hist +682 m PVS static analyzer - 5.0 Release Mark bug fixed
- 16:1516:15, 6 January 2019 diff hist +19,313 m PVS static analyzer - 5.0 Release Mark all op bugs as won't fix
- 16:1016:10, 6 January 2019 diff hist +217 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 16:0816:08, 6 January 2019 diff hist +1,023 m PVS static analyzer - 5.0 Release Mark all libgnu as won't fix
- 16:0616:06, 6 January 2019 diff hist +1,457 m PVS static analyzer - 5.0 Release Mark all libgnu as won't fix
- 16:0416:04, 6 January 2019 diff hist −63,224 m PVS static analyzer - 5.0 Release Update links
- 15:5915:59, 6 January 2019 diff hist −3,299 m PVS static analyzer - 5.0 Release Update to run2 results
- 15:5215:52, 6 January 2019 diff hist +900,660 N PVS static analyzer - 5.0 - Run 1 Add link back to base PVS page
- 15:5015:50, 6 January 2019 diff hist +107 m PVS static analyzer - 5.0 Release Add link to Run 1 page
5 January 2019
- 19:1419:14, 5 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed