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