consensus: state machine for algorithm [WIP]#18

Draft

cason wants to merge 14 commits intomainfrom

cason/consensus-smr

Commits on Oct 11, 2023

consensus: draft of state machine for algorithm
Daniel Cason
committed

Commits on Oct 13, 2023

consensus: SM simplified with transitions table
Daniel Cason
committed
consensus: more detailed state machine
Daniel Cason
committed
consensus: comments for the height state machine
Daniel Cason
committed
consensus: comments for the round state machine
Daniel Cason
committed

Commits on Oct 18, 2023

consensus: updated description for the height SM
Daniel Cason
committed
consensus: updated description for the round SM
Daniel Cason
committed
consensus: initial list of events for state machines
Daniel Cason
committed
Add event name column to match agnes implementation
ancazamfir
committed

Commits on Oct 19, 2023

consensus: producing events from messages, intro
Daniel Cason
committed

Commits on Oct 20, 2023

consensus: couting votes, general assumptions
Daniel Cason
committed

Commits on Oct 24, 2023

Merge branch 'anca/agnes_event_names' into cason/consensus-smr
Daniel Cason
committed
Fixing merging conflicts
Daniel Cason
committed
Merging some events tables for simpler spec
Daniel Cason
committed