search

DavePearce / DevmProofGen

Dafny Evm Proof Generator (experimental)
1 stars 1 forks source link

Update DafnyEvm #65

Closed DavePearce closed 1 year ago

DavePearce commented 1 year ago

To include changes for the PushN instruction