User contributions for Rik
Jump to navigation
Jump to search
12 December 2019
- 17:3017:30, 12 December 2019 diff hist +19 m 6.1 Release Checklist Mark task done
11 December 2019
- 04:3404:34, 11 December 2019 diff hist +19 m 6.1 Release Checklist Mark task done
- 04:3404:34, 11 December 2019 diff hist +19 m 6.1 Release Checklist Mark task done
- 04:2504:25, 11 December 2019 diff hist +19 m 6.1 Release Checklist Mark task done
- 01:5801:58, 11 December 2019 diff hist +19 m 6.1 Release Checklist Mark task done
10 December 2019
- 23:2323:23, 10 December 2019 diff hist +19 m 6.1 Release Checklist Mark task done
19 September 2019
- 17:5517:55, 19 September 2019 diff hist +50 m Projects Add reference to Pairwise Summation
- 17:5417:54, 19 September 2019 diff hist +298 m Projects Two new projects involving sum()
25 February 2019
- 23:2323:23, 25 February 2019 diff hist +65 m 5.0.0 Release Checklist Mark task done
- 23:1823:18, 25 February 2019 diff hist +57 m 5.0.0 Release Checklist Mark task done
- 23:1623:16, 25 February 2019 diff hist +39 m 5.0.0 Release Checklist Mark task done
15 February 2019
- 19:2919:29, 15 February 2019 diff hist +103 m Bug Fix List - 5.0 Release Add new bug
- 19:2519:25, 15 February 2019 diff hist +79 m Bug Fix List - 5.0 Release Add new bug
- 19:2419:24, 15 February 2019 diff hist +99 m Bug Fix List - 5.0 Release Add new bug
4 February 2019
- 17:3217:32, 4 February 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
3 February 2019
- 15:5915:59, 3 February 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 15:5815:58, 3 February 2019 diff hist +63 m Bug Fix List - 5.0 Release Add new bug
- 15:4115:41, 3 February 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 15:3815:38, 3 February 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 15:3215:32, 3 February 2019 diff hist +29 m Bug Fix List - 5.0 Release Mark bug "Won't Fix"
- 15:2015:20, 3 February 2019 diff hist +29 m Bug Fix List - 5.0 Release Mark bug "Won't Fix"
- 15:1015:10, 3 February 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 15:0715:07, 3 February 2019 diff hist +87 m Bug Fix List - 5.0 Release Add new bug
- 15:0315:03, 3 February 2019 diff hist +113 m Bug Fix List - 5.0 Release Add new bug
- 15:0115:01, 3 February 2019 diff hist +56 m Bug Fix List - 5.0 Release Add new bug
23 January 2019
- 22:5022:50, 23 January 2019 diff hist +29 m Bug Fix List - 5.0 Release Mark bug "Won't Fix"
- 22:4822:48, 23 January 2019 diff hist +29 m Bug Fix List - 5.0 Release Mark bug "Won't Fix"
- 22:3522:35, 23 January 2019 diff hist −119 m Bug Fix List - 5.0 Release Delete duplicate bug
- 22:0322:03, 23 January 2019 diff hist +88 m Bug Fix List - 5.0 Release Add new bug
- 22:0022:00, 23 January 2019 diff hist +299 m Bug Fix List - 5.0 Release Add new bug
- 21:5421:54, 23 January 2019 diff hist +125 m Bug Fix List - 5.0 Release Mark bug "Won't Fix"
22 January 2019
- 23:5923:59, 22 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 20:5920:59, 22 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 20:5920:59, 22 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 02:1202:12, 22 January 2019 diff hist +117 m Bug Fix List - 5.0 Release Add new bug
20 January 2019
- 05:1205:12, 20 January 2019 diff hist +35 m Bug Fix List - 5.0 Release Mark bug "Won't Fix"
- 05:0105:01, 20 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 04:5804:58, 20 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 04:5604:56, 20 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 04:5504:55, 20 January 2019 diff hist +19 m 5.0.0 Release Checklist Mark task done
19 January 2019
- 06:0406:04, 19 January 2019 diff hist +8 m 5.0.0 Release Checklist Mark task done
18 January 2019
- 22:5122:51, 18 January 2019 diff hist +19 m 5.0.0 Release Checklist Mark bug fixed
- 21:5821:58, 18 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 21:5821:58, 18 January 2019 diff hist +1 m Bug Fix List - 5.0 Release →Bugs with severity >= 4
- 21:5721:57, 18 January 2019 diff hist +87 m Bug Fix List - 5.0 Release Add new bug
17 January 2019
- 21:5521:55, 17 January 2019 diff hist −88 m Bug Fix List - 5.0 Release →Bugs marked as regressions
- 21:5521:55, 17 January 2019 diff hist +88 m Bug Fix List - 5.0 Release Add new bug
- 18:5218:52, 17 January 2019 diff hist 0 m Bug Fix List - 5.0 Release Add new bug
- 17:1417:14, 17 January 2019 diff hist +212 m Bug Fix List - 5.0 Release Add new bug
- 17:0617:06, 17 January 2019 diff hist +58 m 5.0.0 Release Checklist Add new bug
- 17:0417:04, 17 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 17:0217:02, 17 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 16:3616:36, 17 January 2019 diff hist +46 m 5.0.0 Release Checklist Mark task done
- 04:1004:10, 17 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mar
- 02:5502:55, 17 January 2019 diff hist −18 m 5.0.0 Release Checklist Mark task done
- 02:5402:54, 17 January 2019 diff hist +27 m 5.0.0 Release Checklist Mark task done
16 January 2019
- 16:5616:56, 16 January 2019 diff hist +19 m 5.0.0 Release Checklist Mark task done
- 06:2506:25, 16 January 2019 diff hist +206 m Bug Fix List - 5.0 Release Add new bug
14 January 2019
- 05:3505:35, 14 January 2019 diff hist +28 m 5.0.0 Release Checklist Mark bug "Won't Fix"
- 05:3405:34, 14 January 2019 diff hist +7 m 5.0.0 Release Checklist →5.0.0 Release Tasks
- 05:3305:33, 14 January 2019 diff hist +143 m 5.0.0 Release Checklist Mark task done
- 00:0300:03, 14 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
12 January 2019
- 00:1800:18, 12 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 00:1600:16, 12 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 00:1400:14, 12 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 00:0500:05, 12 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
11 January 2019
- 23:2923:29, 11 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 23:2023:20, 11 January 2019 diff hist +76 m Bug Fix List - 5.0 Release Add new bug
- 23:1923:19, 11 January 2019 diff hist +204 m Bug Fix List - 5.0 Release Add new bug
- 23:1623:16, 11 January 2019 diff hist +83 m Bug Fix List - 5.0 Release Add new bug
10 January 2019
- 16:4316:43, 10 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
9 January 2019
- 16:3616:36, 9 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 05:3805:38, 9 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 05:2205:22, 9 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug fixed
- 05:0705:07, 9 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug fixed
- 05:0005:00, 9 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 04:5504:55, 9 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 04:5204:52, 9 January 2019 diff hist +93 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 04:4804:48, 9 January 2019 diff hist +248 m PVS static analyzer - 5.0 Release Mark bug fixed
- 04:4104:41, 9 January 2019 diff hist +744 m PVS static analyzer - 5.0 Release Mark bug fixed
- 01:2201:22, 9 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 01:2101:21, 9 January 2019 diff hist +124 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 01:2001:20, 9 January 2019 diff hist +1,240 m PVS static analyzer - 5.0 Release Mark bug fixed
- 00:4600:46, 9 January 2019 diff hist +651 m PVS static analyzer - 5.0 Release Mark bug fixed
8 January 2019
- 20:3120:31, 8 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 20:1620:16, 8 January 2019 diff hist +155 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 20:1320:13, 8 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 20:0820:08, 8 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 19:5619:56, 8 January 2019 diff hist +124 m PVS static analyzer - 5.0 Release Mark bug fixed
- 06:2206:22, 8 January 2019 diff hist +124 m PVS static analyzer - 5.0 Release Mark bug fixed
- 06:1006:10, 8 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 06:0006:00, 8 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 05:5905:59, 8 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug fixed
- 05:5505:55, 8 January 2019 diff hist +279 m PVS static analyzer - 5.0 Release Mark bug fixed
- 01:1001:10, 8 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 01:0801:08, 8 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
7 January 2019
- 23:5123:51, 7 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 23:4823:48, 7 January 2019 diff hist +93 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 23:3823:38, 7 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 23:2923:29, 7 January 2019 diff hist +21 m 5.0.0 Release Checklist →5.0.0 Release Tasks
- 22:5322:53, 7 January 2019 diff hist +101 m Bug Fix List - 5.0 Release Mark bug "Won't Fix"
- 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
- 19:1119:11, 5 January 2019 diff hist +217 m PVS static analyzer - 5.0 Release Mark bug fixed
- 19:0319:03, 5 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug fixed
- 18:5718:57, 5 January 2019 diff hist +124 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 18:4118:41, 5 January 2019 diff hist +110 m Bug Fix List - 5.0 Release Mark bug fixed
- 16:1916:19, 5 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 16:1316:13, 5 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 16:0616:06, 5 January 2019 diff hist +93 m PVS static analyzer - 5.0 Release Mark bug fixed
- 15:1115:11, 5 January 2019 diff hist +155 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 15:0415:04, 5 January 2019 diff hist +93 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 14:5914:59, 5 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 14:5714:57, 5 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 06:1006:10, 5 January 2019 diff hist +248 m PVS static analyzer - 5.0 Release Mark bug fixed
- 05:5705:57, 5 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug fixed
- 05:4305:43, 5 January 2019 diff hist +93 m PVS static analyzer - 5.0 Release Mark bug fixed
- 05:2605:26, 5 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 02:0502:05, 5 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 01:5901:59, 5 January 2019 diff hist +93 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 01:5301:53, 5 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 01:0101:01, 5 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 00:5600:56, 5 January 2019 diff hist +341 m PVS static analyzer - 5.0 Release Mark bug fixed
- 00:2500:25, 5 January 2019 diff hist +620 m PVS static analyzer - 5.0 Release Mark bug fixed
4 January 2019
- 23:5123:51, 4 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 23:4523:45, 4 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 23:3723:37, 4 January 2019 diff hist +1,023 m PVS static analyzer - 5.0 Release Mark bug fixed
- 23:2623:26, 4 January 2019 diff hist +589 m PVS static analyzer - 5.0 Release Mark bug fixed
- 23:1323:13, 4 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug fixed
- 23:0223:02, 4 January 2019 diff hist +186 m PVS static analyzer - 5.0 Release Mark bug fixed
- 22:4022:40, 4 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 22:3822:38, 4 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 22:3522:35, 4 January 2019 diff hist +2,418 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 22:3022:30, 4 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 22:1022:10, 4 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 22:0822:08, 4 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 22:0622:06, 4 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 22:0322:03, 4 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug fixed
- 21:4121:41, 4 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 21:4021:40, 4 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug fixed
- 21:3021:30, 4 January 2019 diff hist +10 m Bug Fix List - 5.0 Release Mark bug "Won't Fix"
- 21:2921:29, 4 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 20:1820:18, 4 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 20:0520:05, 4 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 19:4119:41, 4 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 05:5305:53, 4 January 2019 diff hist +403 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 05:5005:50, 4 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 05:4505:45, 4 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 00:3700:37, 4 January 2019 diff hist +19 m Bug Fix List - 5.0 Release Mark bug fixed
- 00:0300:03, 4 January 2019 diff hist +1,271 m PVS static analyzer - 5.0 Release Mark bug fixed
3 January 2019
- 23:2523:25, 3 January 2019 diff hist +372 m PVS static analyzer - 5.0 Release Mark bug fixed
- 23:0723:07, 3 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 23:0223:02, 3 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 23:0023:00, 3 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 22:5222:52, 3 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 22:5222:52, 3 January 2019 diff hist +124 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 22:5022:50, 3 January 2019 diff hist +961 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 22:4122:41, 3 January 2019 diff hist +124 m PVS static analyzer - 5.0 Release Mark bug fixed
- 18:5118:51, 3 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug fixed
- 18:2418:24, 3 January 2019 diff hist +372 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 18:2218:22, 3 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 18:1418:14, 3 January 2019 diff hist +124 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 18:1118:11, 3 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 18:0918:09, 3 January 2019 diff hist +93 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 18:0518:05, 3 January 2019 diff hist −62 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 18:0418:04, 3 January 2019 diff hist +124 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 17:5317:53, 3 January 2019 diff hist +124 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 17:3817:38, 3 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 17:3717:37, 3 January 2019 diff hist +124 m PVS static analyzer - 5.0 Release Mark bug fixed
- 17:3617:36, 3 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 17:1917:19, 3 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 17:1817:18, 3 January 2019 diff hist +93 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 17:1717:17, 3 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 17:1617:16, 3 January 2019 diff hist +248 m PVS static analyzer - 5.0 Release Mark bug fixed
- 17:1417:14, 3 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 17:1217:12, 3 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 17:1117:11, 3 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 17:0917:09, 3 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 17:0717:07, 3 January 2019 diff hist +248 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 17:0517:05, 3 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 17:0517:05, 3 January 2019 diff hist +124 m PVS static analyzer - 5.0 Release Mark bug fixed
- 16:4816:48, 3 January 2019 diff hist +29 m Bug Fix List - 5.0 Release Mark bug "Won't Fix"
- 16:4316:43, 3 January 2019 diff hist +58 m Bug Fix List - 5.0 Release Add new bug
- 16:4116:41, 3 January 2019 diff hist +189 m Bug Fix List - 5.0 Release Add new bug
- 16:3816:38, 3 January 2019 diff hist +84 m Bug Fix List - 5.0 Release Add new bug
- 05:4505:45, 3 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug fixed
- 05:3205:32, 3 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 05:3005:30, 3 January 2019 diff hist +372 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 05:0205:02, 3 January 2019 diff hist +186 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 04:4504:45, 3 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 04:4304:43, 3 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug fixed
- 04:3704:37, 3 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 04:3304:33, 3 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug fixed
- 04:1104:11, 3 January 2019 diff hist +248 m PVS static analyzer - 5.0 Release Mark bug fixed
- 04:0104:01, 3 January 2019 diff hist +124 m PVS static analyzer - 5.0 Release Mark bug fixed
- 01:2001:20, 3 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug fixed
- 01:1601:16, 3 January 2019 diff hist +93 m PVS static analyzer - 5.0 Release Mark bug fixed
- 00:0000:00, 3 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
2 January 2019
- 23:5623:56, 2 January 2019 diff hist +19 m 5.0.0 Release Checklist Mark task done
- 23:5523:55, 2 January 2019 diff hist +31 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"
- 23:5223:52, 2 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug fixed
- 23:3523:35, 2 January 2019 diff hist +62 m PVS static analyzer - 5.0 Release Mark bug "Won't Fix"