Hi! We are very happy to announce the release of gospel.0.3.0 Gospel is a tool-agnostic behavioural specification language for OCaml. It allows you to write strongly typed contract-based specifications for your OCaml libraries (for a reasonable subset of OCaml). Gospel’s syntax has been designed to…

[ANN] Gospel 0.3.0

cdaringe April 16, 2024, 2:36pm 2

I enjoyed reading the docs. Great work!

1 Like

Topic	Replies	Views
[ANN] Gospel 0.2.0 Ecosystem announce	388	October 13, 2023
[ANN] Ortac 0.2.0, leverage Gospel formal specifications to generate tests Ecosystem announce	276	April 17, 2024
[ANN] Ortac 0.3.0 Dynamic formal verification made easy Ecosystem announce	152	July 9, 2024
[ANN] First release of ortac-core, ortac-runtime and ortac-qcheck-stm Ecosystem	310	October 30, 2023
[ANN] Ortac 0.6.0 improve bug reporting Ecosystem announce , testing	129	March 6, 2025