fstar

ML-like language aimed at program verification

Current versions:
0.9.4.0HEAD

Revision: 1

Homepage:https://www.fstar-lang.org/

Dependencies

fstar requires the following formulae to be installed:

Formula history

Santiago Zanella-Beguelinfstar: fix issue with path to standard library
ilovezfsfstar: update OPAM dependencies
Derek Morrfstar 0.9.4.0
ilovezfsfstar: revision for ocaml
ilovezfsfstar: unpin ocamlfind version to fix the build
Mike McQuaidUse hash rockets again. (#5177)
Mike McQuaidUse Ruby 1.9+ symbol hash keys in all formulae. (#4942)
Dominyk Tillerfstar: fix spacing
Miguel Araújofstar: fix audit warning
Eugene Auduchinokfstar: fix batteries newer ocaml incompatibility.
Show all revisions of this formula