Description

Published: 27 Jan 2022

Dependencies (16)

  1. z3 = "4.8.5"
  2. process
  3. ppx_deriving_yojson
  4. ppx_deriving
  5. ppxlib >= "0.22.0" & < "0.26.0"
  6. sedlex build & >= "2.0"
  7. pprint build & >= "20130324"
  8. menhir build & >= "20161115"
  9. fileutils
  10. ocamlbuild build
  11. yojson
  12. stdint
  13. zarith
  14. batteries >= "3.0.0"
  15. ocamlfind
  16. ocaml >= "4.04.1"

Reverse Dependencies (1)

  1. kremlin

Conflicts

    None
Verification system for effectful programs

Install

Documentation fstar-lang.org Edit opam file

Authors

  1. N
    Nik Swamy <nswamy@microsoft.com>
  2. J
    Jonathan Protzenko <protz@microsoft.com>
  3. T
    Tahina Ramananandro <taramana@microsoft.com>

Maintainers

  1. T
    taramana@microsoft.com

Sources

v2022.01.15.tar.gz
md5=19b9e7a7b7775bca02eec0e968b79921
sha512=7997ff2f298bced1b8b2086453d3c3e98be2491b56fa2fb1897790d5802023276459657fc66a5c1ed96b36a12341a17db4aa5bc8b88229f98b79fa080a852b7b