this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis:
3 "Sail is a language for describing the instruction semantics of processors"
4description: """
5Sail is a language for describing the instruction-set
6architecture (ISA) semantics of processors. Sail aims to provide a
7engineer-friendly, vendor-pseudocode-like language for describing
8instruction semantics. It is essentially a first-order imperative
9language, but with lightweight dependent typing for numeric types and
10bitvector lengths, which are automatically checked using Z3. It has
11been used for several papers, available from
12http://www.cl.cam.ac.uk/~pes20/sail/.
13"""
14maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
15authors: [
16 "Alasdair Armstrong"
17 "Thomas Bauereiss"
18 "Brian Campbell"
19 "Shaked Flur"
20 "Jonathan French"
21 "Kathy Gray"
22 "Robert Norton"
23 "Christopher Pulte"
24 "Peter Sewell"
25 "Mark Wassell"
26]
27license: "BSD-2-Clause"
28homepage: "https://github.com/rems-project/sail"
29bug-reports: "https://github.com/rems-project/sail/issues"
30depends: [
31 "ocaml" {< "5.3"}
32 "dune" {>= "3.0"}
33 "dune-site" {>= "3.0.2"}
34 "menhir" {build & >= "20180523"}
35 "ott" {>= "0.28" & build}
36 "lem" {>= "2018-12-14"}
37 "linksem" {>= "0.3"}
38 "conf-gmp"
39 "conf-zlib"
40 "yojson" {>= "1.6.0"}
41 "pprint"
42 "odoc" {with-doc}
43]
44build: [
45 ["dune" "subst"] {dev}
46 [
47 "dune"
48 "build"
49 "-p"
50 name
51 "-j"
52 jobs
53 "--promote-install-files=false"
54 "@install"
55 "@runtest" {with-test}
56 "@doc" {with-doc}
57 ]
58 ["dune" "install" "-p" name "--create-install-files" name]
59]
60dev-repo: "git+https://github.com/rems-project/sail.git"
61url {
62 src:
63 "https://github.com/rems-project/sail/releases/download/0.15/sail-0.15.tbz"
64 checksum: [
65 "sha256=6849fb16af6a3a1f70a9202ceffeb91f0d5afe0dc403d7a29b42b065dc3510fb"
66 "sha512=64219a4824c428798937f1f2b3d4e8c7b2ff0cb3a835e82a7e98b6c337d16f7496d0f94cb7c65f2c74089a53598e6df04624485f1db0c1ca11ba8fc9dea281d6"
67 ]
68}
69x-commit-hash: "10b7ffc4628cf6e3b6aae0657b1a998b945b8085"