pki support
document state variables, naming clean up, add dictionary for commit messages
only accept messages between low water mark, high water mark (see BFT p4-5)
seqno_in_bounds wrapper function
scaffolding for making checkpoints
cleanup, docs
implement make_checkpoint
begin implementation of handle_checkpoint
merge checkpoint branch
Merge branch 'checkpoint' into view_change
small bugs
sig --> optional
fix bugs
everyone should handle pre_prepares!
view change timeout --> 2 secs
fix bug where primary ignored messages