Code

feat(spec): add timeout to Blocksync#568

Code

Merged

josef-widder merged 11 commits intomaininformalsystems/malachite:mainfrom josef/i559-blocksynctimeoutinformalsystems/malachite:josef/i559-blocksynctimeoutCopy head branch name to clipboardNov 20, 2024

+96-28

Commits

Commits on Nov 18, 2024

• start with timeout

  josef-widder

  committed
  f98d828

  Copy full SHA for f98d828

Commits on Nov 20, 2024

• Merge branch 'main' into josef/i559-blocksynctimeout

  cason

  committed
  6f11053

  Copy full SHA for 6f11053

• spec/quint: additional fix post merge

  cason

  committed
  a7d8f4a

  Copy full SHA for a7d8f4a

• spec/quint: re-tabbing client.qnt

  cason

  committed
  e12795d

  Copy full SHA for e12795d

• added timeoutactions and a test

  josef-widder

  committed
  134de4b

  Copy full SHA for 134de4b

• commented timeout test

  josef-widder

  committed
  7ec7321

  Copy full SHA for 7ec7321

• Update specs/quint/specs/blocksync/bsyncWithConsensus.qnt

  josef-widder

  authored
  6191449

  Copy full SHA for 6191449

• spec/quint: re-tabbing client.qnt

  cason

  committed
  dc31536

  Copy full SHA for dc31536

• spec/quint: re-tabbing syncStatemachine.qnt

  cason

  committed
  4d83c32

  Copy full SHA for 4d83c32

• Merge branch 'main' into josef/i559-blocksynctimeout

  cason

  authored
  6c4ac42

  Copy full SHA for 6c4ac42

• spec/quint: re-tabbing bsyncWithConsensus.qnt

  cason

  committed
  a597f06

  Copy full SHA for a597f06