Code

spec: add Consensus English spec #89

Code

Merged

ancazamfir merged 10 commits intomaininformalsystems/malachite:mainfrom cason/consensus-smrinformalsystems/malachite:cason/consensus-smrCopy head branch name to clipboardDec 15, 2023

+378

Commits

Commits on Nov 27, 2023

• Move cometbft/knowledge-base#18 here.

  ancazamfir

  committed
  f1d0a58

  Copy full SHA for f1d0a58

• Move the Quint and English folders one level up

  ancazamfir

  committed
  b469096

  Copy full SHA for b469096

Commits on Dec 6, 2023

• Add diagram, create the round state machine spec

  ancazamfir

  committed
  0bc5222

  Copy full SHA for 0bc5222

Commits on Dec 13, 2023

• Update Specs/English/messsages-to-events.md

  josef-widder

  authored
  326a06b

  Copy full SHA for 326a06b

• Update Specs/English/messsages-to-events.md

  Show description for fb591d1
  josef-widder

  authored
  fb591d1

  Copy full SHA for fb591d1

Commits on Dec 15, 2023

• added abstract and combined into one file (#122)

  josef-widder

  authored
  c02f400

  Copy full SHA for c02f400

• Show the async getValue and validity changes

  ancazamfir

  committed
  59470cf

  Copy full SHA for 59470cf

• Formatting

  ancazamfir

  committed
  30d8519

  Copy full SHA for 30d8519

• Update diagram

  ancazamfir

  committed
  6a70e36

  Copy full SHA for 6a70e36

• Merge branch 'main' into cason/consensus-smr

  ancazamfir

  committed
  1c49a7f

  Copy full SHA for 1c49a7f