Code

feat: nicer output#209

Code

Merged

karmacoma-eth merged 10 commits intomaina16z/halmos:mainfrom feat-nicer-outputa16z/halmos:feat-nicer-outputCopy head branch name to clipboardOct 20, 2023

+940-553

Commits

Commits on Oct 13, 2023

• add type-sensitive rendering for model values

  karmacoma-eth

  committed
  9bfff2e

Commits on Oct 14, 2023

• Add signatures for new cheatcodes

  karmacoma-eth

  committed
  544a05c

Commits on Oct 16, 2023

• introduce Exec.set_code to fix vm.etch

  karmacoma-eth

  committed
  7fb60ff

Commits on Oct 17, 2023

• add more console.log functions with type based rendering

  karmacoma-eth

  committed
  d3b16a7

Commits on Oct 18, 2023

• implement new halmos cheatcodes

  karmacoma-eth

  committed
  b09fcd9

• rename tests in Console.t.sol and update expected json

  karmacoma-eth

  committed
  084eaa4

• update halmos-cheatcodes + tests + fix createInt

  karmacoma-eth

  committed
  f8025d6

Commits on Oct 20, 2023

• staticmethod fix for python < 3.10

  Show description for 5b3c56f
  karmacoma-eth

  committed
  5b3c56f

• Merge branch 'main' into feat-nicer-output

  karmacoma-eth

  authored
  0c25d1b

• add test for console.log with undecode string

  karmacoma-eth

  committed
  8b5b151