package fstar

  1. Overview
  2. No Docs
Verification system for effectful programs

Install

Dune Dependency

Authors

Maintainers

Sources

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

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"

Dev Dependencies

None

Used by (2)

  1. karamel
  2. kremlin < "transition"

Conflicts

None