Code

[WIP] Bus prototype#2174

Code

Closed

georgwiese wants to merge 18 commits intomainpowdr-labs/powdr:mainfrom bus-prototypepowdr-labs/powdr:bus-prototypeCopy head branch name to clipboard

+586-94

Commits

Commits on Nov 28, 2024

• Copy dynamic machine -> bus machine

  georgwiese

  committed
  b927a1f

  Copy full SHA for b927a1f

• Use bus machine

  georgwiese

  committed
  150d0ed

  Copy full SHA for 150d0ed

• Update comment

  georgwiese

  committed
  2f26288

  Copy full SHA for 2f26288

• Rename BusMachine -> SecondStageMachine

  georgwiese

  committed
  4678c79

  Copy full SHA for 4678c79

• Panic in process_plookup()

  georgwiese

  committed
  3936e5f

  Copy full SHA for 3936e5f

• Bug fix

  georgwiese

  committed
  b04db52

  Copy full SHA for b04db52

• Simplify SecondStageMachine

  georgwiese

  committed
  1d14da6

  Copy full SHA for 1d14da6

• Simplify further

  georgwiese

  committed
  82ff2fb

  Copy full SHA for 82ff2fb

Commits on Nov 29, 2024

• Merge branch 'main' of github.com:powdr-labs/powdr into bus-machine

  georgwiese

  committed
  57952b0

  Copy full SHA for 57952b0

• Improve error message

  georgwiese

  committed
  15f9a5c

  Copy full SHA for 15f9a5c

• VmProcessor: use machine degree & make loop detection optional

  georgwiese

  committed
  28f6622

  Copy full SHA for 28f6622

• Bug fix

  georgwiese

  committed
  949481a

  Copy full SHA for 949481a

• Improve logging

  georgwiese

  committed
  ba59043

  Copy full SHA for ba59043

• Improve logging

  georgwiese

  committed
  6261eab

  Copy full SHA for 6261eab

• Don't keep stage-0 identities (doesn't really help though)

  georgwiese

  committed
  cc6d44c

  Copy full SHA for cc6d44c

• Fingerprint performance improvements

  georgwiese

  committed
  8b707ba

  Copy full SHA for 8b707ba

• Parallelize calls to prover functions

  georgwiese

  committed
  35fa8d7

  Copy full SHA for 35fa8d7

• Prototype hand-written witgen

  georgwiese

  committed
  02d52d6

  Copy full SHA for 02d52d6