search

franck44 / evm-dis

An EVM bytecode disassembler/assembler
Apache License 2.0
29 stars 6 forks source link

Dafny-evm-builder #5

Closed franck44 closed 9 months ago

franck44 commented 9 months ago

Add proof object builder.