Tezla CFG generator

A Control-flow graph generator for the Tezla representation.

Install instructions

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

opam install https://github.com/joaosreis/tezla-cfg.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 22 Commits
.github/workflows		.github/workflows
src		src
tests		tests
.gitignore		.gitignore
.ocamlformat		.ocamlformat
LICENSE		LICENSE
README.md		README.md
dune-project		dune-project
flake.lock		flake.lock
flake.nix		flake.nix
tezla-cfg.opam		tezla-cfg.opam
tezla-cfg.opam.template		tezla-cfg.opam.template