a16z/halmos Issues
Add `cancun` support
Updated 4Unsupported cheatcode error
Closed 2vm.getBlockNumber not supported
Closed 1Quick benchmark for pysmt
UpdatedIncremental verification
UpdatedFAQ section
UpdatedSupport vyper jumptables
Updated 3feature request: coverage report
Closed 1halmos take forever to run
Closed 1Dump all SMT queries
Closed 3Better handling of concrete keccaks
Updated 1Unsupported cheat code `vm.readFile`
Updated 4HuffDeployer is not supported
Updated 1Huff doesn't work
UpdatedSet z3 memory limit
Updated 2Contract code, storage
Updated 1Pytest profiles
Updated