Code

spec: Add skip round logic#75

Code

Merged

romac merged 19 commits intomaininformalsystems/malachite:mainfrom josef/skipRoundLogicinformalsystems/malachite:josef/skipRoundLogicCopy head branch name to clipboardNov 24, 2023

+234-34

Commits

Commits on Nov 17, 2023

• start skip round logic (missing to see what messages are there upon skipping)

  josef-widder

  committed
  3882d89

  Copy full SHA for 3882d89

• added skip round reaction upon votes

  josef-widder

  committed
  4461d77

  Copy full SHA for 4461d77

• bug in strings calling bookkeeper fixed

  josef-widder

  committed
  1faa209

  Copy full SHA for 1faa209

• another wrong string

  josef-widder

  committed
  f511c80

  Copy full SHA for f511c80

• added round switch test - not activated yet

  josef-widder

  committed
  0ce7930

  Copy full SHA for 0ce7930

Commits on Nov 20, 2023

• tests around round switching

  josef-widder

  committed
  c25c1aa

  Copy full SHA for c25c1aa

Commits on Nov 22, 2023

• failing test

  josef-widder

  committed
  6fcfaf8

  Copy full SHA for 6fcfaf8

Commits on Nov 24, 2023

• Fix typos

  romac

  committed
  1662d0f

  Copy full SHA for 1662d0f

• added a test that generates a lot of unsuccessful rounds

  josef-widder

  committed
  293f857

  Copy full SHA for 293f857

• Merge branch 'josef/skipRoundLogic' of github.com:informalsystems/malachite into josef/skipRoundLogic

  josef-widder

  committed
  26e590d

  Copy full SHA for 26e590d

• added assertion for correct round

  josef-widder

  committed
  1fb7028

  Copy full SHA for 1fb7028

• Ensure Skip event is emitted even when no threshold has been reached yet

  romac

  committed
  b71cbcc

  Copy full SHA for b71cbcc

• Ensure Skip event is emitted only when vote round is strictly greater than the current round

  romac

  committed
  fac95fe

  Copy full SHA for fac95fe

• Remove debug statement

  romac

  committed
  03bbb3d

  Copy full SHA for 03bbb3d

• parameterized test is more concise

  josef-widder

  committed
  cdef7ba

  Copy full SHA for cdef7ba

• Merge branch 'josef/skipRoundLogic' of github.com:informalsystems/malachite into josef/skipRoundLogic

  josef-widder

  committed
  1724815

  Copy full SHA for 1724815

• made parameterized test even more concise

  josef-widder

  committed
  a08455f

  Copy full SHA for a08455f

• added an assertion at the end of unsuccessful round

  josef-widder

  committed
  f5a124b

  Copy full SHA for f5a124b

• Merge branch 'main' into josef/skipRoundLogic

  romac

  committed
  a6a1281

  Copy full SHA for a6a1281