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

  1. diy
    Tool suite for testing shared memory models
  2. herdtools7
    The herdtools suite for simulating and studying weak memory models
    7.56.3
    CECILL-B
    Used by 0 other packages
    Last published 10 Feb 2023