Back to bug 901
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| programmerjake | 2022-08-03 06:42:17 BST | Status | CONFIRMED | IN_PROGRESS |
| programmerjake | 2022-08-04 06:53:20 BST | Resolution | --- | FIXED |
| Status | IN_PROGRESS | RESOLVED | ||
| Summary | Formal proof for PriorityPicker and MultiPriorityPicker | Formal proof for PriorityPicker and MultiPriorityPicker and BetterMultiPriorityPicker | ||
| lkcl | 2022-08-04 10:06:21 BST | CC | lkcl | |
| lkcl | 2022-08-28 17:52:13 BST | The table of payments (in EUR) for this task; TOML format | jacob=0 | |
| lkcl | 2022-08-28 17:52:50 BST | parent task for budget allocation | 198 | |
| NLnet milestone | NLNet.2019.10.032.Formal | --- |
Back to bug 901