Code

[pull] main from a16z:main#15

Code

Merged

pull[bot] merged 2 commits intosaurabhchalke:mainsaurabhchalke/halmos:mainfrom a16z:maina16z/halmos:mainCopy head branch name to clipboardJul 19, 2024

+1,870-8

Commits

Commits on Jul 18, 2024

• feat: support for forge-std assert cheatcodes (#323)

  Show description for 486f381
  

  daejunpark

  and

  EmperorOrokuSaki

  authored
  486f381

  Copy full SHA for 486f381

• feat: support vm.getBlockNumber cheatcode (#325)

  pillip

  authored
  8ae5902

  Copy full SHA for 8ae5902