Thien-Thi Nguyen
|
c1fe070830
|
fix typo: s/missbehavior/misbehavior/
|
2022-09-07 01:52:51 -04:00 |
|
|
|
e909f5701b
|
system doc: include title page
|
2022-03-18 15:44:49 +01:00 |
|
|
|
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 |
|
