sailversion

Sail is a language for describing the instruction semantics of processors

Sail is a language for describing the instruction-set architecture (ISA) semantics of processors. Sail aims to provide a engineer-friendly, vendor-pseudocode-like language for describing instruction semantics. It is essentially a first-order imperative language, but with lightweight dependent typing for numeric types and bitvector lengths, which are automatically checked using Z3. It has been used for several papers, available from http://www.cl.cam.ac.uk/~pes20/sail/.

AuthorsAlasdair Armstrong, Thomas Bauereiss, Brian Campbell, Shaked Flur, Jonathan French, Kathy Gray, Robert Norton, Christopher Pulte, Peter Sewell and Mark Wassell
LicenseBSD3
Published
Homepagehttp://www.cl.cam.ac.uk/~pes20/sail/
Issue Trackerhttps://github.com/rems-project/sail/issues
MaintainerSail Devs <cl-sail-dev@lists.cam.ac.uk>
Dependencies
Source [http] https://github.com/rems-project/sail/archive/0.14.tar.gz
md5=2f603673d22508f622a378d11accbd6e
sha512=bb0521dd7ab78d2756c7fecb715e7fef2ad9fc1731d56c9199c83b768c0fa4d9d84b1e5b5304f9c706fc9eac8186923dc81225f7a0d36f66c15ef6801be9102d
StatisticsInstalled 77 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/sail/sail.0.14/opam
No package is dependent