84 bytecode should wrap instruction - Githubissues

DavePearce / DevmProofGen

Dafny Evm Proof Generator (experimental)

1 stars 1 forks source link

84 bytecode should wrap instruction #85

Closed DavePearce closed 6 months ago

DavePearce commented 6 months ago

This is the first stage towards implementing the minimisation algorithm.