this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>"
3authors: [
4 "Alasdair Armstrong"
5 "Thomas Bauereiss"
6 "Brian Campbell"
7 "Shaked Flur"
8 "Jonathan French"
9 "Kathy Gray"
10 "Robert Norton"
11 "Christopher Pulte"
12 "Peter Sewell"
13 "Mark Wassell"
14]
15homepage: "http://www.cl.cam.ac.uk/~pes20/sail/"
16bug-reports: "https://github.com/rems-project/sail/issues"
17license: "BSD-3-Clause"
18dev-repo: "git+https://github.com/rems-project/sail.git"
19build: [make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "isail"]
20install: [make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "install"]
21depends: [
22 "ocaml" {>= "4.06.1" & < "5.0.0"}
23 "ocamlfind" {build}
24 "ocamlbuild" {build}
25 "zarith"
26 "menhir" {build & < "20211215"}
27 "linenoise" {>= "1.1.0"}
28 "ott" {>= "0.28" & build}
29 "lem" {>= "2018-12-14"}
30 "linksem" {>= "0.3"}
31 "omd" {>= "1.3.1" & < "2.0.0~alpha1"}
32 "conf-gmp"
33 "conf-zlib"
34 "base64" {>= "3.1.0"}
35 "yojson" {>= "1.6.0"}
36 "pprint"
37]
38synopsis:
39 "Sail is a language for describing the instruction semantics of processors"
40description:
41 """Sail is a language for describing the instruction-set
42architecture (ISA) semantics of processors. Sail aims to provide a
43engineer-friendly, vendor-pseudocode-like language for describing
44instruction semantics. It is essentially a first-order imperative
45language, but with lightweight dependent typing for numeric types and
46bitvector lengths, which are automatically checked using Z3. It has
47been used for several papers, available from
48http://www.cl.cam.ac.uk/~pes20/sail/."""
49url {
50 src: "https://github.com/rems-project/sail/archive/0.14.tar.gz"
51 checksum: [
52 "md5=2f603673d22508f622a378d11accbd6e"
53 "sha512=bb0521dd7ab78d2756c7fecb715e7fef2ad9fc1731d56c9199c83b768c0fa4d9d84b1e5b5304f9c706fc9eac8186923dc81225f7a0d36f66c15ef6801be9102d"
54 ]
55}