Tezla

An intermediate representation of Michelson smart contracts designed to ease static analysis of smart contracts.

You can read more about it on this paper.

Install instructions

git clone https://github.com/joaosreis/tezla.git
cd tezla
dune build @install
dune install

opam install https://github.com/joaosreis/tezla.git

Developed under the FRESCO project (Formal Verification of Smart Contracts), generously funded by Tezos Foundation.