Code

Preprocess contracts for ULM#189

Code

Merged

virgil-serbanuta merged 7 commits intomainPi-Squared-Inc/rust-demo-semantics:mainfrom preprocess-contractsPi-Squared-Inc/rust-demo-semantics:preprocess-contractsCopy head branch name to clipboardNov 25, 2024

+83-151

Commits

Commits on Nov 25, 2024

• Preprocess contracts for ULM

  virgil-serbanuta

  committed
  fab3b4c

  Copy full SHA for fab3b4c

• Compile the execution target for ulm execution

  virgil-serbanuta

  committed
  af7980e

  Copy full SHA for af7980e

• Attempt to generate contract binary

  virgil-serbanuta

  committed
  1187a81

  Copy full SHA for 1187a81

• Prevent weird emit-contract-bytes crash

  virgil-serbanuta

  committed
  b635721

  Copy full SHA for b635721

• Update the documentation

  virgil-serbanuta

  committed
  d208060

  Copy full SHA for d208060

• Remove the preprocessing target

  virgil-serbanuta

  committed
  c62c472

  Copy full SHA for c62c472

• Remove unneeded file

  virgil-serbanuta

  committed
  bb40e1e

  Copy full SHA for bb40e1e