fstar

Language with a type system for program verification

Current versions:
0.9.2.0 HEAD

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

Dependencies

fstar requires the following formulae to be installed:

Formula history

ilovezfs fstar: revision for ocaml
ilovezfs fstar: unpin ocamlfind version to fix the build
Mike McQuaid Use hash rockets again. (#5177)
Mike McQuaid Use Ruby 1.9+ symbol hash keys in all formulae. (#4942)
Dominyk Tiller fstar: fix spacing
Miguel Araújo fstar: fix audit warning
Eugene Auduchinok fstar: fix batteries newer ocaml incompatibility.
Benjamin Beurdouche fstar 0.9.2.0 (upstream repack)
Benjamin Beurdouche FStar 0.9.2.0
Benjamin Beurdouche fstar 0.9.1.1 (migrated from homebrew/science)
Show all revisions of this formula