5 search results for "author:"Jan Midtgaard""
Showing 1 - 5
-
0.1.0BSD-2-ClauseUsed by 0 other packages17 Jul 2023
-
A multicore testing library for OCaml0.3BSD-2-clauseUsed by 0 other packages11 Oct 2023
-
Various utility functions for property-based testing of multicore programs0.3BSD-2-clauseUsed by 4 other packages11 Oct 2023
-
State-machine testing library for sequential and parallel model-based tests0.3BSD-2-clauseUsed by 5 other packages11 Oct 2023
-
A simple state-machine framework for OCaml based on QCheck0.1.1BSD-2-ClauseUsed by 0 other packages24 Jun 2019