Code

Implement ScVal comparison#52

Code

Merged

automergerpr-permission-manager[bot] merged 8 commits intomasterruntimeverification/komet:masterfrom compareruntimeverification/komet:compareCopy head branch name to clipboardDec 19, 2024

+529-26

Commits

Commits on Dec 6, 2024

• implement ScVal comparison

  bbyalcinkaya

  committed
  e33a814

  Copy full SHA for e33a814

• add test: compare.wast

  bbyalcinkaya

  committed
  c23b9e4

  Copy full SHA for c23b9e4

• add komet test for object comparison

  bbyalcinkaya

  committed
  863eabc

  Copy full SHA for 863eabc

Commits on Dec 9, 2024

• Set Version: 0.1.46

  

  devops

  committed
  d4b522a

  Copy full SHA for d4b522a

Commits on Dec 18, 2024

• add Bytes comparison property test

  bbyalcinkaya

  committed
  da803cd

  Copy full SHA for da803cd

• implement bytes_copy_to_linear_memory

  bbyalcinkaya

  committed
  109e422

  Copy full SHA for 109e422

• add komet test for bytes_copy_to_linear_memory

  bbyalcinkaya

  committed
  f56afae

  Copy full SHA for f56afae

• add more comments for test_cmp_bytes

  bbyalcinkaya

  committed
  d9e87dc

  Copy full SHA for d9e87dc