search

franck44 / evm-dis

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

Generate-dafny-proof-object #46

Closed franck44 closed 7 months ago

franck44 commented 7 months ago

Add generation of Dafny code to verify CFG.