package fstar

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

Install

Dune Dependency

fstar-lang.org Edit opam file Versions (11)

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

v2021.06.06.tar.gz
md5=5c341a6ae459ea590a905d54edf3d574
sha512=d6a4f620fee3c71a17ed388e9c71aeea2cf5a3adda89db38b731feb8e9bb0b7ffe5a34f556fd06d42ed72640d3604aa9d09c405834bddec65ad3371b48332ba7

Description

Published: 09 Jul 2021

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" & < "2.4"
  7. pprint build & >= "20130324" & <= "20211129"
  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" & < "4.13.0"

Dev Dependencies

None

Used by (1)

  1. kremlin < "1.0.0"

Conflicts

None