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

Using dune

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

Using opam

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

---

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