Age | Commit message (Expand) | Author |
---|---|---|
2023-06-05 | DD37: force-abort and cancel-aborting is now simply fail | Florian Dold |
2023-05-17 | Revert "play around with layout" | Florian Dold |
2023-05-17 | play around with layout | Florian Dold |
2023-05-17 | remove duplicate expire transition | Florian Dold |
2023-05-07 | DD37: address code/spec mismatches | Florian Dold |
2023-04-25 | revision v3 | Christian Grothoff |
2023-04-09 | work invoicing for DD37 | Christian Grothoff |
2023-04-09 | more work on DD37 review | Christian Grothoff |
2023-04-08 | redo diagram in dot | Christian Grothoff |