10 search results for "author:"Robert Norton""

  1. libsail
    Sail is a language for describing the instruction semantics of processors
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French Kathy Gray Robert Norton Christopher Pulte Peter Sewell Mark Wassell
    0.15
    BSD-2-Clause
    Used by 8 other packages
    Last published 08 Dec 2022
  2. sail
    Sail is a language for describing the instruction semantics of processors
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French Kathy Gray Robert Norton Christopher Pulte Peter Sewell Mark Wassell
    0.15
    BSD-2-Clause
    Used by 0 other packages
    Last published 08 Dec 2022
  3. sail_c_backend
    Sail to C translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French Kathy Gray Robert Norton Christopher Pulte Peter Sewell Mark Wassell
    0.15
    BSD-2-Clause
    Used by 1 other packages
    Last published 08 Dec 2022
  4. sail_coq_backend
    Sail to Coq translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French Kathy Gray Robert Norton Christopher Pulte Peter Sewell Mark Wassell
    0.15
    BSD-2-Clause
    Used by 1 other packages
    Last published 08 Dec 2022
  5. sail_latex_backend
    Sail to LaTeX formating
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French Kathy Gray Robert Norton Christopher Pulte Peter Sewell Mark Wassell
    0.15
    BSD-2-Clause
    Used by 1 other packages
    Last published 08 Dec 2022
  6. sail_lem_backend
    Sail to Lem translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French Kathy Gray Robert Norton Christopher Pulte Peter Sewell Mark Wassell
    0.15
    BSD-2-Clause
    Used by 1 other packages
    Last published 08 Dec 2022
  7. sail_manifest
    Helper tool for compiling Sail
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French Kathy Gray Robert Norton Christopher Pulte Peter Sewell Mark Wassell
    0.15
    BSD-2-Clause
    Used by 1 other packages
    Last published 08 Dec 2022
  8. sail_ocaml_backend
    Sail to OCaml translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French Kathy Gray Robert Norton Christopher Pulte Peter Sewell Mark Wassell
    0.15
    BSD-2-Clause
    Used by 1 other packages
    Last published 08 Dec 2022
  9. sail_output
    Example Sail output plugin
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French Kathy Gray Robert Norton Christopher Pulte Peter Sewell Mark Wassell
    0.15
    BSD-2-Clause
    Used by 1 other packages
    Last published 08 Dec 2022
  10. sail_smt_backend
    Sail to C translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French Kathy Gray Robert Norton Christopher Pulte Peter Sewell Mark Wassell
    0.15
    BSD-2-Clause
    Used by 1 other packages
    Last published 08 Dec 2022