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/.
| Authors | Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Shaked Flur, Jonathan French, Kathy Gray, Robert Norton, Christopher Pulte, Peter Sewell and Mark Wassell |
|---|---|
| License | BSD-3-Clause |
| Published | |
| Homepage | http://www.cl.cam.ac.uk/~pes20/sail/ |
| Issue Tracker | https://github.com/rems-project/sail/issues |
| Maintainer | Sail Devs <cl-sail-dev@lists.cam.ac.uk> |
| Dependencies | |
| Source [http] | https://github.com/rems-project/sail/archive/0.13.tar.gz md5=e63ab1df9521bdb168840adcb076eb23 sha512=4a6bf7527983a344c7f7e438dfa997c9af6adc76840c260ab17c796e66ec8236f586601a5eb3cf615a6876abec39b7cf1f836778c100a9b6b491bfa4d15f7920 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/sail/sail.0.13/opam |
No package is dependent
