Skip to content

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

License

Notifications You must be signed in to change notification settings

joaosreis/tezla

Repository files navigation

Tezla

main workflow

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.

About

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

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages