Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-07-14 | improve documentation on which invariants are checked by which auditor helper | Christian Grothoff | |
2020-07-14 | more auditor documentation | Christian Grothoff | |
2020-07-13 | working on auditor documentation | Christian Grothoff | |
2020-07-13 | clarify recoup can only refill, not fill a fresh reserve | Christian Grothoff | |
2020-07-13 | add more detail to coin state machine | Christian Grothoff | |
2020-07-12 | fix refs | Christian Grothoff | |
2020-07-12 | more figures | Christian Grothoff | |
2020-07-12 | add reserve state machine | Christian Grothoff | |
2020-07-12 | update API endpoint documentation | Christian Grothoff | |
2020-07-12 | initial import of thesis-dold | Christian Grothoff | |