7 search results for "author:"Samuel Hym""
Showing 1 - 7
-
A tool-agnostic formal specification language for OCaml0.3.0MITUsed by 2 other packages12 Apr 2024
-
Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel0.3.0MITUsed by 2 other packages09 Jul 2024
-
QCheck-STM plugin for Ortac0.3.0MITUsed by 1 other packages09 Jul 2024
-
Runtime support library for Ortac-generated code0.3.0MITUsed by 3 other packages09 Jul 2024
-
A multicore testing library for OCaml0.4BSD-2-clauseUsed by 0 other packages17 Sep 2024
-
Various utility functions for property-based testing of multicore programs0.4BSD-2-clauseUsed by 7 other packages17 Sep 2024
-
State-machine testing library for sequential and parallel model-based tests0.4BSD-2-clauseUsed by 9 other packages17 Sep 2024