IF: Persist hotstuff safety state#1578

Merged

fcecin merged 17 commits intohotstuff_integrationfrom persist_hs_safety_liveness_state_WIP

Nov 19, 2023

+463-66

Commits on Aug 28, 2023

Replaced hs_proposal_message::get_height() with ::get_view_number(), added unit tests. Work-in-progress towards #1521
systemzax
committed

Commits on Aug 29, 2023

Code reorganization, extension of liveness_state definition to include b_leaf, added unit tests
systemzax
committed
Added safety / liveness state persistence
systemzax
committed

Commits on Aug 31, 2023

Merge branch 'hotstuff_integration' into persist_hs_safety_liveness_state_WIP
greg7mdp
authored

Commits on Sep 28, 2023

Merge remote-tracking branch 'origin/hotstuff_integration' into persist_hs_safety_liveness_state_WIP
fcecin
committed

Commits on Sep 29, 2023

Misc improvements
fcecin
committed

Commits on Nov 10, 2023