Code

paper cut fixes#239

Code

Merged

daejunpark merged 4 commits intomaina16z/halmos:mainfrom console-log-symbolica16z/halmos:console-log-symbolicCopy head branch name to clipboardDec 22, 2023

+58-18

Commits

Commits on Dec 21, 2023

• fix: wrap concrete values in wstore_bytes

  Show description for a9a9809
  karmacoma-eth

  committed
  a9a9809

Commits on Dec 22, 2023

• Allow console.log to render symbolic values

  karmacoma-eth

  committed
  e02393c

• wstore_bytes: keep ints unwrapped in bv

  karmacoma-eth

  committed
  7c5c364

• fix is_byte performance

  daejunpark

  committed
  06f6433