Use `IsZero` instead of `Not` when building the AST

acuarica / evm

A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.

https://acuarica.github.io/evm/

MIT License

62 stars 9 forks source link

Use `IsZero` instead of `Not` when building the AST #87

Closed acuarica closed 8 months ago

acuarica commented 8 months ago

Fixes #13