fstar

Language with a type system for program verification

Current versions:
0.9.4.0HEAD

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

Dependencies

fstar requires the following formulae to be installed:

Formula history

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.
Benjamin Beurdouchefstar 0.9.2.0 (upstream repack)
Show all revisions of this formula