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"
32 "dune" {>= "3.0"}
33 "dune-site" {>= "3.0.2"}
34 "bisect_ppx" {dev & >= "2.5.0"}
35 "menhir" {>= "20240715" & build}
36 "ott" {>= "0.28" & build}
37 "lem" {>= "2018-12-14"}
38 "linksem" {>= "0.3"}
39 "conf-gmp"
40 "conf-zlib"
41 "yojson" {>= "1.6.0"}
42 "pprint" {>= "20220103"}
43 "odoc" {with-doc}
44]
45build-env: OCAMLPARAM = "_,w=-46,keywords=5.2" # uses the effect keyword
46build: [
47 ["dune" "subst"] {dev}
48 [
49 "dune"
50 "build"
51 "-p"
52 name
53 "-j"
54 jobs
55 "--promote-install-files=false"
56 "@install"
57 "@runtest" {with-test}
58 "@doc" {with-doc}
59 ]
60 ["dune" "install" "-p" name "--create-install-files" name]
61]
62dev-repo: "git+https://github.com/rems-project/sail.git"
63url {
64 src:
65 "https://github.com/rems-project/sail/releases/download/0.18/sail-0.18.tbz"
66 checksum: [
67 "sha256=fcdbda14f1ed59fa30e23da34abe02547416e3c2a83fbeee5606e100a5edcf35"
68 "sha512=0bbd72706cb4c1ddf13ea1c42004ec498aa9db8a301020f0dd3d8ac582d1bed8a48c7a825b8e3e6f629279f1f900384f6966608e1cd59e7b1217776413c7fa27"
69 ]
70}
71x-commit-hash: "5d35b1a34d5c8baa70c87a3f485a9e36f7a36746"