this repo has no description
Merge pull request #26691 from n-osborne/ortac-0.4.0
[new release] Five Ortac packages 0.4.0
authored by
Marcello Seri
and committed by
GitHub
44a6012a
8fbcb8c0
+270
+64
packages/ortac-core/ortac-core.0.4.0/opam
+64
packages/ortac-core/ortac-core.0.4.0/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis:
4
+
"Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel"
5
+
description: """
6
+
Ortac (OCaml Runtime Assertion Checking) is a tool to turn
7
+
executable Gospel specifications into code to test they hold.
8
+
Ortac Core provides:
9
+
- a library to turn Gospel terms and types into OCaml expressions
10
+
and types,
11
+
- and a command-line tool.
12
+
You will need at least one of the Ortac plugins to actually
13
+
generate test code.
14
+
"""
15
+
maintainer: ["Nicolas Osborne <nicolas.osborne@tarides.com>"]
16
+
authors: [
17
+
"Clément Pascutto <clement@pascutto.fr>"
18
+
"Nicolas Osborne <nicolas.osborne@tarides.com>"
19
+
"Samuel Hym <samuel@tarides.com>"
20
+
]
21
+
license: "MIT"
22
+
homepage: "https://github.com/ocaml-gospel/ortac"
23
+
doc: "https://ocaml-gospel.github.io/ortac/ortac-core/"
24
+
bug-reports: "https://github.com/ocaml-gospel/ortac/issues"
25
+
depends: [
26
+
"dune" {>= "3.8"}
27
+
"ocaml" {>= "4.12.0"}
28
+
"dune-build-info"
29
+
"dune-site"
30
+
"cmdliner" {>= "1.1.0"}
31
+
"fmt"
32
+
"ppxlib" {>= "0.26.0"}
33
+
"gospel" {= "0.3.0"}
34
+
"alcotest" {with-test & >= "0.8.1"}
35
+
"ortac-runtime" {with-test & = version}
36
+
"odoc" {with-doc}
37
+
]
38
+
conflicts: [
39
+
"result" {< "1.5"}
40
+
]
41
+
build: [
42
+
["dune" "subst"] {dev}
43
+
[
44
+
"dune"
45
+
"build"
46
+
"-p"
47
+
name
48
+
"-j"
49
+
jobs
50
+
"--promote-install-files=false"
51
+
"@install"
52
+
"@runtest" {with-test}
53
+
"@doc" {with-doc}
54
+
]
55
+
["dune" "install" "-p" name "--create-install-files" name]
56
+
]
57
+
dev-repo: "git+https://github.com/ocaml-gospel/ortac.git"
58
+
url {
59
+
src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.4.0.tar.gz"
60
+
checksum: [
61
+
"md5=16613f8f5d8cd134335ad8ddbca051f6"
62
+
"sha512=1e9f803639370aae447cc601cc17d780e3d0395977899fd5dcfcb037f754148a6a03178ac097a92667b5d02995d7b1f022f30b121de0744f72dad7f5d8306db9"
63
+
]
64
+
}
+42
packages/ortac-dune/ortac-dune.0.4.0/opam
+42
packages/ortac-dune/ortac-dune.0.4.0/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Generate dune rules for other ortac plugins"
4
+
description: "Generate dune rules for other ortac plugins"
5
+
maintainer: ["Nicolas Osborne <nicolas.osborne@tarides.com>"]
6
+
authors: ["Nicolas Osborne <nicolas.osborne@tarides.com>"]
7
+
license: "MIT"
8
+
homepage: "https://github.com/ocaml-gospel/ortac"
9
+
bug-reports: "https://github.com/ocaml-gospel/ortac/issues"
10
+
depends: [
11
+
"dune" {>= "3.8"}
12
+
"ocaml" {>= "4.12.0"}
13
+
"fmt"
14
+
"cmdliner" {>= "1.1.0"}
15
+
"ortac-core" {= version}
16
+
"ortac-qcheck-stm" {with-test & = version}
17
+
"odoc" {with-doc}
18
+
]
19
+
build: [
20
+
["dune" "subst"] {dev}
21
+
[
22
+
"dune"
23
+
"build"
24
+
"-p"
25
+
name
26
+
"-j"
27
+
jobs
28
+
"--promote-install-files=false"
29
+
"@install"
30
+
"@runtest" {with-test}
31
+
"@doc" {with-doc}
32
+
]
33
+
["dune" "install" "-p" name "--create-install-files" name]
34
+
]
35
+
dev-repo: "git+https://github.com/ocaml-gospel/ortac.git"
36
+
url {
37
+
src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.4.0.tar.gz"
38
+
checksum: [
39
+
"md5=16613f8f5d8cd134335ad8ddbca051f6"
40
+
"sha512=1e9f803639370aae447cc601cc17d780e3d0395977899fd5dcfcb037f754148a6a03178ac097a92667b5d02995d7b1f022f30b121de0744f72dad7f5d8306db9"
41
+
]
42
+
}
+63
packages/ortac-qcheck-stm/ortac-qcheck-stm.0.4.0/opam
+63
packages/ortac-qcheck-stm/ortac-qcheck-stm.0.4.0/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "QCheck-STM plugin for Ortac"
4
+
description: """
5
+
The QCheck-STM plugin for the Ortac command-line tool (provided by
6
+
the ortac-core package) can generate model-based tests for a module
7
+
with Gospel specifications. The generated code will test that the
8
+
function specifications hold by using the QCheck-STM library to
9
+
create random test cases.
10
+
11
+
Ortac (OCaml Runtime Assertion Checking) is a tool to turn
12
+
executable Gospel specifications into code to test they hold.
13
+
"""
14
+
maintainer: ["Nicolas Osborne <nicolas.osborne@tarides.com>"]
15
+
authors: [
16
+
"Nicolas Osborne <nicolas.osborne@tarides.com>"
17
+
"Samuel Hym <samuel@tarides.com>"
18
+
"Nikolaus Huber <mail@n-huber.eu>"
19
+
]
20
+
license: "MIT"
21
+
homepage: "https://github.com/ocaml-gospel/ortac"
22
+
doc: "https://ocaml-gospel.github.io/ortac/ortac-qcheck-stm/"
23
+
bug-reports: "https://github.com/ocaml-gospel/ortac/issues"
24
+
depends: [
25
+
"dune" {>= "3.8"}
26
+
"ocaml" {>= "4.12.0"}
27
+
"cmdliner" {>= "1.1.0"}
28
+
"fmt"
29
+
"ppxlib" {>= "0.26.0"}
30
+
"mdx" {with-test & >= "2.3.0"}
31
+
"gospel" {= "0.3.0"}
32
+
"qcheck-stm" {>= "0.4"}
33
+
"ortac-core" {= version}
34
+
"ortac-runtime-qcheck-stm" {= version}
35
+
"odoc" {with-doc}
36
+
]
37
+
conflicts: [
38
+
"result" {< "1.5"}
39
+
]
40
+
build: [
41
+
["dune" "subst"] {dev}
42
+
[
43
+
"dune"
44
+
"build"
45
+
"-p"
46
+
name
47
+
"-j"
48
+
jobs
49
+
"--promote-install-files=false"
50
+
"@install"
51
+
"@runtest" {with-test}
52
+
"@doc" {with-doc}
53
+
]
54
+
["dune" "install" "-p" name "--create-install-files" name]
55
+
]
56
+
dev-repo: "git+https://github.com/ocaml-gospel/ortac.git"
57
+
url {
58
+
src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.4.0.tar.gz"
59
+
checksum: [
60
+
"md5=16613f8f5d8cd134335ad8ddbca051f6"
61
+
"sha512=1e9f803639370aae447cc601cc17d780e3d0395977899fd5dcfcb037f754148a6a03178ac097a92667b5d02995d7b1f022f30b121de0744f72dad7f5d8306db9"
62
+
]
63
+
}
+50
packages/ortac-runtime-qcheck-stm/ortac-runtime-qcheck-stm.0.4.0/opam
+50
packages/ortac-runtime-qcheck-stm/ortac-runtime-qcheck-stm.0.4.0/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Runtime support library for Ortac/QCheck-STM-generated code"
4
+
description: """
5
+
The ortac-runtime-qcheck-stm library provides support for the code
6
+
generated by the Ortac/QCheck-STM plugin (provided by the
7
+
ortac-qcheck-stm package).
8
+
9
+
Ortac (OCaml Runtime Assertion Checking) is a tool to turn
10
+
executable Gospel specifications into code to test they hold.
11
+
"""
12
+
maintainer: ["Nicolas Osborne <nicolas.osborne@tarides.com>"]
13
+
authors: [
14
+
"Nicolas Osborne <nicolas.osborne@tarides.com>"
15
+
"Nikolaus Huber <mail@n-huber.eu>"
16
+
]
17
+
license: "MIT"
18
+
homepage: "https://github.com/ocaml-gospel/ortac"
19
+
bug-reports: "https://github.com/ocaml-gospel/ortac/issues"
20
+
depends: [
21
+
"dune" {>= "3.8"}
22
+
"ocaml" {>= "4.12.0"}
23
+
"qcheck-stm" {>= "0.4"}
24
+
"ortac-runtime" {= version}
25
+
"odoc" {with-doc}
26
+
]
27
+
build: [
28
+
["dune" "subst"] {dev}
29
+
[
30
+
"dune"
31
+
"build"
32
+
"-p"
33
+
name
34
+
"-j"
35
+
jobs
36
+
"--promote-install-files=false"
37
+
"@install"
38
+
"@runtest" {with-test}
39
+
"@doc" {with-doc}
40
+
]
41
+
["dune" "install" "-p" name "--create-install-files" name]
42
+
]
43
+
dev-repo: "git+https://github.com/ocaml-gospel/ortac.git"
44
+
url {
45
+
src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.4.0.tar.gz"
46
+
checksum: [
47
+
"md5=16613f8f5d8cd134335ad8ddbca051f6"
48
+
"sha512=1e9f803639370aae447cc601cc17d780e3d0395977899fd5dcfcb037f754148a6a03178ac097a92667b5d02995d7b1f022f30b121de0744f72dad7f5d8306db9"
49
+
]
50
+
}
+51
packages/ortac-runtime/ortac-runtime.0.4.0/opam
+51
packages/ortac-runtime/ortac-runtime.0.4.0/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Runtime support library for Ortac-generated code"
4
+
description: """
5
+
The ortac-runtime library provides support for the code generated
6
+
by the various Ortac plugins.
7
+
Ortac (OCaml Runtime Assertion Checking) is a tool to turn
8
+
executable Gospel specifications into code to test they hold.
9
+
"""
10
+
maintainer: ["Nicolas Osborne <nicolas.osborne@tarides.com>"]
11
+
authors: [
12
+
"Clément Pascutto <clement@pascutto.fr>"
13
+
"Nicolas Osborne <nicolas.osborne@tarides.com>"
14
+
"Samuel Hym <samuel@tarides.com>"
15
+
]
16
+
license: "MIT"
17
+
homepage: "https://github.com/ocaml-gospel/ortac"
18
+
doc: "https://ocaml-gospel.github.io/ortac/ortac-runtime/"
19
+
bug-reports: "https://github.com/ocaml-gospel/ortac/issues"
20
+
depends: [
21
+
"dune" {>= "3.8"}
22
+
"ocaml" {>= "4.12.0"}
23
+
"fmt" {>= "0.8.7"}
24
+
"zarith"
25
+
"monolith" {with-test & >= "20201026"}
26
+
"odoc" {with-doc}
27
+
]
28
+
build: [
29
+
["dune" "subst"] {dev}
30
+
[
31
+
"dune"
32
+
"build"
33
+
"-p"
34
+
name
35
+
"-j"
36
+
jobs
37
+
"--promote-install-files=false"
38
+
"@install"
39
+
"@runtest" {with-test}
40
+
"@doc" {with-doc}
41
+
]
42
+
["dune" "install" "-p" name "--create-install-files" name]
43
+
]
44
+
dev-repo: "git+https://github.com/ocaml-gospel/ortac.git"
45
+
url {
46
+
src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.4.0.tar.gz"
47
+
checksum: [
48
+
"md5=16613f8f5d8cd134335ad8ddbca051f6"
49
+
"sha512=1e9f803639370aae447cc601cc17d780e3d0395977899fd5dcfcb037f754148a6a03178ac097a92667b5d02995d7b1f022f30b121de0744f72dad7f5d8306db9"
50
+
]
51
+
}