Code

Add debug symbols#87

Code

Merged

uncomputable merged 8 commits intoBlockstreamResearch:masterBlockstreamResearch/simfony:masterfrom uncomputable:2024-09-debug-symbolsuncomputable/simfony:2024-09-debug-symbolsCopy head branch name to clipboardSep 16, 2024

+464-178

Commits

Commits on Sep 16, 2024

• chore: Update simplicity in integration tests

  uncomputable

  committed
  bb1359d

  Copy full SHA for bb1359d

• refactor: Call expression analysis

  Show description for 5ef47f9
  uncomputable

  committed
  5ef47f9

  Copy full SHA for 5ef47f9

• feat: Display u128 and u256 as hex

  Show description for c749a79
  uncomputable

  committed
  c749a79

  Copy full SHA for c749a79

• feat: Convert Simplicity -> Simfony

  uncomputable

  committed
  be4bc84

  Copy full SHA for be4bc84

• feat: Add debug symbols

  Show description for 438c5c7
  uncomputable

  committed
  438c5c7

  Copy full SHA for 438c5c7

• feat: Add public API for debug symbols

  Show description for 0ff3f2c
  uncomputable

  committed
  0ff3f2c

  Copy full SHA for 0ff3f2c

• feat: Expose debug symbols of satisfied program

  Show description for bfb6a54
  uncomputable

  committed
  bfb6a54

  Copy full SHA for bfb6a54

• feat: Add debug expression

  Show description for 0a67719
  uncomputable

  committed
  0a67719

  Copy full SHA for 0a67719