Code

Sparse bytes#516

Code

Merged

bbyalcinkaya merged 7 commits intomasterruntimeverification/wasm-semantics:masterfrom sparse-bytesruntimeverification/wasm-semantics:sparse-bytesCopy head branch name to clipboardNov 10, 2023

+315-28

Commits

Commits on Oct 21, 2023

• implement SparseBytes

  bbyalcinkaya

  committed
  89a9221

  Copy full SHA for 89a9221

Commits on Oct 22, 2023

• fix substrSparseBytes

  bbyalcinkaya

  committed
  76f42d0

  Copy full SHA for 76f42d0

Commits on Oct 25, 2023

• Merge branch 'master' into sparse-bytes

  bbyalcinkaya

  authored
  46d2d8d

  Copy full SHA for 46d2d8d

Commits on Oct 27, 2023

• fix functional spec step sort

  bbyalcinkaya

  committed
  3a37aa6

  Copy full SHA for 3a37aa6

Commits on Oct 30, 2023

• add SparseBytes functional tests

  bbyalcinkaya

  committed
  6b9da0e

  Copy full SHA for 6b9da0e

Commits on Nov 3, 2023

• Merge branch 'master' into sparse-bytes

  bbyalcinkaya

  authored
  922bb2d

  Copy full SHA for 922bb2d

Commits on Nov 9, 2023

• add fromBytes and simple tests

  bbyalcinkaya

  committed
  2305f40

  Copy full SHA for 2305f40