this repo has no description
Merge pull request #27610 from Alasdair/release-sail-0.19
[new release] sail (13 packages) (0.19)
authored by
Shon Feder
and committed by
GitHub
5ab9f3c9
a40ffcb6
+684
+68
packages/libsail/libsail.0.19/opam
+68
packages/libsail/libsail.0.19/opam
···
1
+
opam-version: "2.0"
2
+
synopsis:
3
+
"Sail is a language for describing the instruction semantics of processors"
4
+
description: """
5
+
Sail is a language for describing the instruction-set
6
+
architecture (ISA) semantics of processors. Sail aims to provide a
7
+
engineer-friendly, vendor-pseudocode-like language for describing
8
+
instruction semantics. It is essentially a first-order imperative
9
+
language, but with lightweight dependent typing for numeric types and
10
+
bitvector lengths, which are automatically checked using Z3. It has
11
+
been used for several papers, available from
12
+
http://www.cl.cam.ac.uk/~pes20/sail/.
13
+
"""
14
+
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
15
+
authors: [
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
+
]
27
+
license: "BSD-2-Clause"
28
+
homepage: "https://github.com/rems-project/sail"
29
+
bug-reports: "https://github.com/rems-project/sail/issues"
30
+
depends: [
31
+
"dune" {>= "3.0"}
32
+
"dune-site" {>= "3.0.2"}
33
+
"bisect_ppx" {dev & >= "2.5.0"}
34
+
"menhir" {>= "20240715" & build}
35
+
"ott" {>= "0.28" & build}
36
+
"lem" {>= "2018-12-14"}
37
+
"linksem" {>= "0.3"}
38
+
"conf-gmp"
39
+
"yojson" {>= "1.6.0"}
40
+
"pprint" {>= "20220103"}
41
+
"odoc" {with-doc}
42
+
]
43
+
build: [
44
+
["dune" "subst"] {dev}
45
+
[
46
+
"dune"
47
+
"build"
48
+
"-p"
49
+
name
50
+
"-j"
51
+
jobs
52
+
"--promote-install-files=false"
53
+
"@install"
54
+
"@runtest" {with-test}
55
+
"@doc" {with-doc}
56
+
]
57
+
["dune" "install" "-p" name "--create-install-files" name]
58
+
]
59
+
dev-repo: "git+https://github.com/rems-project/sail.git"
60
+
url {
61
+
src:
62
+
"https://github.com/rems-project/sail/releases/download/0.19/sail-0.19.tbz"
63
+
checksum: [
64
+
"sha256=5458e69ac0a5d9f52738d1946509c501897f5487accb9610b1f20c30305d23e0"
65
+
"sha512=416e28b9a22784939d38fc23435f6df7a4d01660ba912994fd89adba908f95a325dd21c315ccac3e3b8c9172f0e9ce6ef87264d54ec04306c69f7c2f277452ee"
66
+
]
67
+
}
68
+
x-commit-hash: "7ac8131a08d46be253625755d5a985be6920e876"
+73
packages/sail/sail.0.19/opam
+73
packages/sail/sail.0.19/opam
···
1
+
opam-version: "2.0"
2
+
synopsis:
3
+
"Sail is a language for describing the instruction semantics of processors"
4
+
description: """
5
+
Sail is a language for describing the instruction-set
6
+
architecture (ISA) semantics of processors. Sail aims to provide a
7
+
engineer-friendly, vendor-pseudocode-like language for describing
8
+
instruction semantics. It is essentially a first-order imperative
9
+
language, but with lightweight dependent typing for numeric types and
10
+
bitvector lengths, which are automatically checked using Z3. It has
11
+
been used for several papers, available from
12
+
http://www.cl.cam.ac.uk/~pes20/sail/.
13
+
"""
14
+
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
15
+
authors: [
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
+
]
27
+
license: "BSD-2-Clause"
28
+
homepage: "https://github.com/rems-project/sail"
29
+
bug-reports: "https://github.com/rems-project/sail/issues"
30
+
depends: [
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
+
]
47
+
build: [
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
+
]
63
+
dev-repo: "git+https://github.com/rems-project/sail.git"
64
+
substs: [ "src/bin/manifest.ml" ]
65
+
url {
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
+
}
73
+
x-commit-hash: "7ac8131a08d46be253625755d5a985be6920e876"
+49
packages/sail_c_backend/sail_c_backend.0.19/opam
+49
packages/sail_c_backend/sail_c_backend.0.19/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Sail to C translation"
3
+
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
4
+
authors: [
5
+
"Alasdair Armstrong"
6
+
"Thomas Bauereiss"
7
+
"Brian Campbell"
8
+
"Shaked Flur"
9
+
"Jonathan French"
10
+
"Kathy Gray"
11
+
"Robert Norton"
12
+
"Christopher Pulte"
13
+
"Peter Sewell"
14
+
"Mark Wassell"
15
+
]
16
+
license: "BSD-2-Clause"
17
+
homepage: "https://github.com/rems-project/sail"
18
+
bug-reports: "https://github.com/rems-project/sail/issues"
19
+
depends: [
20
+
"dune" {>= "3.0"}
21
+
"libsail" {= version}
22
+
"odoc" {with-doc}
23
+
]
24
+
build: [
25
+
["dune" "subst"] {dev}
26
+
[
27
+
"dune"
28
+
"build"
29
+
"-p"
30
+
name
31
+
"-j"
32
+
jobs
33
+
"--promote-install-files=false"
34
+
"@install"
35
+
"@runtest" {with-test}
36
+
"@doc" {with-doc}
37
+
]
38
+
["dune" "install" "-p" name "--create-install-files" name]
39
+
]
40
+
dev-repo: "git+https://github.com/rems-project/sail.git"
41
+
url {
42
+
src:
43
+
"https://github.com/rems-project/sail/releases/download/0.19/sail-0.19.tbz"
44
+
checksum: [
45
+
"sha256=5458e69ac0a5d9f52738d1946509c501897f5487accb9610b1f20c30305d23e0"
46
+
"sha512=416e28b9a22784939d38fc23435f6df7a4d01660ba912994fd89adba908f95a325dd21c315ccac3e3b8c9172f0e9ce6ef87264d54ec04306c69f7c2f277452ee"
47
+
]
48
+
}
49
+
x-commit-hash: "7ac8131a08d46be253625755d5a985be6920e876"
+49
packages/sail_coq_backend/sail_coq_backend.0.19/opam
+49
packages/sail_coq_backend/sail_coq_backend.0.19/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Sail to Coq translation"
3
+
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
4
+
authors: [
5
+
"Alasdair Armstrong"
6
+
"Thomas Bauereiss"
7
+
"Brian Campbell"
8
+
"Shaked Flur"
9
+
"Jonathan French"
10
+
"Kathy Gray"
11
+
"Robert Norton"
12
+
"Christopher Pulte"
13
+
"Peter Sewell"
14
+
"Mark Wassell"
15
+
]
16
+
license: "BSD-2-Clause"
17
+
homepage: "https://github.com/rems-project/sail"
18
+
bug-reports: "https://github.com/rems-project/sail/issues"
19
+
depends: [
20
+
"dune" {>= "3.0"}
21
+
"libsail" {= version}
22
+
"odoc" {with-doc}
23
+
]
24
+
build: [
25
+
["dune" "subst"] {dev}
26
+
[
27
+
"dune"
28
+
"build"
29
+
"-p"
30
+
name
31
+
"-j"
32
+
jobs
33
+
"--promote-install-files=false"
34
+
"@install"
35
+
"@runtest" {with-test}
36
+
"@doc" {with-doc}
37
+
]
38
+
["dune" "install" "-p" name "--create-install-files" name]
39
+
]
40
+
dev-repo: "git+https://github.com/rems-project/sail.git"
41
+
url {
42
+
src:
43
+
"https://github.com/rems-project/sail/releases/download/0.19/sail-0.19.tbz"
44
+
checksum: [
45
+
"sha256=5458e69ac0a5d9f52738d1946509c501897f5487accb9610b1f20c30305d23e0"
46
+
"sha512=416e28b9a22784939d38fc23435f6df7a4d01660ba912994fd89adba908f95a325dd21c315ccac3e3b8c9172f0e9ce6ef87264d54ec04306c69f7c2f277452ee"
47
+
]
48
+
}
49
+
x-commit-hash: "7ac8131a08d46be253625755d5a985be6920e876"
+51
packages/sail_doc_backend/sail_doc_backend.0.19/opam
+51
packages/sail_doc_backend/sail_doc_backend.0.19/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Sail documentation generator"
3
+
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
4
+
authors: [
5
+
"Alasdair Armstrong"
6
+
"Thomas Bauereiss"
7
+
"Brian Campbell"
8
+
"Shaked Flur"
9
+
"Jonathan French"
10
+
"Kathy Gray"
11
+
"Robert Norton"
12
+
"Christopher Pulte"
13
+
"Peter Sewell"
14
+
"Mark Wassell"
15
+
]
16
+
license: "BSD-2-Clause"
17
+
homepage: "https://github.com/rems-project/sail"
18
+
bug-reports: "https://github.com/rems-project/sail/issues"
19
+
depends: [
20
+
"dune" {>= "3.0"}
21
+
"libsail" {= version}
22
+
"base64" {>= "3.1.0"}
23
+
"omd" {>= "1.3.1" & < "1.4.0"}
24
+
"odoc" {with-doc}
25
+
]
26
+
build: [
27
+
["dune" "subst"] {dev}
28
+
[
29
+
"dune"
30
+
"build"
31
+
"-p"
32
+
name
33
+
"-j"
34
+
jobs
35
+
"--promote-install-files=false"
36
+
"@install"
37
+
"@runtest" {with-test}
38
+
"@doc" {with-doc}
39
+
]
40
+
["dune" "install" "-p" name "--create-install-files" name]
41
+
]
42
+
dev-repo: "git+https://github.com/rems-project/sail.git"
43
+
url {
44
+
src:
45
+
"https://github.com/rems-project/sail/releases/download/0.19/sail-0.19.tbz"
46
+
checksum: [
47
+
"sha256=5458e69ac0a5d9f52738d1946509c501897f5487accb9610b1f20c30305d23e0"
48
+
"sha512=416e28b9a22784939d38fc23435f6df7a4d01660ba912994fd89adba908f95a325dd21c315ccac3e3b8c9172f0e9ce6ef87264d54ec04306c69f7c2f277452ee"
49
+
]
50
+
}
51
+
x-commit-hash: "7ac8131a08d46be253625755d5a985be6920e876"
+50
packages/sail_latex_backend/sail_latex_backend.0.19/opam
+50
packages/sail_latex_backend/sail_latex_backend.0.19/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Sail to LaTeX formatting"
3
+
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
4
+
authors: [
5
+
"Alasdair Armstrong"
6
+
"Thomas Bauereiss"
7
+
"Brian Campbell"
8
+
"Shaked Flur"
9
+
"Jonathan French"
10
+
"Kathy Gray"
11
+
"Robert Norton"
12
+
"Christopher Pulte"
13
+
"Peter Sewell"
14
+
"Mark Wassell"
15
+
]
16
+
license: "BSD-2-Clause"
17
+
homepage: "https://github.com/rems-project/sail"
18
+
bug-reports: "https://github.com/rems-project/sail/issues"
19
+
depends: [
20
+
"dune" {>= "3.0"}
21
+
"libsail" {= version}
22
+
"omd" {>= "1.3.1" & < "1.4.0"}
23
+
"odoc" {with-doc}
24
+
]
25
+
build: [
26
+
["dune" "subst"] {dev}
27
+
[
28
+
"dune"
29
+
"build"
30
+
"-p"
31
+
name
32
+
"-j"
33
+
jobs
34
+
"--promote-install-files=false"
35
+
"@install"
36
+
"@runtest" {with-test}
37
+
"@doc" {with-doc}
38
+
]
39
+
["dune" "install" "-p" name "--create-install-files" name]
40
+
]
41
+
dev-repo: "git+https://github.com/rems-project/sail.git"
42
+
url {
43
+
src:
44
+
"https://github.com/rems-project/sail/releases/download/0.19/sail-0.19.tbz"
45
+
checksum: [
46
+
"sha256=5458e69ac0a5d9f52738d1946509c501897f5487accb9610b1f20c30305d23e0"
47
+
"sha512=416e28b9a22784939d38fc23435f6df7a4d01660ba912994fd89adba908f95a325dd21c315ccac3e3b8c9172f0e9ce6ef87264d54ec04306c69f7c2f277452ee"
48
+
]
49
+
}
50
+
x-commit-hash: "7ac8131a08d46be253625755d5a985be6920e876"
+49
packages/sail_lean_backend/sail_lean_backend.0.19/opam
+49
packages/sail_lean_backend/sail_lean_backend.0.19/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Sail to Lean translation"
3
+
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
4
+
authors: [
5
+
"Alasdair Armstrong"
6
+
"Thomas Bauereiss"
7
+
"Brian Campbell"
8
+
"Shaked Flur"
9
+
"Jonathan French"
10
+
"Kathy Gray"
11
+
"Robert Norton"
12
+
"Christopher Pulte"
13
+
"Peter Sewell"
14
+
"Mark Wassell"
15
+
]
16
+
license: "BSD-2-Clause"
17
+
homepage: "https://github.com/rems-project/sail"
18
+
bug-reports: "https://github.com/rems-project/sail/issues"
19
+
depends: [
20
+
"dune" {>= "3.0"}
21
+
"libsail" {= version}
22
+
"odoc" {with-doc}
23
+
]
24
+
build: [
25
+
["dune" "subst"] {dev}
26
+
[
27
+
"dune"
28
+
"build"
29
+
"-p"
30
+
name
31
+
"-j"
32
+
jobs
33
+
"--promote-install-files=false"
34
+
"@install"
35
+
"@runtest" {with-test}
36
+
"@doc" {with-doc}
37
+
]
38
+
["dune" "install" "-p" name "--create-install-files" name]
39
+
]
40
+
dev-repo: "git+https://github.com/rems-project/sail.git"
41
+
url {
42
+
src:
43
+
"https://github.com/rems-project/sail/releases/download/0.19/sail-0.19.tbz"
44
+
checksum: [
45
+
"sha256=5458e69ac0a5d9f52738d1946509c501897f5487accb9610b1f20c30305d23e0"
46
+
"sha512=416e28b9a22784939d38fc23435f6df7a4d01660ba912994fd89adba908f95a325dd21c315ccac3e3b8c9172f0e9ce6ef87264d54ec04306c69f7c2f277452ee"
47
+
]
48
+
}
49
+
x-commit-hash: "7ac8131a08d46be253625755d5a985be6920e876"
+49
packages/sail_lem_backend/sail_lem_backend.0.19/opam
+49
packages/sail_lem_backend/sail_lem_backend.0.19/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Sail to Lem translation"
3
+
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
4
+
authors: [
5
+
"Alasdair Armstrong"
6
+
"Thomas Bauereiss"
7
+
"Brian Campbell"
8
+
"Shaked Flur"
9
+
"Jonathan French"
10
+
"Kathy Gray"
11
+
"Robert Norton"
12
+
"Christopher Pulte"
13
+
"Peter Sewell"
14
+
"Mark Wassell"
15
+
]
16
+
license: "BSD-2-Clause"
17
+
homepage: "https://github.com/rems-project/sail"
18
+
bug-reports: "https://github.com/rems-project/sail/issues"
19
+
depends: [
20
+
"dune" {>= "3.0"}
21
+
"libsail" {= version}
22
+
"odoc" {with-doc}
23
+
]
24
+
build: [
25
+
["dune" "subst"] {dev}
26
+
[
27
+
"dune"
28
+
"build"
29
+
"-p"
30
+
name
31
+
"-j"
32
+
jobs
33
+
"--promote-install-files=false"
34
+
"@install"
35
+
"@runtest" {with-test}
36
+
"@doc" {with-doc}
37
+
]
38
+
["dune" "install" "-p" name "--create-install-files" name]
39
+
]
40
+
dev-repo: "git+https://github.com/rems-project/sail.git"
41
+
url {
42
+
src:
43
+
"https://github.com/rems-project/sail/releases/download/0.19/sail-0.19.tbz"
44
+
checksum: [
45
+
"sha256=5458e69ac0a5d9f52738d1946509c501897f5487accb9610b1f20c30305d23e0"
46
+
"sha512=416e28b9a22784939d38fc23435f6df7a4d01660ba912994fd89adba908f95a325dd21c315ccac3e3b8c9172f0e9ce6ef87264d54ec04306c69f7c2f277452ee"
47
+
]
48
+
}
49
+
x-commit-hash: "7ac8131a08d46be253625755d5a985be6920e876"
+49
packages/sail_manifest/sail_manifest.0.19/opam
+49
packages/sail_manifest/sail_manifest.0.19/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Helper tool for compiling Sail"
3
+
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
4
+
authors: [
5
+
"Alasdair Armstrong"
6
+
"Thomas Bauereiss"
7
+
"Brian Campbell"
8
+
"Shaked Flur"
9
+
"Jonathan French"
10
+
"Kathy Gray"
11
+
"Robert Norton"
12
+
"Christopher Pulte"
13
+
"Peter Sewell"
14
+
"Mark Wassell"
15
+
]
16
+
license: "BSD-2-Clause"
17
+
homepage: "https://github.com/rems-project/sail"
18
+
bug-reports: "https://github.com/rems-project/sail/issues"
19
+
depends: [
20
+
"dune" {>= "3.0"}
21
+
"ocaml" {>= "4.08.1"}
22
+
"odoc" {with-doc}
23
+
]
24
+
build: [
25
+
["dune" "subst"] {dev}
26
+
[
27
+
"dune"
28
+
"build"
29
+
"-p"
30
+
name
31
+
"-j"
32
+
jobs
33
+
"--promote-install-files=false"
34
+
"@install"
35
+
"@runtest" {with-test}
36
+
"@doc" {with-doc}
37
+
]
38
+
["dune" "install" "-p" name "--create-install-files" name]
39
+
]
40
+
dev-repo: "git+https://github.com/rems-project/sail.git"
41
+
url {
42
+
src:
43
+
"https://github.com/rems-project/sail/releases/download/0.19/sail-0.19.tbz"
44
+
checksum: [
45
+
"sha256=5458e69ac0a5d9f52738d1946509c501897f5487accb9610b1f20c30305d23e0"
46
+
"sha512=416e28b9a22784939d38fc23435f6df7a4d01660ba912994fd89adba908f95a325dd21c315ccac3e3b8c9172f0e9ce6ef87264d54ec04306c69f7c2f277452ee"
47
+
]
48
+
}
49
+
x-commit-hash: "7ac8131a08d46be253625755d5a985be6920e876"
+50
packages/sail_ocaml_backend/sail_ocaml_backend.0.19/opam
+50
packages/sail_ocaml_backend/sail_ocaml_backend.0.19/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Sail to OCaml translation"
3
+
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
4
+
authors: [
5
+
"Alasdair Armstrong"
6
+
"Thomas Bauereiss"
7
+
"Brian Campbell"
8
+
"Shaked Flur"
9
+
"Jonathan French"
10
+
"Kathy Gray"
11
+
"Robert Norton"
12
+
"Christopher Pulte"
13
+
"Peter Sewell"
14
+
"Mark Wassell"
15
+
]
16
+
license: "BSD-2-Clause"
17
+
homepage: "https://github.com/rems-project/sail"
18
+
bug-reports: "https://github.com/rems-project/sail/issues"
19
+
depends: [
20
+
"dune" {>= "3.0"}
21
+
"libsail" {= version}
22
+
"base64" {>= "3.1.0"}
23
+
"odoc" {with-doc}
24
+
]
25
+
build: [
26
+
["dune" "subst"] {dev}
27
+
[
28
+
"dune"
29
+
"build"
30
+
"-p"
31
+
name
32
+
"-j"
33
+
jobs
34
+
"--promote-install-files=false"
35
+
"@install"
36
+
"@runtest" {with-test}
37
+
"@doc" {with-doc}
38
+
]
39
+
["dune" "install" "-p" name "--create-install-files" name]
40
+
]
41
+
dev-repo: "git+https://github.com/rems-project/sail.git"
42
+
url {
43
+
src:
44
+
"https://github.com/rems-project/sail/releases/download/0.19/sail-0.19.tbz"
45
+
checksum: [
46
+
"sha256=5458e69ac0a5d9f52738d1946509c501897f5487accb9610b1f20c30305d23e0"
47
+
"sha512=416e28b9a22784939d38fc23435f6df7a4d01660ba912994fd89adba908f95a325dd21c315ccac3e3b8c9172f0e9ce6ef87264d54ec04306c69f7c2f277452ee"
48
+
]
49
+
}
50
+
x-commit-hash: "7ac8131a08d46be253625755d5a985be6920e876"
+49
packages/sail_output/sail_output.0.19/opam
+49
packages/sail_output/sail_output.0.19/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Example Sail output plugin"
3
+
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
4
+
authors: [
5
+
"Alasdair Armstrong"
6
+
"Thomas Bauereiss"
7
+
"Brian Campbell"
8
+
"Shaked Flur"
9
+
"Jonathan French"
10
+
"Kathy Gray"
11
+
"Robert Norton"
12
+
"Christopher Pulte"
13
+
"Peter Sewell"
14
+
"Mark Wassell"
15
+
]
16
+
license: "BSD-2-Clause"
17
+
homepage: "https://github.com/rems-project/sail"
18
+
bug-reports: "https://github.com/rems-project/sail/issues"
19
+
depends: [
20
+
"dune" {>= "3.0"}
21
+
"libsail" {= version}
22
+
"odoc" {with-doc}
23
+
]
24
+
build: [
25
+
["dune" "subst"] {dev}
26
+
[
27
+
"dune"
28
+
"build"
29
+
"-p"
30
+
name
31
+
"-j"
32
+
jobs
33
+
"--promote-install-files=false"
34
+
"@install"
35
+
"@runtest" {with-test}
36
+
"@doc" {with-doc}
37
+
]
38
+
["dune" "install" "-p" name "--create-install-files" name]
39
+
]
40
+
dev-repo: "git+https://github.com/rems-project/sail.git"
41
+
url {
42
+
src:
43
+
"https://github.com/rems-project/sail/releases/download/0.19/sail-0.19.tbz"
44
+
checksum: [
45
+
"sha256=5458e69ac0a5d9f52738d1946509c501897f5487accb9610b1f20c30305d23e0"
46
+
"sha512=416e28b9a22784939d38fc23435f6df7a4d01660ba912994fd89adba908f95a325dd21c315ccac3e3b8c9172f0e9ce6ef87264d54ec04306c69f7c2f277452ee"
47
+
]
48
+
}
49
+
x-commit-hash: "7ac8131a08d46be253625755d5a985be6920e876"
+49
packages/sail_smt_backend/sail_smt_backend.0.19/opam
+49
packages/sail_smt_backend/sail_smt_backend.0.19/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Sail to SMT translation"
3
+
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
4
+
authors: [
5
+
"Alasdair Armstrong"
6
+
"Thomas Bauereiss"
7
+
"Brian Campbell"
8
+
"Shaked Flur"
9
+
"Jonathan French"
10
+
"Kathy Gray"
11
+
"Robert Norton"
12
+
"Christopher Pulte"
13
+
"Peter Sewell"
14
+
"Mark Wassell"
15
+
]
16
+
license: "BSD-2-Clause"
17
+
homepage: "https://github.com/rems-project/sail"
18
+
bug-reports: "https://github.com/rems-project/sail/issues"
19
+
depends: [
20
+
"dune" {>= "3.0"}
21
+
"libsail" {= version}
22
+
"odoc" {with-doc}
23
+
]
24
+
build: [
25
+
["dune" "subst"] {dev}
26
+
[
27
+
"dune"
28
+
"build"
29
+
"-p"
30
+
name
31
+
"-j"
32
+
jobs
33
+
"--promote-install-files=false"
34
+
"@install"
35
+
"@runtest" {with-test}
36
+
"@doc" {with-doc}
37
+
]
38
+
["dune" "install" "-p" name "--create-install-files" name]
39
+
]
40
+
dev-repo: "git+https://github.com/rems-project/sail.git"
41
+
url {
42
+
src:
43
+
"https://github.com/rems-project/sail/releases/download/0.19/sail-0.19.tbz"
44
+
checksum: [
45
+
"sha256=5458e69ac0a5d9f52738d1946509c501897f5487accb9610b1f20c30305d23e0"
46
+
"sha512=416e28b9a22784939d38fc23435f6df7a4d01660ba912994fd89adba908f95a325dd21c315ccac3e3b8c9172f0e9ce6ef87264d54ec04306c69f7c2f277452ee"
47
+
]
48
+
}
49
+
x-commit-hash: "7ac8131a08d46be253625755d5a985be6920e876"
+49
packages/sail_sv_backend/sail_sv_backend.0.19/opam
+49
packages/sail_sv_backend/sail_sv_backend.0.19/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Sail to Systemverilog translation"
3
+
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
4
+
authors: [
5
+
"Alasdair Armstrong"
6
+
"Thomas Bauereiss"
7
+
"Brian Campbell"
8
+
"Shaked Flur"
9
+
"Jonathan French"
10
+
"Kathy Gray"
11
+
"Robert Norton"
12
+
"Christopher Pulte"
13
+
"Peter Sewell"
14
+
"Mark Wassell"
15
+
]
16
+
license: "BSD-2-Clause"
17
+
homepage: "https://github.com/rems-project/sail"
18
+
bug-reports: "https://github.com/rems-project/sail/issues"
19
+
depends: [
20
+
"dune" {>= "3.0"}
21
+
"libsail" {= version}
22
+
"odoc" {with-doc}
23
+
]
24
+
build: [
25
+
["dune" "subst"] {dev}
26
+
[
27
+
"dune"
28
+
"build"
29
+
"-p"
30
+
name
31
+
"-j"
32
+
jobs
33
+
"--promote-install-files=false"
34
+
"@install"
35
+
"@runtest" {with-test}
36
+
"@doc" {with-doc}
37
+
]
38
+
["dune" "install" "-p" name "--create-install-files" name]
39
+
]
40
+
dev-repo: "git+https://github.com/rems-project/sail.git"
41
+
url {
42
+
src:
43
+
"https://github.com/rems-project/sail/releases/download/0.19/sail-0.19.tbz"
44
+
checksum: [
45
+
"sha256=5458e69ac0a5d9f52738d1946509c501897f5487accb9610b1f20c30305d23e0"
46
+
"sha512=416e28b9a22784939d38fc23435f6df7a4d01660ba912994fd89adba908f95a325dd21c315ccac3e3b8c9172f0e9ce6ef87264d54ec04306c69f7c2f277452ee"
47
+
]
48
+
}
49
+
x-commit-hash: "7ac8131a08d46be253625755d5a985be6920e876"