Nicolas Osborne
Nicolas Osborne
Add the missing primitives for `bytes` Close #83
## Expected Behavior Dune should build the project or tell me what's wrong. ## Actual Behavior ``` $ dune build Internal error, please report upstream including the contents of _build/log....
This PR proposes to add syntax highlighting for OCamldoc and Odoc documentation. This adds syntax highlighting for both `*.mld` files and documentation comments in OCaml files. OCamldoc/Odoc syntax needs to...
## Context When a repository is registered to ocaml-ci, all the branches are tested. ## Expected behaviour It would be nice if we could have a better control over which...
This PR is based on #214, please consider only the last three commits Closes #208
This PR proposes to: 1. add an optional argument for the library name. Default is the base name of the module under tested. 2. make the configuration and the generated...
Fixes #173 This PR proposes to move from a command-line based configuration to a module-based configuration. It does so adopting the proposition of [this comment](https://github.com/ocaml-gospel/ortac/issues/173#issuecomment-2020541798) It is in two folds:...
Gospel is moving towards talking only of logical models in the specifications (not OCaml values). Ortac/QCheck-STM is already using relational postconditions to propose model-based testing (maintaining an implementation of the...
This PR proposes to use the gospel (yet unmerged) new feature from [#376](https://github.com/ocaml-gospel/gospel/pull/376). Some refactoring is done a long the way (there may be room for more, but I was...
I open this issue to keep track of our thoughts about a module-based configuration for `ortac qcheck-stm`. In the current version, the command-line is asking for: 1. the name of...