-
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 #26691 from n-osborne/ortac-0.4.0
[new release] Five Ortac packages 0.4.0
- Loading branch information
Showing
5 changed files
with
270 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,64 @@ | ||
| # 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 <nicolas.osborne@tarides.com>"] | ||
| authors: [ | ||
| "Clément Pascutto <clement@pascutto.fr>" | ||
| "Nicolas Osborne <nicolas.osborne@tarides.com>" | ||
| "Samuel Hym <samuel@tarides.com>" | ||
| ] | ||
| 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" | ||
| url { | ||
| src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.4.0.tar.gz" | ||
| checksum: [ | ||
| "md5=16613f8f5d8cd134335ad8ddbca051f6" | ||
| "sha512=1e9f803639370aae447cc601cc17d780e3d0395977899fd5dcfcb037f754148a6a03178ac097a92667b5d02995d7b1f022f30b121de0744f72dad7f5d8306db9" | ||
| ] | ||
| } |
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,42 @@ | ||
| # 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 <nicolas.osborne@tarides.com>"] | ||
| authors: ["Nicolas Osborne <nicolas.osborne@tarides.com>"] | ||
| 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" | ||
| url { | ||
| src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.4.0.tar.gz" | ||
| checksum: [ | ||
| "md5=16613f8f5d8cd134335ad8ddbca051f6" | ||
| "sha512=1e9f803639370aae447cc601cc17d780e3d0395977899fd5dcfcb037f754148a6a03178ac097a92667b5d02995d7b1f022f30b121de0744f72dad7f5d8306db9" | ||
| ] | ||
| } |
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,63 @@ | ||
| # 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 <nicolas.osborne@tarides.com>"] | ||
| authors: [ | ||
| "Nicolas Osborne <nicolas.osborne@tarides.com>" | ||
| "Samuel Hym <samuel@tarides.com>" | ||
| "Nikolaus Huber <mail@n-huber.eu>" | ||
| ] | ||
| 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.4"} | ||
| "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" | ||
| url { | ||
| src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.4.0.tar.gz" | ||
| checksum: [ | ||
| "md5=16613f8f5d8cd134335ad8ddbca051f6" | ||
| "sha512=1e9f803639370aae447cc601cc17d780e3d0395977899fd5dcfcb037f754148a6a03178ac097a92667b5d02995d7b1f022f30b121de0744f72dad7f5d8306db9" | ||
| ] | ||
| } |
50 changes: 50 additions & 0 deletions
50
packages/ortac-runtime-qcheck-stm/ortac-runtime-qcheck-stm.0.4.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,50 @@ | ||
| # 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 <nicolas.osborne@tarides.com>"] | ||
| authors: [ | ||
| "Nicolas Osborne <nicolas.osborne@tarides.com>" | ||
| "Nikolaus Huber <mail@n-huber.eu>" | ||
| ] | ||
| 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.4"} | ||
| "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" | ||
| url { | ||
| src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.4.0.tar.gz" | ||
| checksum: [ | ||
| "md5=16613f8f5d8cd134335ad8ddbca051f6" | ||
| "sha512=1e9f803639370aae447cc601cc17d780e3d0395977899fd5dcfcb037f754148a6a03178ac097a92667b5d02995d7b1f022f30b121de0744f72dad7f5d8306db9" | ||
| ] | ||
| } |
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-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 <nicolas.osborne@tarides.com>"] | ||
| authors: [ | ||
| "Clément Pascutto <clement@pascutto.fr>" | ||
| "Nicolas Osborne <nicolas.osborne@tarides.com>" | ||
| "Samuel Hym <samuel@tarides.com>" | ||
| ] | ||
| 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" | ||
| url { | ||
| src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.4.0.tar.gz" | ||
| checksum: [ | ||
| "md5=16613f8f5d8cd134335ad8ddbca051f6" | ||
| "sha512=1e9f803639370aae447cc601cc17d780e3d0395977899fd5dcfcb037f754148a6a03178ac097a92667b5d02995d7b1f022f30b121de0744f72dad7f5d8306db9" | ||
| ] | ||
| } |