5 search results for "author:"Nicolas Osborne <nicolas.osborne@tarides.com>""
Showing 1 - 5
-
Ortac (OCaml Runtime Assertion Checking) core tool and library based on GospelClément Pascutto <clement@pascutto.fr> Nicolas <nicolas. @tarides.com> Samuel Hym <samuel@tarides.com>0.3.0MITUsed by 2 other packages09 Jul 2024
-
Generate dune rules for other ortac pluginsNicolas <nicolas. @tarides.com>0.3.0MITUsed by 0 other packages09 Jul 2024
-
QCheck-STM plugin for Ortac0.3.0MITUsed by 1 other packages09 Jul 2024
-
Runtime support library for Ortac-generated codeClément Pascutto <clement@pascutto.fr> Nicolas <nicolas. @tarides.com> Samuel Hym <samuel@tarides.com>0.3.0MITUsed by 3 other packages09 Jul 2024
-
Runtime support library for Ortac/QCheck-STM-generated codeNicolas <nicolas. @tarides.com>0.3.0MITUsed by 1 other packages09 Jul 2024