Code

Implement Vec and Symbol#13

Code

Merged

rv-jenkins merged 9 commits intomasterruntimeverification/komet:masterfrom vecruntimeverification/komet:vecCopy head branch name to clipboardJul 23, 2024

+824-35

Commits

Commits on Jul 17, 2024

• helpers for reading/writing wasm memory

  bbyalcinkaya

  committed
  e2bb62f

• implement Vec

  bbyalcinkaya

  committed
  3be0ad8

• Set Version: 0.1.7

  

  devops

  committed
  b2c20eb

Commits on Jul 19, 2024

• implement Symbol

  bbyalcinkaya

  committed
  eb92a2a

Commits on Jul 22, 2024

• fix validSymbol too long case

  bbyalcinkaya

  authored
  3067af9

• Merge branch 'master' into vec

  bbyalcinkaya

  authored
  5caca9e

• Set Version: 0.1.8

  

  devops

  committed
  ede4488

Commits on Jul 23, 2024

• Update src/ksoroban/kdist/soroban-semantics/wasm-ops.md

  Show description for c7a779c
  

  bbyalcinkaya

  and

  gtrepta

  authored
  c7a779c

• fix encode/decode small symbols and refactor

  Show description for d47098e
  

  bbyalcinkaya

  and

  gtrepta

  committed
  d47098e