Code

Fix prove tests#40

Code

Merged

traiansf merged 4 commits intomasterPi-Squared-Inc/wasm-semantics:masterfrom dev/traiansf/fix-testsPi-Squared-Inc/wasm-semantics:dev/traiansf/fix-testsCopy head branch name to clipboardDec 16, 2024

+118-54

Commits

Commits on Dec 16, 2024

• Makefile: created separate targets for separate builds

  traiansf

  committed
  a265901

  Copy full SHA for a265901

• tests/proofs: Updates to account for turning locals into a list

  traiansf

  committed
  6ee9343

  Copy full SHA for 6ee9343

• tests/proofs: Updates to account for turning mems into a list

  traiansf

  committed
  7761ac8

  Copy full SHA for 7761ac8

• pykwasm/src/pykwasm/kdist/wasm-semantics/wasm.md: whitespace changes

  traiansf

  committed
  593e621

  Copy full SHA for 593e621