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

Showing 1 - 16
  1. lem
    Documentation
    Lem is a tool for lightweight executable mathematics
    Dominic Mulligan Francesco Zappa Nardelli Gabriel Kerneis Kathy Gray Peter Boehm et al.
    2025-03-13
    BSD-3-Clause; LGPL-2.1-or-later
    Used by 3 other packages
    15 Mar 2025
  2. libsail

    No documentation

    Sail is a language for describing the instruction semantics of processors
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.19.1
    BSD-2-Clause
    Used by 11 other packages
    12 Jun 2025
  3. linksem
    Documentation
    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
    12 Dec 2022
  4. ott
    Documentation
    A tool for writing definitions of programming languages and calculi
    Peter Sewell Francesco Zappa Nardelli Scott Owens
    0.34
    BSD-3-Clause
    Used by 2 other packages
    31 Dec 2024
  5. sail

    No documentation

    Sail is a language for describing the instruction semantics of processors
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.19.1
    BSD-2-Clause
    Used by 0 other packages
    12 Jun 2025
  6. sail_c_backend

    No documentation

    Sail to C translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  7. sail_coq_backend

    No documentation

    Sail to Coq translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  8. sail_doc_backend

    No documentation

    Sail documentation generator
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  9. sail_latex_backend

    No documentation

    Sail to LaTeX formatting
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  10. sail_lean_backend

    No documentation

    Sail to Lean translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  11. sail_lem_backend

    No documentation

    Sail to Lem translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  12. sail_manifest

    No documentation

    Helper tool for compiling Sail
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  13. sail_ocaml_backend

    No documentation

    Sail to OCaml translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  14. sail_output

    No documentation

    Example Sail output plugin
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  15. sail_smt_backend

    No documentation

    Sail to SMT translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  16. sail_sv_backend

    No documentation

    Sail to Systemverilog translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025