Code

DO NOT REVIEW: Wasm erc20#708

Code

Closed

virgil-serbanuta wants to merge 7 commits intoruntimeverification:masterruntimeverification/wasm-semantics:masterfrom Pi-Squared-Inc:wasm-erc20Pi-Squared-Inc/wasm-semantics:wasm-erc20Copy head branch name to clipboard

+7,040-352

Commits

Commits on Sep 26, 2024

• Update CI for PI2 fork (#1)

  Show description for d61efad
  

  Dwight Guth

  authored and

  dwightguth

  committed
  d61efad

  Copy full SHA for d61efad

• use List instead of Map for <locals> cell (#2)

  

  Dwight Guth

  authored and

  dwightguth

  committed
  e49ecdd

  Copy full SHA for e49ecdd

• add master-update branch trigger (#4)

  

  Dwight Guth

  authored and

  dwightguth

  committed
  32c31b7

  Copy full SHA for 32c31b7

• change <memAddrs> and <mems> cells from Map to List (#5)

  Show description for 44da298
  

  2 peopleauthored and

  dwightguth

  committed
  44da298

  Copy full SHA for 44da298

• Pass proof hints flags to kompile (#8)

  Show description for 437606d
  

  alexoltean61

  authored and

  dwightguth

  committed
  437606d

  Copy full SHA for 437606d

Commits on Nov 29, 2024

• Generate a Wasm ERC20 from Rust

  virgil-serbanuta

  committed
  d623f23

  Copy full SHA for d623f23

• Refactoring

  virgil-serbanuta

  committed
  40dc871

  Copy full SHA for 40dc871