Code

Moving commit QC into log entries#11

Code

Merged

heidihoward merged 9 commits intomainheidihoward/pirateship-tla:mainfrom commitqcheidihoward/pirateship-tla:commitqcCopy head branch name to clipboardNov 27, 2024

+116-43

Commits

Commits on Nov 25, 2024

• qc -> byzqc

  heidihoward

  committed
  dd9f900

  Copy full SHA for dd9f900

Commits on Nov 26, 2024

• moving commit index into blocks

  heidihoward

  committed
  f4603c3

  Copy full SHA for f4603c3

• naming again

  heidihoward

  committed
  a2a11e8

  Copy full SHA for a2a11e8

• well formed logs

  heidihoward

  committed
  a7fc6cf

  Copy full SHA for a7fc6cf

• byzantine action back to 2

  heidihoward

  committed
  bdf4f45

  Copy full SHA for bdf4f45

• adding crash only CI

  heidihoward

  committed
  1b146c5

  Copy full SHA for 1b146c5

• earlier detection

  heidihoward

  committed
  531e5ca

  Copy full SHA for 531e5ca

Commits on Nov 27, 2024

• making crashQCs optional

  heidihoward

  committed
  3865a26

  Copy full SHA for 3865a26

• return SIMpirateship to byz actions

  heidihoward

  committed
  da9d089

  Copy full SHA for da9d089