2 search results for "author:"Alasdair Armstrong""
Showing 1 - 2
-
coq-sail
No documentation
Support library for Sail, a language for describing the instruction semantics of processors0.19BSD-3-clauseUsed by 0 other packages14 Mar 2025 -
coq-sail-stdpp
No documentation
Support library for Sail, a language for describing the instruction semantics of processors, using stdpp bitvectors0.19BSD-3-clauseUsed by 0 other packages14 Mar 2025