Skip to content

[new release] Ortac 0.8.0 #29564

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
n-osborne wants to merge 1 commit into
base: master
Choose a base branch
from
Open

[new release] Ortac 0.8.0 #29564

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
65 changes: 65 additions & 0 deletions packages/ortac-core/ortac-core.0.8.0/opam
View file
Open in desktop
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 <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.9"}
"ocaml" {>= "4.12.0"}
"dune-build-info"
"dune-site"
"cmdliner" {>= "1.3.0"}
"fmt"
"ppxlib" {>= "0.36.0"}
"gospel" {= "0.3.1"}
"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.8.0/.tar.gz"
checksum: [
"md5=1bef0290fc0c4d00fcf3b7d40e47650f"
"sha512=57982ebdd63a30237a8f334246f1cf977614b75aecd60659fb925c41887d744fef2cdc45e38466e0ab2e8701801c14831e6afd69780bec88848b154e32fc70a6"
]
}
47 changes: 47 additions & 0 deletions packages/ortac-dune/ortac-dune.0.8.0/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,47 @@
# 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>"
"Charlène Gros <charlène@tarides.com>"
]
license: "MIT"
homepage: "https://github.com/ocaml-gospel/ortac"
bug-reports: "https://github.com/ocaml-gospel/ortac/issues"
depends: [
"dune" {>= "3.9"}
"ocaml" {>= "4.12.0"}
"fmt"
"cmdliner" {>= "1.3.0"}
"ortac-core" {= version}
"ortac-qcheck-stm" {with-test & = version}
"ortac-wrapper" {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.8.0/.tar.gz"
checksum: [
"md5=1bef0290fc0c4d00fcf3b7d40e47650f"
"sha512=57982ebdd63a30237a8f334246f1cf977614b75aecd60659fb925c41887d744fef2cdc45e38466e0ab2e8701801c14831e6afd69780bec88848b154e32fc70a6"
]
}
64 changes: 64 additions & 0 deletions packages/ortac-qcheck-stm/ortac-qcheck-stm.0.8.0/opam
View file
Open in desktop
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 <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.9"}
"ocaml" {>= "4.12.0"}
"cmdliner" {>= "1.3.0"}
"fmt"
"ppxlib" {>= "0.36.0"}
"mdx" {with-test & >= "2.3.0"}
"gospel" {= "0.3.1"}
"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.8.0/.tar.gz"
checksum: [
"md5=1bef0290fc0c4d00fcf3b7d40e47650f"
"sha512=57982ebdd63a30237a8f334246f1cf977614b75aecd60659fb925c41887d744fef2cdc45e38466e0ab2e8701801c14831e6afd69780bec88848b154e32fc70a6"
]
}
51 changes: 51 additions & 0 deletions packages/ortac-runtime-qcheck-stm/ortac-runtime-qcheck-stm.0.8.0/opam
View file
Open in desktop
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 <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.9"}
"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.8.0/.tar.gz"
checksum: [
"md5=1bef0290fc0c4d00fcf3b7d40e47650f"
"sha512=57982ebdd63a30237a8f334246f1cf977614b75aecd60659fb925c41887d744fef2cdc45e38466e0ab2e8701801c14831e6afd69780bec88848b154e32fc70a6"
]
}
52 changes: 52 additions & 0 deletions packages/ortac-runtime/ortac-runtime.0.8.0/opam
View file
Open in desktop
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 <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.9"}
"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.8.0/.tar.gz"
checksum: [
"md5=1bef0290fc0c4d00fcf3b7d40e47650f"
"sha512=57982ebdd63a30237a8f334246f1cf977614b75aecd60659fb925c41887d744fef2cdc45e38466e0ab2e8701801c14831e6afd69780bec88848b154e32fc70a6"
]
}
57 changes: 57 additions & 0 deletions packages/ortac-wrapper/ortac-wrapper.0.8.0/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,57 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
synopsis: "Wrapper plugin for Ortac"
description: """
The Wrapper plugin for the Ortac command-line tool (provided by the
ortac-core package) can generate a wrapper module, ie a module that
will wrap all function calls with runtime assertion checks that
their specifications hold.
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>"
"Charlène Gros <charlène@tarides.com>"
]
license: "MIT"
homepage: "https://github.com/ocaml-gospel/ortac"
bug-reports: "https://github.com/ocaml-gospel/ortac/issues"
depends: [
"dune" {>= "3.9"}
"ocaml" {>= "4.12.0"}
"cmdliner" {>= "1.3.0"}
"fmt"
"ppxlib" {>= "0.36.0"}
"gospel" {= "0.3.1"}
"alcotest" {with-test & >= "0.8.1"}
"ortac-core" {= version}
"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.8.0/.tar.gz"
checksum: [
"md5=1bef0290fc0c4d00fcf3b7d40e47650f"
"sha512=57982ebdd63a30237a8f334246f1cf977614b75aecd60659fb925c41887d744fef2cdc45e38466e0ab2e8701801c14831e6afd69780bec88848b154e32fc70a6"
]
}