13 search results for "author:"Peter Sewell""

  1. lem
    Lem is a tool for lightweight executable mathematics
    Dominic Mulligan Francesco Zappa Nardelli Gabriel Kerneis Kathy Gray Peter Boehm Peter Sewell Scott Owens Thomas Tuerk Brian Campbell Shaked Flur Thomas Bauereiss Stephen Kell Thomas Williams Lars Hupel Basile Clement
    2022-12-10
    BSD-3-Clause; LGPL-2.1-or-later
    Used by 3 other packages
    Last published 12 Dec 2022
  2. 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
  3. linksem
    A formalisation of the core ELF and DWARF file formats written in Lem
    Stephen Kell Dominic Mulligan Peter Sewell
    0.8
    BSD-2-Clause
    Used by 2 other packages
    Last published 12 Dec 2022
  4. ott
    A tool for writing definitions of programming languages and calculi
    Peter Sewell Francesco Zappa Nardelli Scott Owens
    0.33
    BSD-3-Clause; LGPL-2.1-only
    Used by 2 other packages
    Last published 18 Jan 2023
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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