Code

Fast path#22

Code

Merged

lemmy merged 10 commits intomainheidihoward/pirateship-tla:mainfrom mku-fastpathheidihoward/pirateship-tla:mku-fastpathCopy head branch name to clipboardDec 18, 2024

+48-14

Commits

Commits on Dec 17, 2024

• Record the (largest) quorum that voted for a QC.

  Show description for b35d24a
  lemmy

  committed
  b35d24a

• Fast Path Unanimity

  Show description for fc9081d
  lemmy

  committed
  fc9081d

• Do not include primary's view in unanimity QC search for fast path.

  Show description for 8cf6864
  lemmy

  committed
  8cf6864

• Fast Path Fast Path Unanimity Transitively

  Show description for 96f5fbe
  lemmy

  committed
  96f5fbe

• Heidi's review

  lemmy

  committed
  67f7443

• Heidi's review 2

  Show description for a680233
  lemmy

  committed
  a680233

• Heidi's review 3

  Show description for 6a26659
  lemmy

  committed
  6a26659

• Strengthen implication to biimplication.

  Show description for 3aaf753
  lemmy

  committed
  3aaf753

• Add comment for operator HighestUnanimity

  Show description for f9013b9
  lemmy

  committed
  f9013b9

• Let's rename the parameters r and p to something e.g. local and remote soon.

  Show description for 0874023
  lemmy

  committed
  0874023