Commit Graph

15 Commits

Author SHA1 Message Date
2fe5223c72
add missing files for system documentation book 2022-03-08 21:56:46 +01:00
Christian Grothoff
5106a09c9f
fix more typos 2021-04-23 23:53:52 +02:00
Christian Grothoff
dff60059f1
fix spelling issues 2020-10-22 11:38:24 +02:00
Christian Grothoff
0e808b648a
fix misc typos 2020-07-22 23:56:52 +02:00
Christian Grothoff
c6278ceeab
document FDH implementation in detail, fixing #6182 2020-07-15 22:25:06 +02:00
Christian Grothoff
ef0eb9e5bf
improve documentation on which invariants are checked by which auditor helper 2020-07-14 21:10:55 +02:00
Christian Grothoff
2570b21d23
more auditor documentation 2020-07-14 20:43:36 +02:00
Christian Grothoff
8533efdcd7
working on auditor documentation 2020-07-13 19:47:22 +02:00
Christian Grothoff
6383694c95
clarify recoup can only refill, not fill a fresh reserve 2020-07-13 19:04:18 +02:00
Christian Grothoff
b89e433f4f
add more detail to coin state machine 2020-07-13 19:03:05 +02:00
Christian Grothoff
5e5a15b01b
fix refs 2020-07-12 20:04:19 +02:00
Christian Grothoff
4c1c8e405b
more figures 2020-07-12 20:00:56 +02:00
Christian Grothoff
4cfcf842fe
add reserve state machine 2020-07-12 19:19:13 +02:00
Christian Grothoff
fdee6830e6
update API endpoint documentation 2020-07-12 18:45:28 +02:00
Christian Grothoff
895e24872d
initial import of thesis-dold 2020-07-12 18:19:17 +02:00