9 search results for "author:"Nicolas Osborne""
Showing 1 - 9
-
ortac-core
No documentation
Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel0.7.0MITUsed by 3 other packages04 Jul 2025 -
ortac-dune
No documentation
Generate dune rules for other ortac plugins0.7.0MITUsed by 0 other packages04 Jul 2025 -
ortac-qcheck-stm
No documentation
QCheck-STM plugin for Ortac0.7.0MITUsed by 1 other packages04 Jul 2025 -
ortac-runtime
No documentation
Runtime support library for Ortac-generated code0.7.0MITUsed by 3 other packages04 Jul 2025 -
ortac-runtime-qcheck-stm
No documentation
Runtime support library for Ortac/QCheck-STM-generated code0.7.0MITUsed by 1 other packages04 Jul 2025 -
ortac-wrapper
No documentation
Wrapper plugin for Ortac0.7.0MITUsed by 1 other packages04 Jul 2025 -
qcheck-lin
No documentation
A multicore testing library for OCaml0.8BSD-2-clauseUsed by 0 other packages10 Apr 2025 -
qcheck-multicoretests-util
No documentation
Various utility functions for property-based testing of multicore programs0.8BSD-2-clauseUsed by 8 other packages10 Apr 2025 -
qcheck-stm
No documentation
State-machine testing library for sequential and parallel model-based tests0.8BSD-2-clauseUsed by 9 other packages10 Apr 2025