Back to bug 158
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| lkcl | 2020-01-23 18:57:26 GMT | NLnet milestone | --- | NLNet.2019.10.Formal |
| mtnolan2640 | 2020-01-31 14:16:03 GMT | Depends on | 162 | |
| mtnolan2640 | 2020-01-31 14:18:36 GMT | Depends on | 163 | |
| mtnolan2640 | 2020-02-02 23:41:19 GMT | Depends on | 165 | |
| lkcl | 2020-02-23 18:05:23 GMT | Blocks | 80 | |
| lkcl | 2020-02-23 18:12:27 GMT | Summary | NLNet 2019 Formal Correctness Proofs toplevel | NLNet 2019 Formal Correctness Proofs toplevel 2019-10-032 |
| lkcl | 2020-02-24 20:32:07 GMT | CC | 2019-10P, joost | |
| lkcl | 2020-03-02 13:27:34 GMT | Depends on | 196 | |
| lkcl | 2020-03-02 13:28:12 GMT | Depends on | 162, 163, 165 | 194, 195, 197, 198 |
| lkcl | 2020-03-02 13:28:58 GMT | CC | dan, danleighton | |
| lkcl | 2020-03-09 12:31:54 GMT | Depends on | 211 | |
| lkcl | 2020-03-12 14:38:20 GMT | CC | addw | |
| lkcl | 2020-03-12 14:38:32 GMT | total budget (EUR) for completion of task and all subtasks | 0 | 50000 |
| lkcl | 2020-04-03 11:01:23 BST | See Also | http://bugs.libre-riscv.org/show_bug.cgi?id=276 | |
| lkcl | 2020-04-03 11:02:43 BST | See Also | http://bugs.libre-riscv.org/show_bug.cgi?id=276 | |
| lkcl | 2020-04-10 15:16:29 BST | Status | CONFIRMED | IN_PROGRESS |
| lkcl | 2021-01-08 05:31:08 GMT | Assignee | lkcl | 2019-10P |
| lkcl | 2021-01-08 06:10:36 GMT | budget (EUR) for this task, excluding subtasks' budget | 0 | 12000 |
| lkcl | 2021-01-19 17:05:09 GMT | budget (EUR) for this task, excluding subtasks' budget | 12000 | 0 |
| lkcl | 2022-05-16 10:17:04 BST | Depends on | 194 | 577 |
| programmerjake | 2022-07-05 08:55:19 BST | should never have been added | --- | Yes |
| lkcl | 2022-07-05 11:37:44 BST | should never have been added | Yes | --- |
| lkcl | 2022-10-01 11:10:53 BST | Blocks | 938 | |
| URL | https://libre-soc.org/nlnet_2019_formal/ | |||
| lkcl | 2022-10-04 16:54:21 BST | total budget (EUR) for completion of task and all subtasks | 50000 | 51460 |
| lkcl | 2022-10-21 15:02:20 BST | Resolution | --- | FIXED |
| Status | IN_PROGRESS | RESOLVED |
Back to bug 158