package gospel

  1. Overview
  2. Docs
A tool-agnostic formal specification language for OCaml

Install

github.com Readme Changelog MIT License Edit opam file

Authors

  1. J
    Jean-Christophe Filliâtre
  2. C
    Cláudio Lourenço
  3. C
    Clément Pascutto
  4. M
    Mário Pereira

Maintainers

  1. J
    Jean-Christophe.Filliatre@lri.fr

Sources

gospel-0.1.0.tbz
sha256=4435d8a8f158edbc113bab01bbf4bb5e2a874bfa0a9b6b91bebcb95452c40464
sha512=4f1bc700bd0ee5aa4e035b18f253bc31880b0891cd27d55c2814ae7c7ad2c897fd804e1598201faa765b0ec1d61ee62c5d156c4ca2f6d40e77c82e95ac5c1f43

Description

Gospel is a behavioural specification language for OCaml program. 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: 03 Nov 2021

Dependencies (7)

  1. ppxlib >= "0.23.0" & < "0.26.0"
  2. ocaml-compiler-libs >= "v0.12.0"
  3. fmt >= "0.8.7"
  4. cmdliner >= "1.0.0"
  5. menhir >= "20181006"
  6. dune >= "2.4.0"
  7. ocaml >= "4.09"

Dev Dependencies

None

Used by

None

Conflicts

None