Code

Implement pruning#259

Code

Merged

uncomputable merged 11 commits intoBlockstreamResearch:masterBlockstreamResearch/rust-simplicity:masterfrom uncomputable:2025-01-pruninguncomputable/rust-simplicity:2025-01-pruningCopy head branch name to clipboardJan 23, 2025

+915-327

Commits

Commits on Jan 12, 2025

• fix: Incorrect error variant

  uncomputable

  committed
  b6e63d5

  Copy full SHA for b6e63d5

• feat: Prune values

  Show description for c61a282
  uncomputable

  committed
  c61a282

  Copy full SHA for c61a282

• feat: Zero value

  Show description for 4275c39
  uncomputable

  committed
  4275c39

  Copy full SHA for 4275c39

• feat: Execution Simplicity error

  Show description for 083d680
  uncomputable

  committed
  083d680

  Copy full SHA for 083d680

Commits on Jan 17, 2025

• feat: Track (un)used branches on Bit Machine

  Show description for e2049b9
  uncomputable

  committed
  e2049b9

  Copy full SHA for e2049b9

• feat: Prune redeem node

  Show description for 16ed1c0
  uncomputable

  committed
  16ed1c0

  Copy full SHA for 16ed1c0

• feat: Finalize witness nodes with(out) pruning

  Show description for 1e9f687
  uncomputable

  committed
  1e9f687

  Copy full SHA for 1e9f687

• test: Correct pruning

  Show description for 25e710e
  uncomputable

  committed
  25e710e

  Copy full SHA for 25e710e

• refactor: Policy satisfier

  Show description for 1130ebc
  uncomputable

  committed
  1130ebc

  Copy full SHA for 1130ebc

• refactor: Remove manual pruning

  Show description for 1e09f45
  uncomputable

  committed
  1e09f45

  Copy full SHA for 1e09f45

• refactor: Remove unused error variant

  Show description for 9121979
  uncomputable

  committed
  9121979

  Copy full SHA for 9121979