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.

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
.github/workflows		.github/workflows
src		src
tests		tests
.gitignore		.gitignore
.ocamlformat		.ocamlformat
LICENSE		LICENSE
README.md		README.md
dune-project		dune-project
tezla.opam		tezla.opam
tezla.opam.template		tezla.opam.template