Code

code: Add multiplexer#106

Code

Merged

romac merged 17 commits intomaininformalsystems/malachite:mainfrom romac/mixerinformalsystems/malachite:romac/mixerCopy head branch name to clipboardDec 8, 2023

+520-414

Commits

Commits on Dec 6, 2023

• Add tests (all failing) for polka occuring in propose step

  

  ancazamfir

  authored and

  romac

  committed
  cbaaac6

  Copy full SHA for cbaaac6

• Report coverage even when tests fail

  romac

  committed
  a7e42f6

  Copy full SHA for a7e42f6

• Merge branch 'main' into anca/mixer-tests

  romac

  committed
  e97227b

  Copy full SHA for e97227b

• Split event multiplexing into its own function

  romac

  committed
  a5c1bf0

  Copy full SHA for a5c1bf0

• Small refactor

  romac

  committed
  01288d3

  Copy full SHA for 01288d3

• wip: Add mixer on step changes

  romac

  committed
  b7dd368

  Copy full SHA for b7dd368

• Add case in step change mixer for polka value

  romac

  committed
  2f3e88f

  Copy full SHA for 2f3e88f

• Revert misakenly deleted comment

  romac

  committed
  50d84cf

  Copy full SHA for 50d84cf

• Process pending inputs automatically after processing an input (#108)

  romac

  authored
  63063d5

  Copy full SHA for 63063d5

Commits on Dec 7, 2023

• Cleanup

  romac

  committed
  4241b8b

  Copy full SHA for 4241b8b

• Merge branch 'main' into romac/mixer

  romac

  committed
  9d990fb

  Copy full SHA for 9d990fb

• Naming

  romac

  committed
  99becf5

  Copy full SHA for 99becf5

• Multiplexer refactoring (#110)

  Show description for 5412436
  

  romac

  and

  ancazamfir

  authored
  5412436

  Copy full SHA for 5412436

• Merge branch 'main' into romac/mixer

  romac

  committed
  aea77cb

  Copy full SHA for aea77cb

Commits on Dec 8, 2023

• Only store a single proposal in the driver (#107)

  Show description for 6ffee0b
  romac

  authored
  6ffee0b

  Copy full SHA for 6ffee0b

• Some cleanup

  ancazamfir

  committed
  a3c2d4c

  Copy full SHA for a3c2d4c

• Re-enable no_std in driver

  romac

  committed
  01ac4c4

  Copy full SHA for 01ac4c4