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 "dune" {>= "3.0"}
32 "libsail" {= version}
33 "sail_manifest" {= version & build}
34 "sail_ocaml_backend" {= version & post}
35 "sail_c_backend" {= version & post}
36 "sail_smt_backend" {= version & post}
37 "sail_sv_backend" {= version & post}
38 "sail_lem_backend" {= version & post}
39 "sail_coq_backend" {= version & post}
40 "sail_lean_backend" {= version & post}
41 "sail_latex_backend" {= version & post}
42 "sail_doc_backend" {= version & post}
43 "sail_output" {= version & post}
44 "linenoise" {>= "1.1.0"}
45 "odoc" {with-doc}
46]
47build: [
48 ["dune" "subst"] {dev}
49 [
50 "dune"
51 "build"
52 "-p"
53 name
54 "-j"
55 jobs
56 "--promote-install-files=false"
57 "@install"
58 "@runtest" {with-test}
59 "@doc" {with-doc}
60 ]
61 ["dune" "install" "-p" name "--create-install-files" name]
62]
63dev-repo: "git+https://github.com/rems-project/sail.git"
64substs: [ "src/bin/manifest.ml" ]
65url {
66 src:
67 "https://github.com/rems-project/sail/releases/download/0.19/sail-0.19.tbz"
68 checksum: [
69 "sha256=5458e69ac0a5d9f52738d1946509c501897f5487accb9610b1f20c30305d23e0"
70 "sha512=416e28b9a22784939d38fc23435f6df7a4d01660ba912994fd89adba908f95a325dd21c315ccac3e3b8c9172f0e9ce6ef87264d54ec04306c69f7c2f277452ee"
71 ]
72}
73x-commit-hash: "7ac8131a08d46be253625755d5a985be6920e876"