Code

Remove typed maps#155

Code

Merged

jberthold merged 34 commits intomasterruntimeverification/kasmer-multiversx:masterfrom remove-mapint2intruntimeverification/kasmer-multiversx:remove-mapint2intCopy head branch name to clipboardJul 10, 2024

+55-67

Commits

Commits on Jun 12, 2024

• Remove MapInt2Int

  virgil-serbanuta

  committed
  f5a6003

  Copy full SHA for f5a6003

Commits on Jun 17, 2024

• Remove MapIntToBytes

  virgil-serbanuta

  committed
  7cb83cc

  Copy full SHA for 7cb83cc

Commits on Jun 18, 2024

• Update tests

  virgil-serbanuta

  committed
  6e35d52

  Copy full SHA for 6e35d52

• Update coindrio

  virgil-serbanuta

  committed
  5d74354

  Copy full SHA for 5d74354

• Set Version: 0.1.63

  

  devops

  committed
  68bc5f1

  Copy full SHA for 68bc5f1

Commits on Jun 27, 2024

• Merge remote-tracking branch 'origin/master' into remove-mapint2int

  jberthold

  committed
  49a4fcb

  Copy full SHA for 49a4fcb

• python mx.py: remove obsolete k_map import

  jberthold

  committed
  ef6255a

  Copy full SHA for ef6255a

• Set Version: 0.1.71

  

  devops

  committed
  92f2946

  Copy full SHA for 92f2946

• Fix Map sort in python

  virgil-serbanuta

  committed
  185ca06

  Copy full SHA for 185ca06

Commits on Jul 1, 2024

• deps/mx-semantics_release: Set Version 0.1.89

  

  devops

  committed
  3b0496f

  Copy full SHA for 3b0496f

• Set Version: 0.1.72

  

  devops

  committed
  b2eac41

  Copy full SHA for b2eac41

• kmxwasm/{pyproject.toml,poetry.lock}: sync Poetry files

  

  devops

  committed
  1582f70

  Copy full SHA for 1582f70

• flake.{nix,lock}: update Nix derivations

  

  devops

  committed
  d1d3f4c

  Copy full SHA for d1d3f4c

Commits on Jul 2, 2024

• Merge remote-tracking branch 'origin/_update-deps/runtimeverification/mx-semantics' into remove-mapint2int

  jberthold

  committed
  d8c09c6

  Copy full SHA for d8c09c6

Commits on Jul 3, 2024

• deps/mx-semantics_release: Set Version 0.1.90

  

  devops

  committed
  6813154

  Copy full SHA for 6813154

• kmxwasm/{pyproject.toml,poetry.lock}: sync Poetry files

  

  devops

  committed
  a4cb123

  Copy full SHA for a4cb123

• flake.{nix,lock}: update Nix derivations

  

  devops

  committed
  19ca1a8

  Copy full SHA for 19ca1a8

Commits on Jul 4, 2024

• Merge branch 'master' into remove-mapint2int

  virgil-serbanuta

  authored
  6f51421

  Copy full SHA for 6f51421

• Set Version: 0.1.73

  

  devops

  committed
  8275a8f

  Copy full SHA for 8275a8f

• Merge branch 'master' into _update-deps/runtimeverification/mx-semantics

  virgil-serbanuta

  authored
  f0714e7

  Copy full SHA for f0714e7

• Set Version: 0.1.73

  

  devops

  committed
  73f756a

  Copy full SHA for 73f756a

• flake.{nix,lock}: update Nix derivations

  

  devops

  committed
  b76cecc

  Copy full SHA for b76cecc

• deps/mx-semantics_release: Set Version 0.1.91

  

  devops

  committed
  50b5e9c

  Copy full SHA for 50b5e9c

• kmxwasm/{pyproject.toml,poetry.lock}: sync Poetry files

  

  devops

  committed
  6250c63

  Copy full SHA for 6250c63

• flake.{nix,lock}: update Nix derivations

  

  devops

  committed
  4ffff95

  Copy full SHA for 4ffff95

Commits on Jul 5, 2024

• Merge remote-tracking branch 'origin/_update-deps/runtimeverification/mx-semantics' into remove-mapint2int

  jberthold

  committed
  7e02b3f

  Copy full SHA for 7e02b3f

• TEST merging branches

  Baltoli

  committed
  011b056

  Copy full SHA for 011b056

• kmxwasm/{pyproject.toml,poetry.lock}: sync Poetry files

  

  devops

  committed
  7990c6e

  Copy full SHA for 7990c6e

• flake.{nix,lock}: update Nix derivations

  

  devops

  committed
  0322553

  Copy full SHA for 0322553

Commits on Jul 9, 2024

• Merge remote-tracking branch 'origin/_update-deps/runtimeverification/mx-semantics' into remove-mapint2int

  jberthold

  committed
  7cc8586

  Copy full SHA for 7cc8586

• deps/mx-semantics_release: Set Version 0.1.92

  

  devops

  committed
  31521ab

  Copy full SHA for 31521ab

• kmxwasm/{pyproject.toml,poetry.lock}: sync Poetry files

  

  devops

  committed
  3a51348

  Copy full SHA for 3a51348

• flake.{nix,lock}: update Nix derivations

  

  devops

  committed
  bd23f38

  Copy full SHA for bd23f38

Commits on Jul 10, 2024

• Merge remote-tracking branch 'origin/_update-deps/runtimeverification/mx-semantics' into remove-mapint2int

  jberthold

  committed
  62eccb3

  Copy full SHA for 62eccb3