package libsail

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

github.com Readme Changelog Edit opam file Versions (5)

Authors

Maintainers

S

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

Sources

sail-0.19.tbz

sha256=5458e69ac0a5d9f52738d1946509c501897f5487accb9610b1f20c30305d23e0

sha512=416e28b9a22784939d38fc23435f6df7a4d01660ba912994fd89adba908f95a325dd21c315ccac3e3b8c9172f0e9ce6ef87264d54ec04306c69f7c2f277452ee

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: 12 Mar 2025

Dependencies (9)

pprint >= "20220103"
yojson >= "1.6.0"
conf-gmp
linksem >= "0.3"
lem >= "2018-12-14"
ott >= "0.28" & build
menhir >= "20240715" & build
dune-site >= "3.0.2"
dune >= "3.0"

Dev Dependencies (2)

odoc with-doc
bisect_ppx dev & >= "2.5.0"

Used by (11)

sail >= "0.19"
sail_c_backend >= "0.19"
sail_coq_backend >= "0.19"
sail_doc_backend >= "0.19"
sail_latex_backend >= "0.19"
sail_lean_backend
sail_lem_backend >= "0.19"
sail_ocaml_backend >= "0.19"
sail_output >= "0.19"
sail_smt_backend >= "0.19"
sail_sv_backend >= "0.19"

Conflicts

None

On This Page

Description
Dependencies (9)
Dev Dependencies (2)
Used by (11)
Conflicts