You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I have started a project to define a formal semantics of Yul in Dafny.
Github repo is https://github.com/franck44/yul-dafny
There are a couple of verification examples and also some techniques to verify Yul code and the EVM byte code generated by the Solidity compiler.
I have published a short note about the project here.
The text was updated successfully, but these errors were encountered:
I have started a project to define a formal semantics of Yul in Dafny.
Github repo is https://github.com/franck44/yul-dafny
There are a couple of verification examples and also some techniques to verify Yul code and the EVM byte code generated by the Solidity compiler.
I have published a short note about the project here.
The text was updated successfully, but these errors were encountered: