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

Showing 1 - 3
  1. coq-sail

    No documentation

    Support library for Sail, a language for describing the instruction semantics of processors
    logpath:Sail category:Computer Science/Semantics and Compilation/Semantics
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 0 other packages
    29 Jun 2026
  2. coq-sail-stdpp

    No documentation

    Support library for Sail, a language for describing the instruction semantics of processors, using stdpp bitvectors
    logpath:Sail category:Computer Science/Semantics and Compilation/Semantics
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 0 other packages
    29 Jun 2026
  3. rocq-sail-stdpp

    No documentation

    Support library for Sail, a language for describing the instruction semantics of processors, using stdpp bitvectors
    logpath:Sail category:Computer Science/Semantics and Compilation/Semantics
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 0 other packages
    29 Jun 2026