13 search results for "author:"Mark Wassell""

Showing 1 - 13
  1. libsail

    No documentation

    Sail is a language for describing the instruction semantics of processors
    0.19.1
    BSD-2-Clause
    Used by 11 other packages
    12 Jun 2025
  2. sail

    No documentation

    Sail is a language for describing the instruction semantics of processors
    0.19.1
    BSD-2-Clause
    Used by 0 other packages
    12 Jun 2025
  3. sail_c_backend

    No documentation

    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  4. sail_coq_backend

    No documentation

    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  5. sail_doc_backend

    No documentation

    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  6. sail_latex_backend

    No documentation

    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  7. sail_lean_backend

    No documentation

    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  8. sail_lem_backend

    No documentation

    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  9. sail_manifest

    No documentation

    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  10. sail_ocaml_backend

    No documentation

    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  11. sail_output

    No documentation

    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  12. sail_smt_backend

    No documentation

    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  13. sail_sv_backend

    No documentation

    0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025