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

Showing 1 - 15
  1. 2022-12-10
    BSD-3-Clause; LGPL-2.1-or-later
    Used by 3 other packages
    12 Dec 2022
  2. Sail is a language for describing the instruction semantics of processors
    0.17.1
    BSD-2-Clause
    Used by 10 other packages
    15 Nov 2023
  3. A formalisation of the core ELF and DWARF file formats written in Lem
    0.8
    BSD-2-Clause
    Used by 2 other packages
    12 Dec 2022
  4. A tool for writing definitions of programming languages and calculi
    0.33
    BSD-3-Clause; LGPL-2.1-only
    Used by 2 other packages
    18 Jan 2023
  5. Sail is a language for describing the instruction semantics of processors
    0.17.1
    BSD-2-Clause
    Used by 0 other packages
    15 Nov 2023
  6. 0.17.1
    BSD-2-Clause
    Used by 1 other packages
    15 Nov 2023
  7. 0.17.1
    BSD-2-Clause
    Used by 1 other packages
    15 Nov 2023
  8. 0.17.1
    BSD-2-Clause
    Used by 1 other packages
    15 Nov 2023
  9. 0.17.1
    BSD-2-Clause
    Used by 1 other packages
    15 Nov 2023
  10. 0.17.1
    BSD-2-Clause
    Used by 1 other packages
    15 Nov 2023
  11. 0.17.1
    BSD-2-Clause
    Used by 1 other packages
    15 Nov 2023
  12. 0.17.1
    BSD-2-Clause
    Used by 1 other packages
    15 Nov 2023
  13. 0.17.1
    BSD-2-Clause
    Used by 1 other packages
    15 Nov 2023
  14. 0.17.1
    BSD-2-Clause
    Used by 1 other packages
    15 Nov 2023
  15. 0.17.1
    BSD-2-Clause
    Used by 1 other packages
    15 Nov 2023