a16z/halmos Issues
add div axioms
UpdatedPath constraints in json output
UpdatedValues for storage in counterexample
Updated 1Add coverage report
Updatedadd int blasting
Updated 1Add vyper support
Updated 8Add support for symbolic storage
Closed 15missing CREATE failure semantics
Closed 1Support for portfolio solving
Closed 1Display foundry-style traces
UpdatedSupport for missing EVM opcodes
Updated 3Improve testing of EVM correctness
Updated 1Ability to ignore tests
Closed 3Library linking
Closed 5Counterexample: unknown
Closed 1failed to run halmos in windows
Closed 23vm.createFork() not supported
Updated 1Uncaught exceptions
Closed 5Z3 Type
Closed 2