3 search results for "author:"Luc Maranget""

Showing 1 - 3
  1. diy
    Documentation
    Tool suite for testing shared memory models
    Luc Maranget <Luc.Maranget@inria.fr>, Susmit Sarkar <ss265@st-andrews.ac.uk>, Jade Alglave <j.alglave@ucl.ac.uk >
    5.01
    LGPL-2.0-or-later
    Used by 0 other packages
    Added to opam-repository
  2. herdtools7
    Documentation
    The herdtools suite for simulating and studying weak memory models
    Luc Maranget <Luc.Maranget@inria.fr> Jade Alglave <j.alglave@ucl.ac.uk>
    7.58
    CECILL-B
    Used by 0 other packages
    Added to opam-repository
  3. hevea
    Documentation
    A quite complete and fast LATEX to HTML translator
    Luc Maranget
    2.38
    QPL-1.0 WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Added to opam-repository