Age | Commit message (Expand) | Author |
---|---|---|
2020-07-12 | merge | Christian Grothoff |
2020-07-12 | import lists of invariant checks from CodeBlau report as basis | Christian Grothoff |
2020-06-23 | fix RST warnings | Christian Grothoff |
2020-06-19 | clarify CodeBlau op sec question | Christian Grothoff |
2020-04-09 | document auditor failure mode related to #6164 | Christian Grothoff |
2020-03-21 | update auditor documentation | Christian Grothoff |
2020-01-18 | payback -> recoup | Christian Grothoff |
2020-01-14 | remove wire plugin documentation, as it is obsolete now | Christian Grothoff |
2019-11-20 | update DB schema | Christian Grothoff |
2019-11-12 | add first draft of auditor manual | Christian Grothoff |