2 search results for "author:"Luc Maranget <Luc.Maranget@inria.fr>""

Showing 1 - 2
  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
    24 Oct 2014
  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.57
    CECILL-B
    Used by 0 other packages
    30 Apr 2024