Skip to content

Commit 158cbee

Browse files
DaveCTurnerDaveCTurner
authored
Flatten ConsensusState to align with Isabelle code (elastic#8)
* Flatten ConsensusState to align with Isabelle code * Use getters instead of public final fields * Use getters elsewhere in package
1 parent 688833b commit 158cbee

File tree

3 files changed

+433
-346
lines changed

3 files changed

+433
-346
lines changed

0 commit comments

Comments
 (0)