package gospel

You can search for identifiers within the package.

in-package search v0.2.0

A tool-agnostic formal specification language for OCaml

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (3)

Authors

Maintainers

J

Jean-Christophe.Filliatre@lri.fr

Sources

0.2.0.tar.gz

md5=964e7cb82b4391c7ad0794c20adcc67f

sha512=15c5d3f48fac648ce0799c2664323d461f3792ae9477ba0fe8c499228a9faddda22e8ef66ef10733dce550dcf8ba2641fce2b5472005f649f28e5426d0631375

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: 06 Oct 2023

Dependencies (10)

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 >= "3.0.0"
ocamlfind
ocaml >= "4.11"

Dev Dependencies (1)

odoc with-test

Used by (2)

ortac-core < "0.6.1"
ortac-qcheck-stm < "0.6.1"

Conflicts

None

On This Page

Description
Dependencies (10)
Dev Dependencies (1)
Used by (2)
Conflicts