Package: sail-ocaml
Version: 0.19.1+dfsg5-1build3
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 18236
Depends: libc6 (>= 2.42), libgmp10 (>= 2:6.3.0+dfsg), libsail-ocaml-dev (= 0.19.1+dfsg5-1build3)
Suggests: ocaml-findlib
Section: ocaml
Priority: optional
Homepage: https://github.com/rems-project/sail
Description: language describes 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/
 .
 Tools and OCaml support files for the Sail language.
