6 search results for "author:"Mickaël Delahaye""

Showing 1 - 6
  1. frama-c-lannotate
    Documentation
    Lannotate plugin of Frama-C, part of the LTest suite
    software testing Frama-C LTest
    Omar Chebaro Mickaël Delahaye Michael Marcozzi Thibault Martin
    0.2.3
    LGPL-2.1-only
    Used by 0 other packages
    09 Jul 2024
  2. frama-c-luncov
    Documentation
    Luncov plugin of Frama-C, part of the LTest suite
    software testing Frama-C LTest
    Robin David Mickaël Delahaye Michael Marcozzi Thibault Martin
    0.2.1
    LGPL-2.1-only
    Used by 0 other packages
    09 Jul 2024
  3. lreplay
    Documentation
    Executes a test suite and computes test coverage
    Mickaël Delahaye Omar Chebaro Nikolai Kosmatov Sébastien Bardin Michaël Marcozzi et al.
    0.1.1
    LGPL-2.1-only
    Used by 0 other packages
    09 Jul 2024
  4. ocamlyices

    No documentation

    Yices SMT solver binding
    Mickaël Delahaye
    0.7.1
    ISC
    Used by 0 other packages
    28 Nov 2013
  5. oclock
    Documentation
    Oclock: Precise POSIX clock for OCaml
    Mickaël Delahaye
    0.4.0
    ISC
    Used by 4 other packages
    21 Nov 2013
  6. yices2
    Documentation
    Yices2 SMT solver binding
    Mickaël Delahaye <mickael.delahaye@gmail.com>
    0.0.3
    ISC; non-commercial use
    Used by 0 other packages
    08 May 2017