4 search results for "author:"Nicolas Osborne <nicolas.osborne@tarides.com>""
Showing 1 - 4
-
Ortac (OCaml Runtime Assertion Checking) core tool and library based on GospelClément Pascutto <clement@pascutto.fr> Nicolas <nicolas. @tarides.com> Samuel Hym <samuel.hym@rustyne.lautre.net>0.2.0MITUsed by 1 other packages17 Apr 2024
-
QCheck-STM plugin for OrtacNicolas <nicolas. @tarides.com> Samuel Hym <samuel.hym@rustyne.lautre.net>0.2.0MITUsed by 0 other packages17 Apr 2024
-
Runtime support library for Ortac-generated codeClément Pascutto <clement@pascutto.fr> Nicolas <nicolas. @tarides.com> Samuel Hym <samuel.hym@rustyne.lautre.net>0.2.0MITUsed by 3 other packages17 Apr 2024
-
Runtime support library for Ortac/QCheck-STM-generated codeNicolas <nicolas. @tarides.com>0.2.0MITUsed by 1 other packages17 Apr 2024