halmos 0.0.8

v0.0.8

on Python PyPI

What's Changed

• fix: balance tracking in #53
• feat: add pc opcode by @plotchy in #56
• feat: add basefee opcode in #58
• feat: add invalid opcode in #60
• feat: add vm.prank() cheatcode in #62
• feat: add vm.deal() cheatcode in #63
• feat: add vm.fee/chainId/coinbase/difficulty/roll/warp() cheatcode in #64

New Contributors

• @plotchy made their first contribution in #56

Full Changelog: v0.0.7...v0.0.8