Getting Started Documentation

Organisations ocaml-gospel ortac

ortac

https://github.com/ocaml-gospel/ortac

Default Branch

Merge pull request #329 from n-osborne/dune-rules-qcheck-stm-domain This PR adds support for generating the dune rules for Ortac/QCheck-STM+Domain. The `ortac dune` cli command uses the same flag `--domain` as the `ortac qcheck-stm` one. This will pass the flag to the call to `ortac qcheck-stm` and adapt the dependencies accordingly.

Aug 28 15:48 +00:00

Failed in 52m35s

Branches (2)

revert-337-tmp_remove_ortac_monolith

Revert "Remove Ortac/Monolith plugin temporarily"

Jul 31 07:28 +00:00

Passed in 10m19s

revert-341-tmp_rm_ortac_monolith

Revert "Remove Ortac/Monolith plugin temporarily"

Jul 31 07:28 +00:00

Passed in 10m17s

Refs Branches (4)

Add a persistent example for wrapper plugin

Update Changelog

Jul 31 07:28 +00:00

Passed in 10m17s

Rename wrapper tests to make them more readable

Update Changelog

Jul 31 07:28 +00:00

Failed in 10m18s

Refactor bug report printing

Update Changelog

Aug 28 15:49 +00:00

Passed in 51m47s

Add domain bug report generation

Update Changelog

Aug 25 16:39 +00:00

Passed in 10m10s