Skip to content

Commit a85183f

Browse files
raphael-proustraphael-proust
authored
Merge pull request #27555 from n-osborne/ortac-0.6.0
[new release] Ortac 0.6.0
2 parents ec758b0 + a0a525e commit a85183f

File tree

5 files changed

+275
-0
lines changed
  • packages
    • ortac-core/ortac-core.0.6.0
    • ortac-dune/ortac-dune.0.6.0
    • ortac-qcheck-stm/ortac-qcheck-stm.0.6.0
    • ortac-runtime-qcheck-stm/ortac-runtime-qcheck-stm.0.6.0
    • ortac-runtime/ortac-runtime.0.6.0

5 files changed

+275
-0
lines changed

‎packages/ortac-core/ortac-core.0.6.0/opam‎

Lines changed: 65 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,65 @@
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 <[email protected]>"]
16+
authors: [
17+
"Clément Pascutto <[email protected]>"
18+
"Nicolas Osborne <[email protected]>"
19+
"Samuel Hym <[email protected]>"
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+
x-maintenance-intent: ["(latest)"]
59+
url {
60+
src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.6.0.tar.gz"
61+
checksum: [
62+
"md5=35bd7a9f57964cf592fa8766ff25c68e"
63+
"sha512=6d704cb3ef0cf0654e43a8e417089e451eddd604bffb72aad46cfa0ed283ca8fbc5ae586d9731a47ff1d0c8e45a100e473aa13fb96f0a2b269df9759d3cd6fae"
64+
]
65+
}

‎packages/ortac-dune/ortac-dune.0.6.0/opam‎

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
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 <[email protected]>"]
6+
authors: ["Nicolas Osborne <[email protected]>"]
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+
x-maintenance-intent: ["(latest)"]
37+
url {
38+
src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.6.0.tar.gz"
39+
checksum: [
40+
"md5=35bd7a9f57964cf592fa8766ff25c68e"
41+
"sha512=6d704cb3ef0cf0654e43a8e417089e451eddd604bffb72aad46cfa0ed283ca8fbc5ae586d9731a47ff1d0c8e45a100e473aa13fb96f0a2b269df9759d3cd6fae"
42+
]
43+
}

‎packages/ortac-qcheck-stm/ortac-qcheck-stm.0.6.0/opam‎

Lines changed: 64 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,64 @@
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 <[email protected]>"]
15+
authors: [
16+
"Nicolas Osborne <[email protected]>"
17+
"Samuel Hym <[email protected]>"
18+
"Nikolaus Huber <[email protected]>"
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.5"}
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+
x-maintenance-intent: ["(latest)"]
58+
url {
59+
src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.6.0.tar.gz"
60+
checksum: [
61+
"md5=35bd7a9f57964cf592fa8766ff25c68e"
62+
"sha512=6d704cb3ef0cf0654e43a8e417089e451eddd604bffb72aad46cfa0ed283ca8fbc5ae586d9731a47ff1d0c8e45a100e473aa13fb96f0a2b269df9759d3cd6fae"
63+
]
64+
}

‎packages/ortac-runtime-qcheck-stm/ortac-runtime-qcheck-stm.0.6.0/opam‎

Lines changed: 51 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,51 @@
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 <[email protected]>"]
13+
authors: [
14+
"Nicolas Osborne <[email protected]>"
15+
"Nikolaus Huber <[email protected]>"
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.5"}
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+
x-maintenance-intent: ["(latest)"]
45+
url {
46+
src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.6.0.tar.gz"
47+
checksum: [
48+
"md5=35bd7a9f57964cf592fa8766ff25c68e"
49+
"sha512=6d704cb3ef0cf0654e43a8e417089e451eddd604bffb72aad46cfa0ed283ca8fbc5ae586d9731a47ff1d0c8e45a100e473aa13fb96f0a2b269df9759d3cd6fae"
50+
]
51+
}

‎packages/ortac-runtime/ortac-runtime.0.6.0/opam‎

Lines changed: 52 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,52 @@
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 <[email protected]>"]
11+
authors: [
12+
"Clément Pascutto <[email protected]>"
13+
"Nicolas Osborne <[email protected]>"
14+
"Samuel Hym <[email protected]>"
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+
x-maintenance-intent: ["(latest)"]
46+
url {
47+
src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.6.0.tar.gz"
48+
checksum: [
49+
"md5=35bd7a9f57964cf592fa8766ff25c68e"
50+
"sha512=6d704cb3ef0cf0654e43a8e417089e451eddd604bffb72aad46cfa0ed283ca8fbc5ae586d9731a47ff1d0c8e45a100e473aa13fb96f0a2b269df9759d3cd6fae"
51+
]
52+
}

0 commit comments

Comments
 (0)