Code

WIP: Aligning spec#14

Code

Merged

heidihoward merged 7 commits intomainheidihoward/pirateship-tla:mainfrom alignheidihoward/pirateship-tla:alignCopy head branch name to clipboardDec 3, 2024

+54-27

Commits

Commits on Nov 28, 2024

• replaces txns with batches of txns

  heidihoward

  committed
  f8cae68

  Copy full SHA for f8cae68

• adding empty entry on new view

  heidihoward

  committed
  707cb97

  Copy full SHA for 707cb97

• adding placeholder view stable flag

  heidihoward

  committed
  1be5256

  Copy full SHA for 1be5256

• bug fixes

  heidihoward

  committed
  44060fb

  Copy full SHA for 44060fb

Commits on Nov 29, 2024

• Merge branch 'main' into align

  heidihoward

  authored
  9884dc1

  Copy full SHA for 9884dc1

• fixing byz commit update

  heidihoward

  committed
  c0b8d42

  Copy full SHA for c0b8d42

• remove byz commit unchanged

  heidihoward

  committed
  1f0d44b

  Copy full SHA for 1f0d44b