dune-project

(lang dune 2.4.0)

(name micse)

(version 0.0.0)

(generate_opam_files true)

(source
 (uri "git+https://github.com/kupl/MicSE.git"))

(bug_reports "https://github.com/kupl/MicSE/issues")

(homepage "https://github.com/kupl/MicSE")

(license MIT)

(authors
 "Jisuk Byun <jisukbyun@korea.ac.kr>"
 "Heewoong Jang <jormal@korea.ac.kr>")

(maintainers
 "Jisuk Byun <jisukbyun@korea.ac.kr>"
 "Heewoong Jang <jormal@korea.ac.kr>")

(package
 (name micse)
 (synopsis
  "The Michelson Symbolic vErifier, for verifying and testing the integrity of smart contracts in the Tezos blockchain")
 (depends
  (batteries
   (= 3.3.0))
  (core
   (= v0.14.1))
  (menhir
   (= 20210419))
  (ocamlgraph
   (= 2.0.0))
  (ptime
   (= 0.8.5))
  (yojson
   (= 1.7.0))
  (zarith
   (= 1.12))
  (ounit2
   (= 2.2.4))
  (bignum
   (= v0.14.0))
  (ppx_deriving
   (= 5.2.1))
  (mtime
   (= 1.2.0))
  (logs
   (= 0.7.0))
  (z3
   (= 4.8.13))))

(using menhir 2.1)