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.5
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  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.4
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  4. ocamlyices

    No documentation

    Yices SMT solver binding
    Mickaël Delahaye
    0.7.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  5. oclock

    No documentation

    Oclock: Precise POSIX clock for OCaml
    Mickaël Delahaye
    0.4.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  6. yices2

    No documentation

    Yices2 SMT solver binding
    Mickaël Delahaye <mickael.delahaye@gmail.com>
    0.0.3
    ISC; non-commercial use
    Used by 0 other packages
    Added to opam-repository