package gospel
A tool-agnostic formal specification language for OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
0.3.0.tar.gz
md5=e5b7f601526cbf590a070b6b9aebe1ad
sha512=a1375603a3f0ac7681e7e2e989be8af809edef78becc7d920e1d18af4f1db576dce91525cec70292c4ba559eb3f3bac67b023bcc826ea3dfdab956c86990ef91
Description
Gospel is a behavioural specification language for OCaml programs. It provides developers with a non-invasive and easy-to-use syntax to annotate their module interfaces with formal contracts that describe type invariants, mutability, function pre-conditions and post-conditions, effects, exceptions, and much more!
Published: 12 Apr 2024
Dependencies (11)
-
pp_loc
>= "2.1.0" -
ppx_deriving
>= "5.2.1" -
ppxlib
>= "0.26.0" & < "0.36.0" -
ocaml-compiler-libs
>= "v0.12.0" -
fmt
>= "0.8.7" -
cmdliner
>= "1.1.0" & < "2.0.0" -
menhir
>= "20181006" - dune-build-info
-
dune
>= "3.0.0" - ocamlfind
-
ocaml
>= "4.11"
Dev Dependencies (1)
-
odoc
with-test
Used by (2)
-
ortac-core
>= "0.2.0" -
ortac-qcheck-stm
>= "0.2.0"
Conflicts
None
On This Page