Code

DO NOT REVIEW - K version test#69

Code

Closed

virgil-serbanuta wants to merge 15 commits intomasterPi-Squared-Inc/wasm-semantics:masterfrom k-versionPi-Squared-Inc/wasm-semantics:k-versionCopy head branch name to clipboard

+1,711-244

Commits

Commits on Jan 28, 2025

• Parsing table sections

  virgil-serbanuta

  committed
  f41fe16

  Copy full SHA for f41fe16

• Element parsing

  virgil-serbanuta

  committed
  3f39ab5

  Copy full SHA for 3f39ab5

• Enable code tests that use tables and elems

  virgil-serbanuta

  committed
  bab37d4

  Copy full SHA for bab37d4

• Refactor section parsing

  virgil-serbanuta

  committed
  b74816b

  Copy full SHA for b74816b

• Binary memory section parsing

  virgil-serbanuta

  committed
  7b584e3

  Copy full SHA for 7b584e3

• Parse binary globals

  virgil-serbanuta

  committed
  10a2495

  Copy full SHA for 10a2495

• Parse exports

  virgil-serbanuta

  committed
  be28929

  Copy full SHA for be28929

• Parse the binary start section

  virgil-serbanuta

  committed
  e25d3f8

  Copy full SHA for e25d3f8

• Parse the data section

  virgil-serbanuta

  committed
  317e678

  Copy full SHA for 317e678

• Parsing the data count section

  virgil-serbanuta

  committed
  edb086e

  Copy full SHA for edb086e

• Tests and fixes for the memory instructions

  virgil-serbanuta

  committed
  76eff71

  Copy full SHA for 76eff71

• Test instructions parsing for global variable access

  virgil-serbanuta

  committed
  ba6e74d

  Copy full SHA for ba6e74d

• Parse the raw binary wasm code for ULM

  virgil-serbanuta

  committed
  7f53f77

  Copy full SHA for 7f53f77

• Cleanup

  virgil-serbanuta

  committed
  112133a

  Copy full SHA for 112133a

• tmp

  virgil-serbanuta

  committed
  f760fcc

  Copy full SHA for f760fcc