coq2sol

This repository aims to provide formal semantics for a subset of Solidity smart contracts language.

Requirements

• Coq, see the official installation instructions
• CoqIde or ProofGeneral as a front-end of Coq. CoqIde is usually installed along with Coq, for further configuring CoqIde refer to Configuration of CoqIDE.

Then build the .v files in the main/ directory using

make

and the setup is completed.