package fstar

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

Install

Dune Dependency

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

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

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" & < "3.5"
  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

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct