Skip to content

Latest commit

 

History

History
28 lines (19 loc) · 647 Bytes

README.md

File metadata and controls

28 lines (19 loc) · 647 Bytes
Raw

Michelson ADT

main workflow

An OCaml library with an ADT representation of Michelson smart contracts syntax.

Install instructions

Using dune

git clone https://github.com/joaosreis/michelson-adt.git
cd michelson-adt
dune build @install
dune install

Using opam

opam install https://github.com/joaosreis/michelson-adt.git

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