package sail

You can search for identifiers within the package.

in-package search v0.2.0

Sail is a language for describing the instruction semantics of processors

Install

Dune Dependency

www.cl.cam.ac.uk Edit opam file Versions (6)

Authors

Maintainers

S

Sail Devs <cl-sail-dev@lists.cam.ac.uk>

Sources

0.13.tar.gz

md5=e63ab1df9521bdb168840adcb076eb23

sha512=4a6bf7527983a344c7f7e438dfa997c9af6adc76840c260ab17c796e66ec8236f586601a5eb3cf615a6876abec39b7cf1f836778c100a9b6b491bfa4d15f7920

Description

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/.

Published: 11 Jun 2020

Dependencies (15)

pprint
yojson >= "1.6.0"
base64 >= "3.1.0"
conf-zlib
conf-gmp
omd >= "1.3.1" & < "2.0.0~alpha1"
linksem >= "0.3"
lem >= "2018-12-14"
ott >= "0.28" & build
linenoise >= "1.1.0"
menhir build & < "20211215"
zarith
ocamlbuild build
ocamlfind build
ocaml >= "4.06.1" & < "5.0.0"

Dev Dependencies

None

Used by

None

Conflicts

None

On This Page

Description
Dependencies (15)
Dev Dependencies
Used by
Conflicts