a16z/halmos Issues
vm.getBlockNumber not supported
Updated 1Add coverage report
Updatedfeature request: coverage report
Closed 1halmos take forever to run
Closed 1Support vyper jumptables
Updated 2Dump 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
Updatedadd div axioms
UpdatedValues for storage in counterexample
Updated 1Path constraints in json output
Updatedadd int blasting
Updated 1