Michelson ADT

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

Install instructions

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

opam install https://github.com/joaosreis/michelson-adt.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 45 Commits
.github/workflows		.github/workflows
src		src
.gitignore		.gitignore
.ocamlformat		.ocamlformat
LICENCE		LICENCE
README.md		README.md
dune-project		dune-project
michelson-adt.opam		michelson-adt.opam