search

DavePearce / DevmProofGen

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

Support for tracking mask info #96

Closed DavePearce closed 5 months ago

DavePearce commented 5 months ago

This prevents problems when a mask is split across a block boundary.