6 search results for "author:"Mickaël Delahaye""
Showing 1 - 6
-
frama-c-lannotate
No documentation
Lannotate plugin of Frama-C, part of the LTest suite0.2LGPL-2.1-onlyUsed by 0 other packages26 Aug 2022 -
frama-c-luncov
No documentation
Luncov plugin of Frama-C, part of the LTest suite0.2LGPL-2.1-onlyUsed by 0 other packages26 Aug 2022 -
Executes a test suite and computes test coverage0.1LGPL-2.1-onlyUsed by 0 other packages06 Apr 2022
-
ocamlyices
No documentation
Yices SMT solver binding0.7.1ISCUsed by 0 other packages28 Nov 2013 -
Oclock: Precise POSIX clock for OCaml0.4.0ISCUsed by 4 other packages21 Nov 2013
-
Yices2 SMT solver binding0.0.3ISC; non-commercial useUsed by 0 other packages08 May 2017