Code

Fix relative handles in containers#38

Code

Merged

rv-jenkins merged 6 commits intomasterruntimeverification/komet:masterfrom fix/vector-rel-handlesruntimeverification/komet:fix/vector-rel-handlesCopy head branch name to clipboardSep 16, 2024

+87-5

Commits

Commits on Sep 12, 2024

• Add test: fxdao test_set_admin

  bbyalcinkaya

  committed
  2e384bb

• Add python bindings for SCAddress

  bbyalcinkaya

  committed
  a67a521

• Set Version: 0.1.32

  

  devops

  committed
  ed78e76

• Convert rel handles to abs when creating maps and vecs

  bbyalcinkaya

  committed
  1d91bcd

Commits on Sep 16, 2024

• Merge branch 'master' into fix/vector-rel-handles

  bbyalcinkaya

  authored
  759c6ea

• Set Version: 0.1.34

  

  devops

  committed
  1874278