-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #27219 from n-osborne/ortac-0.5.0
[new release] Five Ortac packages 0.5.0
- Loading branch information
Showing
5 changed files
with
275 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,65 @@ | ||
| # This file is generated by dune, edit dune-project instead | ||
| opam-version: "2.0" | ||
| synopsis: | ||
| "Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel" | ||
| description: """ | ||
| Ortac (OCaml Runtime Assertion Checking) is a tool to turn | ||
| executable Gospel specifications into code to test they hold. | ||
| Ortac Core provides: | ||
| - a library to turn Gospel terms and types into OCaml expressions | ||
| and types, | ||
| - and a command-line tool. | ||
| You will need at least one of the Ortac plugins to actually | ||
| generate test code. | ||
| """ | ||
| maintainer: ["Nicolas Osborne <[email protected]>"] | ||
| authors: [ | ||
| "Clément Pascutto <[email protected]>" | ||
| "Nicolas Osborne <[email protected]>" | ||
| "Samuel Hym <[email protected]>" | ||
| ] | ||
| license: "MIT" | ||
| homepage: "https://github.com/ocaml-gospel/ortac" | ||
| doc: "https://ocaml-gospel.github.io/ortac/ortac-core/" | ||
| bug-reports: "https://github.com/ocaml-gospel/ortac/issues" | ||
| depends: [ | ||
| "dune" {>= "3.8"} | ||
| "ocaml" {>= "4.12.0"} | ||
| "dune-build-info" | ||
| "dune-site" | ||
| "cmdliner" {>= "1.1.0"} | ||
| "fmt" | ||
| "ppxlib" {>= "0.26.0"} | ||
| "gospel" {= "0.3.0"} | ||
| "alcotest" {with-test & >= "0.8.1"} | ||
| "ortac-runtime" {with-test & = version} | ||
| "odoc" {with-doc} | ||
| ] | ||
| conflicts: [ | ||
| "result" {< "1.5"} | ||
| ] | ||
| build: [ | ||
| ["dune" "subst"] {dev} | ||
| [ | ||
| "dune" | ||
| "build" | ||
| "-p" | ||
| name | ||
| "-j" | ||
| jobs | ||
| "--promote-install-files=false" | ||
| "@install" | ||
| "@runtest" {with-test} | ||
| "@doc" {with-doc} | ||
| ] | ||
| ["dune" "install" "-p" name "--create-install-files" name] | ||
| ] | ||
| dev-repo: "git+https://github.com/ocaml-gospel/ortac.git" | ||
| x-maintenance-intent: [("latest")] | ||
| url { | ||
| src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.5.0.tar.gz" | ||
| checksum: [ | ||
| "md5=26e1d043d26f32e03e2deb470aebe936" | ||
| "sha512=1dccc033a4b604962b36ce36be90201823c287c349de686dee98c674047f1d094dbacc7e5794b4587bbd10e832c685c535be18f39d734ca782ddf5038303b106" | ||
| ] | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,43 @@ | ||
| # This file is generated by dune, edit dune-project instead | ||
| opam-version: "2.0" | ||
| synopsis: "Generate dune rules for other ortac plugins" | ||
| description: "Generate dune rules for other ortac plugins" | ||
| maintainer: ["Nicolas Osborne <[email protected]>"] | ||
| authors: ["Nicolas Osborne <[email protected]>"] | ||
| license: "MIT" | ||
| homepage: "https://github.com/ocaml-gospel/ortac" | ||
| bug-reports: "https://github.com/ocaml-gospel/ortac/issues" | ||
| depends: [ | ||
| "dune" {>= "3.8"} | ||
| "ocaml" {>= "4.12.0"} | ||
| "fmt" | ||
| "cmdliner" {>= "1.1.0"} | ||
| "ortac-core" {= version} | ||
| "ortac-qcheck-stm" {with-test & = version} | ||
| "odoc" {with-doc} | ||
| ] | ||
| build: [ | ||
| ["dune" "subst"] {dev} | ||
| [ | ||
| "dune" | ||
| "build" | ||
| "-p" | ||
| name | ||
| "-j" | ||
| jobs | ||
| "--promote-install-files=false" | ||
| "@install" | ||
| "@runtest" {with-test} | ||
| "@doc" {with-doc} | ||
| ] | ||
| ["dune" "install" "-p" name "--create-install-files" name] | ||
| ] | ||
| dev-repo: "git+https://github.com/ocaml-gospel/ortac.git" | ||
| x-maintenance-intent: [("latest")] | ||
| url { | ||
| src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.5.0.tar.gz" | ||
| checksum: [ | ||
| "md5=26e1d043d26f32e03e2deb470aebe936" | ||
| "sha512=1dccc033a4b604962b36ce36be90201823c287c349de686dee98c674047f1d094dbacc7e5794b4587bbd10e832c685c535be18f39d734ca782ddf5038303b106" | ||
| ] | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,64 @@ | ||
| # This file is generated by dune, edit dune-project instead | ||
| opam-version: "2.0" | ||
| synopsis: "QCheck-STM plugin for Ortac" | ||
| description: """ | ||
| The QCheck-STM plugin for the Ortac command-line tool (provided by | ||
| the ortac-core package) can generate model-based tests for a module | ||
| with Gospel specifications. The generated code will test that the | ||
| function specifications hold by using the QCheck-STM library to | ||
| create random test cases. | ||
|
|
||
| Ortac (OCaml Runtime Assertion Checking) is a tool to turn | ||
| executable Gospel specifications into code to test they hold. | ||
| """ | ||
| maintainer: ["Nicolas Osborne <[email protected]>"] | ||
| authors: [ | ||
| "Nicolas Osborne <[email protected]>" | ||
| "Samuel Hym <[email protected]>" | ||
| "Nikolaus Huber <[email protected]>" | ||
| ] | ||
| license: "MIT" | ||
| homepage: "https://github.com/ocaml-gospel/ortac" | ||
| doc: "https://ocaml-gospel.github.io/ortac/ortac-qcheck-stm/" | ||
| bug-reports: "https://github.com/ocaml-gospel/ortac/issues" | ||
| depends: [ | ||
| "dune" {>= "3.8"} | ||
| "ocaml" {>= "4.12.0"} | ||
| "cmdliner" {>= "1.1.0"} | ||
| "fmt" | ||
| "ppxlib" {>= "0.26.0"} | ||
| "mdx" {with-test & >= "2.3.0"} | ||
| "gospel" {= "0.3.0"} | ||
| "qcheck-stm" {>= "0.5"} | ||
| "ortac-core" {= version} | ||
| "ortac-runtime-qcheck-stm" {= version} | ||
| "odoc" {with-doc} | ||
| ] | ||
| conflicts: [ | ||
| "result" {< "1.5"} | ||
| ] | ||
| build: [ | ||
| ["dune" "subst"] {dev} | ||
| [ | ||
| "dune" | ||
| "build" | ||
| "-p" | ||
| name | ||
| "-j" | ||
| jobs | ||
| "--promote-install-files=false" | ||
| "@install" | ||
| "@runtest" {with-test} | ||
| "@doc" {with-doc} | ||
| ] | ||
| ["dune" "install" "-p" name "--create-install-files" name] | ||
| ] | ||
| dev-repo: "git+https://github.com/ocaml-gospel/ortac.git" | ||
| x-maintenance-intent: [("latest")] | ||
| url { | ||
| src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.5.0.tar.gz" | ||
| checksum: [ | ||
| "md5=26e1d043d26f32e03e2deb470aebe936" | ||
| "sha512=1dccc033a4b604962b36ce36be90201823c287c349de686dee98c674047f1d094dbacc7e5794b4587bbd10e832c685c535be18f39d734ca782ddf5038303b106" | ||
| ] | ||
| } |
51 changes: 51 additions & 0 deletions
51
packages/ortac-runtime-qcheck-stm/ortac-runtime-qcheck-stm.0.5.0/opam
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,51 @@ | ||
| # This file is generated by dune, edit dune-project instead | ||
| opam-version: "2.0" | ||
| synopsis: "Runtime support library for Ortac/QCheck-STM-generated code" | ||
| description: """ | ||
| The ortac-runtime-qcheck-stm library provides support for the code | ||
| generated by the Ortac/QCheck-STM plugin (provided by the | ||
| ortac-qcheck-stm package). | ||
|
|
||
| Ortac (OCaml Runtime Assertion Checking) is a tool to turn | ||
| executable Gospel specifications into code to test they hold. | ||
| """ | ||
| maintainer: ["Nicolas Osborne <[email protected]>"] | ||
| authors: [ | ||
| "Nicolas Osborne <[email protected]>" | ||
| "Nikolaus Huber <[email protected]>" | ||
| ] | ||
| license: "MIT" | ||
| homepage: "https://github.com/ocaml-gospel/ortac" | ||
| bug-reports: "https://github.com/ocaml-gospel/ortac/issues" | ||
| depends: [ | ||
| "dune" {>= "3.8"} | ||
| "ocaml" {>= "4.12.0"} | ||
| "qcheck-stm" {>= "0.5"} | ||
| "ortac-runtime" {= version} | ||
| "odoc" {with-doc} | ||
| ] | ||
| build: [ | ||
| ["dune" "subst"] {dev} | ||
| [ | ||
| "dune" | ||
| "build" | ||
| "-p" | ||
| name | ||
| "-j" | ||
| jobs | ||
| "--promote-install-files=false" | ||
| "@install" | ||
| "@runtest" {with-test} | ||
| "@doc" {with-doc} | ||
| ] | ||
| ["dune" "install" "-p" name "--create-install-files" name] | ||
| ] | ||
| dev-repo: "git+https://github.com/ocaml-gospel/ortac.git" | ||
| x-maintenance-intent: [("latest")] | ||
| url { | ||
| src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.5.0.tar.gz" | ||
| checksum: [ | ||
| "md5=26e1d043d26f32e03e2deb470aebe936" | ||
| "sha512=1dccc033a4b604962b36ce36be90201823c287c349de686dee98c674047f1d094dbacc7e5794b4587bbd10e832c685c535be18f39d734ca782ddf5038303b106" | ||
| ] | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,52 @@ | ||
| # This file is generated by dune, edit dune-project instead | ||
| opam-version: "2.0" | ||
| synopsis: "Runtime support library for Ortac-generated code" | ||
| description: """ | ||
| The ortac-runtime library provides support for the code generated | ||
| by the various Ortac plugins. | ||
| Ortac (OCaml Runtime Assertion Checking) is a tool to turn | ||
| executable Gospel specifications into code to test they hold. | ||
| """ | ||
| maintainer: ["Nicolas Osborne <[email protected]>"] | ||
| authors: [ | ||
| "Clément Pascutto <[email protected]>" | ||
| "Nicolas Osborne <[email protected]>" | ||
| "Samuel Hym <[email protected]>" | ||
| ] | ||
| license: "MIT" | ||
| homepage: "https://github.com/ocaml-gospel/ortac" | ||
| doc: "https://ocaml-gospel.github.io/ortac/ortac-runtime/" | ||
| bug-reports: "https://github.com/ocaml-gospel/ortac/issues" | ||
| depends: [ | ||
| "dune" {>= "3.8"} | ||
| "ocaml" {>= "4.12.0"} | ||
| "fmt" {>= "0.8.7"} | ||
| "zarith" | ||
| "monolith" {with-test & >= "20201026"} | ||
| "odoc" {with-doc} | ||
| ] | ||
| build: [ | ||
| ["dune" "subst"] {dev} | ||
| [ | ||
| "dune" | ||
| "build" | ||
| "-p" | ||
| name | ||
| "-j" | ||
| jobs | ||
| "--promote-install-files=false" | ||
| "@install" | ||
| "@runtest" {with-test} | ||
| "@doc" {with-doc} | ||
| ] | ||
| ["dune" "install" "-p" name "--create-install-files" name] | ||
| ] | ||
| dev-repo: "git+https://github.com/ocaml-gospel/ortac.git" | ||
| x-maintenance-intent: [("latest")] | ||
| url { | ||
| src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.5.0.tar.gz" | ||
| checksum: [ | ||
| "md5=26e1d043d26f32e03e2deb470aebe936" | ||
| "sha512=1dccc033a4b604962b36ce36be90201823c287c349de686dee98c674047f1d094dbacc7e5794b4587bbd10e832c685c535be18f39d734ca782ddf5038303b106" | ||
| ] | ||
| } |