Back to bug 877
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| lkcl | 2022-07-01 08:41:27 BST | budget (EUR) for this task, excluding subtasks' budget | 0 | 1650 |
| NLnet milestone | --- | NLNet.2019.10.032.Formal | ||
| parent task for budget allocation | 196 | |||
| Assignee | lkcl | programmerjake | ||
| total budget (EUR) for completion of task and all subtasks | 0 | 1650 | ||
| lkcl | 2022-07-01 08:44:48 BST | See Also | https://bugs.libre-soc.org/show_bug.cgi?id=874, https://bugs.libre-soc.org/show_bug.cgi?id=48 | |
| Blocks | 196 | |||
| programmerjake | 2022-07-01 08:46:13 BST | Component | ALU (including IEEE754 16/32/64-bit FPU) | Formal Verification |
| The table of payments (in EUR) for this task; TOML format | jacob=1650 | |||
| Depends on | 835 | |||
| Blocks | 196 | |||
| Summary | formal correctness proof for fmadd on IEEE754FP pipeline | implementation and formal correctness proof for fp fused-mul-add pipeline excluding ieee754 exception flags | ||
| CC | programmerjake | |||
| programmerjake | 2022-07-01 08:46:54 BST | Blocks | 196 | |
| lkcl | 2022-07-01 09:10:24 BST | See Also | https://bugs.libre-soc.org/show_bug.cgi?id=123 | |
| programmerjake | 2022-07-04 12:03:40 BST | Status | CONFIRMED | IN_PROGRESS |
| programmerjake | 2022-07-05 00:45:01 BST | Status | IN_PROGRESS | RESOLVED |
| Resolution | --- | FIXED | ||
| programmerjake | 2022-07-06 10:29:14 BST | The table of payments (in EUR) for this task; TOML format | jacob=1650 | [jacob] amount = 1650 submitted = 2022-07-06 |
| programmerjake | 2022-07-22 05:10:22 BST | The table of payments (in EUR) for this task; TOML format | [jacob] amount = 1650 submitted = 2022-07-06 | [jacob] amount = 1650 submitted = 2022-07-06 paid = 2022-07-21 |
Back to bug 877