From e034b2d31e70565349646df503d18c1b5898340f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Edwin=20T=C3=B6r=C3=B6k?= Date: Thu, 19 Sep 2024 17:37:39 +0100 Subject: [PATCH] upstream-extra: add saturn.0.5.0 and kcas_data.0.7.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit And dependencies: * backoff.0.1.0 * containers.3.9 * domain-local-await.1.0.1 * domain-local-timeout.1.0.1 * domain_shims.0.1.0 * dscheck.0.5.0 * kcas.0.7.0 * mdx.2.4.1 * multicore-bench.0.1.5 * multicore-magic-dscheck.2.3.0 * multicore-magic.2.3.0 * oseq.0.5.1 * qcheck-multicoretest-util.0.4 * qcheck-stm-0.4 * saturn_lockfree.0.5.0 * thread-table.1.0.0 * tsort.2.1.0 This isn't used in the product yet, but having it in xs-opam allows us to start experimenting, and perhaps add some feature flagged code to XAPI that uses these. Signed-off-by: Edwin Török --- .github/unused-upstream.txt | 1 - packages/upstream-extra/backoff.0.1.0/opam | 38 +++++++++++ packages/upstream-extra/containers.3.9/opam | 44 +++++++++++++ .../domain-local-await.1.0.1/opam | 43 +++++++++++++ .../domain-local-timeout.1.0.1/opam | 44 +++++++++++++ .../upstream-extra/domain_shims.0.1.0/opam | 22 +++++++ packages/upstream-extra/dscheck.0.5.0/opam | 41 ++++++++++++ packages/upstream-extra/kcas.0.7.0/opam | 54 ++++++++++++++++ packages/upstream-extra/kcas_data.0.7.0/opam | 56 +++++++++++++++++ packages/upstream-extra/mdx.2.4.1/opam | 63 +++++++++++++++++++ .../upstream-extra/multicore-bench.0.1.5/opam | 45 +++++++++++++ .../multicore-magic-dscheck.2.3.0/opam | 38 +++++++++++ .../upstream-extra/multicore-magic.2.3.0/opam | 39 ++++++++++++ packages/upstream-extra/oseq.0.5.1/opam | 33 ++++++++++ .../qcheck-multicoretests-util.0.4/opam | 42 +++++++++++++ packages/upstream-extra/qcheck-stm.0.4/opam | 52 +++++++++++++++ packages/upstream-extra/saturn.0.5.0/opam | 51 +++++++++++++++ .../upstream-extra/saturn_lockfree.0.5.0/opam | 50 +++++++++++++++ .../upstream-extra/thread-table.1.0.0/opam | 39 ++++++++++++ packages/upstream-extra/tsort.2.1.0/opam | 28 +++++++++ 20 files changed, 822 insertions(+), 1 deletion(-) create mode 100644 packages/upstream-extra/backoff.0.1.0/opam create mode 100644 packages/upstream-extra/containers.3.9/opam create mode 100644 packages/upstream-extra/domain-local-await.1.0.1/opam create mode 100644 packages/upstream-extra/domain-local-timeout.1.0.1/opam create mode 100644 packages/upstream-extra/domain_shims.0.1.0/opam create mode 100644 packages/upstream-extra/dscheck.0.5.0/opam create mode 100644 packages/upstream-extra/kcas.0.7.0/opam create mode 100644 packages/upstream-extra/kcas_data.0.7.0/opam create mode 100644 packages/upstream-extra/mdx.2.4.1/opam create mode 100644 packages/upstream-extra/multicore-bench.0.1.5/opam create mode 100644 packages/upstream-extra/multicore-magic-dscheck.2.3.0/opam create mode 100644 packages/upstream-extra/multicore-magic.2.3.0/opam create mode 100644 packages/upstream-extra/oseq.0.5.1/opam create mode 100644 packages/upstream-extra/qcheck-multicoretests-util.0.4/opam create mode 100644 packages/upstream-extra/qcheck-stm.0.4/opam create mode 100644 packages/upstream-extra/saturn.0.5.0/opam create mode 100644 packages/upstream-extra/saturn_lockfree.0.5.0/opam create mode 100644 packages/upstream-extra/thread-table.1.0.0/opam create mode 100644 packages/upstream-extra/tsort.2.1.0/opam diff --git a/.github/unused-upstream.txt b/.github/unused-upstream.txt index 8eb408cb..7649dec5 100644 --- a/.github/unused-upstream.txt +++ b/.github/unused-upstream.txt @@ -2,7 +2,6 @@ either fix logs-syslog memtrace -ocaml-version ocamlformat ocamlformat-lib ocp-indent diff --git a/packages/upstream-extra/backoff.0.1.0/opam b/packages/upstream-extra/backoff.0.1.0/opam new file mode 100644 index 00000000..13f6a623 --- /dev/null +++ b/packages/upstream-extra/backoff.0.1.0/opam @@ -0,0 +1,38 @@ +opam-version: "2.0" +synopsis: "Exponential backoff mechanism for OCaml" +maintainer: ["Carine Morel "] +authors: ["KC Sivaramakrishnan "] +license: "ISC" +homepage: "https://github.com/ocaml-multicore/backoff" +bug-reports: "https://github.com/ocaml-multicore/backoff/issues" +depends: [ + "dune" {>= "3.3"} + "ocaml" {>= "4.13"} + "alcotest" {>= "1.7.0" & with-test} + "domain_shims" {>= "0.1.0" & with-test} + "odoc" {with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/ocaml-multicore/backoff.git" +url { + src: + "https://github.com/ocaml-multicore/backoff/releases/download/0.1.0/backoff-0.1.0.tbz" + checksum: [ + "sha256=11a4ac78229e90d134de068d8aa879635d6bf1317d5ee951f4065ba0f58c2300" + "sha512=a506acb27b91810ece757f79c203a8d25bb7cd8ba0d7f61bc2cd85eb27916b6f1c87d02343f8974672f40c823b61544c7f42f8dad9351d73a20b8ef2ca145b72" + ] +} +x-commit-hash: "2ffac8ca51a822234b1e47af0430443b9c86cb13" diff --git a/packages/upstream-extra/containers.3.9/opam b/packages/upstream-extra/containers.3.9/opam new file mode 100644 index 00000000..b11d8ad8 --- /dev/null +++ b/packages/upstream-extra/containers.3.9/opam @@ -0,0 +1,44 @@ +opam-version: "2.0" +maintainer: "simon.cruanes.2007@m4x.org" +license: "BSD-2-Clause" +synopsis: "A modular, clean and powerful extension of the OCaml standard library" +build: [ + ["dune" "build" "-p" name "-j" jobs] + ["dune" "build" "@doc" "-p" name ] {with-doc} + ["dune" "runtest" "-p" name "-j" jobs] {with-test & arch != "x86_32" & arch != "arm32"} +] +depends: [ + "ocaml" { >= "4.03.0" } + "dune" { >= "2.0" } + "dune-configurator" + "seq" # compat + "either" # compat + (("ocaml" {with-test & < "4.08"} & "qcheck-core" {>= "0.17" & with-test}) + | ("ocaml" {with-test & >= "4.08"} & "qcheck-core" {>= "0.18" & with-test})) + "yojson" { with-test } + "iter" { with-test } + "gen" { with-test } + "csexp" { with-test } + "uutf" { with-test } + "odoc" { with-doc } +] +depopts: [ + "base-unix" + "base-threads" +] +conflicts: [ + "ocaml-option-bytecode-only" +] +tags: [ "stdlib" "containers" "iterators" "list" "heap" "queue" ] +homepage: "https://github.com/c-cube/ocaml-containers/" +doc: "https://c-cube.github.io/ocaml-containers" +dev-repo: "git+https://github.com/c-cube/ocaml-containers.git" +bug-reports: "https://github.com/c-cube/ocaml-containers/issues/" +authors: "Simon Cruanes" +url { + src: "https://github.com/c-cube/ocaml-containers/archive/v3.9.tar.gz" + checksum: [ + "md5=c54431781906065ead3a089883f94726" + "sha512=8c954cb5ff01dc73a4e04ce2ef8fb5ad5162f16b2e4b2463501dd60c428d388c03c5b641c62b5876cd0d5ac5dc244d6a44d4d92a18525a03bdbf9cca82321272" + ] +} diff --git a/packages/upstream-extra/domain-local-await.1.0.1/opam b/packages/upstream-extra/domain-local-await.1.0.1/opam new file mode 100644 index 00000000..044250c8 --- /dev/null +++ b/packages/upstream-extra/domain-local-await.1.0.1/opam @@ -0,0 +1,43 @@ +opam-version: "2.0" +synopsis: "A scheduler independent blocking mechanism" +description: + "A low level mechanism intended for writing higher level libraries that need to block in a scheduler friendly manner." +maintainer: ["Vesa Karvonen "] +authors: ["Vesa Karvonen "] +license: "ISC" +homepage: "https://github.com/ocaml-multicore/domain-local-await" +bug-reports: "https://github.com/ocaml-multicore/domain-local-await/issues" +depends: [ + "dune" {>= "3.8"} + "ocaml" {>= "4.12.0"} + "thread-table" {>= "1.0.0"} + "alcotest" {>= "1.7.0" & with-test} + "mdx" {>= "2.3.0" & with-test} + "ocaml-version" {>= "3.6.1" & with-test} + "domain_shims" {>= "0.1.0" & with-test} + "odoc" {with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test & os != "macos"} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/ocaml-multicore/domain-local-await.git" +url { + src: + "https://github.com/ocaml-multicore/domain-local-await/releases/download/1.0.1/domain-local-await-1.0.1.tbz" + checksum: [ + "sha256=2952113c53cb07e2b054b2dc86ce72939131dab8207c8f3139adb23e64cdfa6f" + "sha512=6f9805fc032f8afcfba2b0df11b48482c6af14d63f825b09e49e31f9cfc1b196c74981a5b4682ca862e300f9a931b16c6396bd7921513add586df98ba9958ec5" + ] +} +x-commit-hash: "2028ac338517b91fa93072486d03769d56b3f4df" diff --git a/packages/upstream-extra/domain-local-timeout.1.0.1/opam b/packages/upstream-extra/domain-local-timeout.1.0.1/opam new file mode 100644 index 00000000..13cd0bcf --- /dev/null +++ b/packages/upstream-extra/domain-local-timeout.1.0.1/opam @@ -0,0 +1,44 @@ +opam-version: "2.0" +synopsis: "A scheduler independent timeout mechanism" +description: + "A low level mechanism intended for writing higher level libraries that need to be able to have scheduler friendly timeouts." +maintainer: ["Vesa Karvonen "] +authors: ["Vesa Karvonen "] +license: "ISC" +homepage: "https://github.com/ocaml-multicore/domain-local-timeout" +bug-reports: "https://github.com/ocaml-multicore/domain-local-timeout/issues" +depends: [ + "dune" {>= "3.3"} + "ocaml" {>= "4.12.0"} + "psq" {>= "0.2.1"} + "mtime" {>= "2.0.0"} + "thread-table" {>= "1.0.0"} + "domain-local-await" {>= "1.0.0" & with-test} + "mdx" {>= "2.3.0" & with-test} + "alcotest" {>= "1.7.0" & with-test} + "odoc" {with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/ocaml-multicore/domain-local-timeout.git" +url { + src: + "https://github.com/ocaml-multicore/domain-local-timeout/releases/download/1.0.1/domain-local-timeout-1.0.1.tbz" + checksum: [ + "sha256=eac0aa5243a337c13eece2d4c15427b64bf4beb4039060d5f0a36a0e1566d1df" + "sha512=32ecb0c41a10e3a68f5a8774c48d6b8598cbc81494dd1fb716c7d2d97ca14cbe2b59a02aa64d2ee6d53aa57b4e16c8992b6a592938bb3c70a2517273bde340f3" + ] +} +x-commit-hash: "70847fb897f52d7ede023058bb53be9e167f5e45" diff --git a/packages/upstream-extra/domain_shims.0.1.0/opam b/packages/upstream-extra/domain_shims.0.1.0/opam new file mode 100644 index 00000000..c5b41bec --- /dev/null +++ b/packages/upstream-extra/domain_shims.0.1.0/opam @@ -0,0 +1,22 @@ +opam-version: "2.0" +maintainer: "Gabriel Scherer " +authors: ["Gabriel Scherer "] +homepage: "https://gitlab.com/gasche/domain-shims" +doc: "https://gitlab.com/gasche/domain-shims" +synopsis: "A non-parallel implementation of Domains compatible with OCaml 4" +license: "MIT" +dev-repo: "git+https://gitlab.com/gasche/domain-shims.git" +bug-reports: "https://gitlab.com/gasche/domain-shims/issues" +depends: [ + "ocaml" {>= "4.12"} + "dune" {>= "3.0"} +] +build: ["dune" "build" "-p" name "-j" jobs] +url { + src: + "https://gitlab.com/gasche/domain-shims/-/archive/0.1.0/domain-shims-0.1.0.tar.gz" + checksum: [ + "sha256=0867711591fa72a56a26a471a864f09f607212571ea0851cb4c07ee7f1304d31" + "sha512=aef52e40ce48623a4679116d4f1008e333ef28ed4dee81a30dd3e5858745bde2d5045b89add71090282c281578b9b90cc7730253490e0fef00074ee78d36dbef" + ] +} diff --git a/packages/upstream-extra/dscheck.0.5.0/opam b/packages/upstream-extra/dscheck.0.5.0/opam new file mode 100644 index 00000000..3addced5 --- /dev/null +++ b/packages/upstream-extra/dscheck.0.5.0/opam @@ -0,0 +1,41 @@ +opam-version: "2.0" +synopsis: "Traced Atomics" +maintainer: ["Sadiq Jaffer"] +authors: ["Sadiq Jaffer"] +license: "ISC" +homepage: "https://github.com/ocaml-multicore/dscheck" +bug-reports: "https://github.com/ocaml-multicore/dscheck/issues" +depends: [ + "ocaml" {>= "4.12.0"} + "dune" {>= "3.9"} + "containers" + "tsort" + "oseq" + "alcotest" {>= "1.6.0" & with-test} + "cmdliner" + "odoc" {with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/ocaml-multicore/dscheck.git" +url { + src: + "https://github.com/ocaml-multicore/dscheck/releases/download/0.5.0/dscheck-0.5.0.tbz" + checksum: [ + "sha256=f519b60e676f55e0a4800582be461d4138fde30994ec9918f142377d1788686d" + "sha512=08a4e5ac7a74dace04e1f146b23e5e270d1bc6b72d297155cf578ad3fcd6554bddc780353d9deef14334da5b98467332a57b4888b8cbf99f4b5ab814f97b53a6" + ] +} +x-commit-hash: "eabfa49a6572a2cef3745a6796da347d2e1e3579" diff --git a/packages/upstream-extra/kcas.0.7.0/opam b/packages/upstream-extra/kcas.0.7.0/opam new file mode 100644 index 00000000..dda97185 --- /dev/null +++ b/packages/upstream-extra/kcas.0.7.0/opam @@ -0,0 +1,54 @@ +# This file is generated by dune, edit dune-project instead +opam-version: "2.0" +synopsis: + "Software transactional memory based on lock-free multi-word compare-and-set" +description: + "A software transactional memory (STM) implementation based on an atomic lock-free multi-word compare-and-set (MCAS) algorithm enhanced with read-only compare operations and ability to block awaiting for changes." +maintainer: [ + "Vesa Karvonen " + "KC Sivaramakrishnan " +] +authors: [ + "KC Sivaramakrishnan " + "Vesa Karvonen " +] +license: "ISC" +homepage: "https://github.com/ocaml-multicore/kcas" +bug-reports: "https://github.com/ocaml-multicore/kcas/issues" +depends: [ + "dune" {>= "3.14"} + "ocaml" {>= "4.13.0"} + "backoff" {>= "0.1.0"} + "domain-local-await" {>= "1.0.1"} + "domain-local-timeout" {>= "1.0.1"} + "multicore-magic" {>= "2.1.0"} + "domain_shims" {>= "0.1.0" & with-test} + "alcotest" {>= "1.7.0" & with-test} + "mdx" {>= "2.3.0" & with-test} + "sherlodoc" {>= "0.2" & with-doc} + "odoc" {>= "2.4.1" & with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/ocaml-multicore/kcas.git" +doc: "https://ocaml-multicore.github.io/kcas/doc/kcas/Kcas/" +url { + src: + "https://github.com/ocaml-multicore/kcas/archive/refs/tags/0.7.0.tar.gz" + checksum: [ + "md5=f1dc3178e99f1af4680d6046b6449481" + "sha512=2cd0ab22d3f943c79483cbefd0251368663e883a0e3814507d5642ef7f00de5401781f509c3a4ceb1050843364749dab67f8c640ed43e836c442ce1d5bd58313" + ] +} diff --git a/packages/upstream-extra/kcas_data.0.7.0/opam b/packages/upstream-extra/kcas_data.0.7.0/opam new file mode 100644 index 00000000..4844b55c --- /dev/null +++ b/packages/upstream-extra/kcas_data.0.7.0/opam @@ -0,0 +1,56 @@ +# This file is generated by dune, edit dune-project instead +opam-version: "2.0" +synopsis: + "Compositional lock-free data structures and primitives for communication and synchronization" +description: + "A library of compositional lock-free data structures and primitives for communication and synchronization implemented using kcas." +maintainer: [ + "Vesa Karvonen " + "KC Sivaramakrishnan " +] +authors: [ + "KC Sivaramakrishnan " + "Vesa Karvonen " +] +license: "ISC" +homepage: "https://github.com/ocaml-multicore/kcas" +bug-reports: "https://github.com/ocaml-multicore/kcas/issues" +depends: [ + "dune" {>= "3.14"} + "kcas" {= version} + "multicore-magic" {>= "2.1.0"} + "backoff" {>= "0.1.0" & with-test} + "domain-local-await" {>= "1.0.1" & with-test} + "domain_shims" {>= "0.1.0" & with-test} + "multicore-bench" {>= "0.1.1" & with-test} + "alcotest" {>= "1.7.0" & with-test} + "qcheck-core" {>= "0.21.2" & with-test} + "qcheck-stm" {>= "0.3" & with-test} + "mdx" {>= "2.3.0" & with-test} + "sherlodoc" {>= "0.2" & with-doc} + "odoc" {>= "2.4.1" & with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/ocaml-multicore/kcas.git" +doc: "https://ocaml-multicore.github.io/kcas/doc/kcas_data/Kcas_data/" +url { + src: + "https://github.com/ocaml-multicore/kcas/archive/refs/tags/0.7.0.tar.gz" + checksum: [ + "md5=f1dc3178e99f1af4680d6046b6449481" + "sha512=2cd0ab22d3f943c79483cbefd0251368663e883a0e3814507d5642ef7f00de5401781f509c3a4ceb1050843364749dab67f8c640ed43e836c442ce1d5bd58313" + ] +} diff --git a/packages/upstream-extra/mdx.2.4.1/opam b/packages/upstream-extra/mdx.2.4.1/opam new file mode 100644 index 00000000..43e35697 --- /dev/null +++ b/packages/upstream-extra/mdx.2.4.1/opam @@ -0,0 +1,63 @@ +opam-version: "2.0" +synopsis: "Executable code blocks inside markdown files" +description: """ +`ocaml-mdx` allows to execute code blocks inside markdown files. +There are (currently) two sub-commands, corresponding +to two modes of operations: pre-processing (`ocaml-mdx pp`) +and tests (`ocaml-mdx test`). + +The pre-processor mode allows to mix documentation and code, +and to practice "literate programming" using markdown and OCaml. + +The test mode allows to ensure that shell scripts and OCaml fragments +in the documentation always stays up-to-date.""" +maintainer: ["Thomas Gazagnaire "] +authors: ["Thomas Gazagnaire "] +license: "ISC" +homepage: "https://github.com/realworldocaml/mdx" +bug-reports: "https://github.com/realworldocaml/mdx/issues" +depends: [ + "dune" {>= "3.5"} + "ocaml" {>= "4.08.0" & < "5.3~~"} + "ocamlfind" + "fmt" {>= "0.8.7"} + "cppo" {build & >= "1.1.0"} + "csexp" {>= "1.3.2"} + "astring" + "logs" {>= "0.7.0"} + "cmdliner" {>= "1.1.0"} + "re" {>= "1.7.2"} + "ocaml-version" {>= "2.3.0"} + "lwt" {with-test} + "camlp-streams" + "result" + "alcotest" {with-test} + "odoc" {with-doc} +] +conflicts: [ + "result" {< "1.5"} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/realworldocaml/mdx.git" +url { + src: + "https://github.com/realworldocaml/mdx/releases/download/2.4.1/mdx-2.4.1.tbz" + checksum: [ + "sha256=1a40cc91cc553ded0a20c98d434354953bdb759ecc91ad36bbb9a7dd0412af13" + "sha512=fbf40bbe6226401b63694f2ac69fa05e5540020a896d94d17ced6f57265cf5d7e6445ef7f0391c21ca2c05615fb9eecd9e6be93ee53d666bfeb400fc554de478" + ] +} +x-commit-hash: "e2b6532d0bb34789aaff39429b1f8be3ae931333" diff --git a/packages/upstream-extra/multicore-bench.0.1.5/opam b/packages/upstream-extra/multicore-bench.0.1.5/opam new file mode 100644 index 00000000..5c27de16 --- /dev/null +++ b/packages/upstream-extra/multicore-bench.0.1.5/opam @@ -0,0 +1,45 @@ +opam-version: "2.0" +synopsis: + "Framework for writing multicore benchmark executables to run on current-bench" +maintainer: ["Vesa Karvonen "] +authors: ["Vesa Karvonen "] +license: "ISC" +homepage: "https://github.com/ocaml-multicore/multicore-bench" +bug-reports: "https://github.com/ocaml-multicore/multicore-bench/issues" +depends: [ + "dune" {>= "3.14"} + "domain-local-await" {>= "1.0.1"} + "multicore-magic" {>= "2.1.0"} + "mtime" {>= "2.0.0"} + "yojson" {>= "2.1.0"} + "domain_shims" {>= "0.1.0"} + "backoff" {>= "0.1.0"} + "mdx" {>= "2.4.0" & with-test} + "sherlodoc" {>= "0.2" & with-doc} + "odoc" {>= "2.4.1" & with-doc} + "ocaml" {>= "4.13.0"} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/ocaml-multicore/multicore-bench.git" +url { + src: + "https://github.com/ocaml-multicore/multicore-bench/releases/download/0.1.5/multicore-bench-0.1.5.tbz" + checksum: [ + "sha256=331fdb6b7bfe0b20c393ab5f66e30bee52d5b2fe33057baa0b4bde7bc5d862f1" + "sha512=c4187fa25562582211af150b71c3f875499a356d3fe86c3bd00e3338facba1078018edf7b41c0cd43c4723f420edac8d943a2794e152de409093eaafba93c1db" + ] +} +x-commit-hash: "26883fbbbe532d764feb6ffe71bb41c5a719d1cc" diff --git a/packages/upstream-extra/multicore-magic-dscheck.2.3.0/opam b/packages/upstream-extra/multicore-magic-dscheck.2.3.0/opam new file mode 100644 index 00000000..a73a2fa0 --- /dev/null +++ b/packages/upstream-extra/multicore-magic-dscheck.2.3.0/opam @@ -0,0 +1,38 @@ +opam-version: "2.0" +synopsis: + "An implementation of multicore-magic API using the atomic module of DScheck to make DScheck tests possible in libraries using multicore-magic" +maintainer: ["Vesa Karvonen "] +authors: ["Vesa Karvonen "] +license: "ISC" +homepage: "https://github.com/ocaml-multicore/multicore-magic" +bug-reports: "https://github.com/ocaml-multicore/multicore-magic/issues" +depends: [ + "dune" {>= "3.14"} + "ocaml" {>= "4.12.0"} + "dscheck" {>= "0.5.0"} + "odoc" {with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/ocaml-multicore/multicore-magic.git" +url { + src: + "https://github.com/ocaml-multicore/multicore-magic/releases/download/2.3.0/multicore-magic-2.3.0.tbz" + checksum: [ + "sha256=af9d14a8b39dd83a13cf40845c7a493075f47edcbe98688029376dca4827ceee" + "sha512=2c49e30484d2117fbbad5e3255aa82d7d0b0b457cde73a6be1e109afa8cfd012446b2c9f21279350607b0311357e06fbcb36871c4ebf232eec53d46985b885b4" + ] +} +x-commit-hash: "360c2e829c9addeca9ccaee1c71f4ad36bb14a79" diff --git a/packages/upstream-extra/multicore-magic.2.3.0/opam b/packages/upstream-extra/multicore-magic.2.3.0/opam new file mode 100644 index 00000000..7645a05c --- /dev/null +++ b/packages/upstream-extra/multicore-magic.2.3.0/opam @@ -0,0 +1,39 @@ +opam-version: "2.0" +synopsis: "Low-level multicore utilities for OCaml" +maintainer: ["Vesa Karvonen "] +authors: ["Vesa Karvonen "] +license: "ISC" +homepage: "https://github.com/ocaml-multicore/multicore-magic" +bug-reports: "https://github.com/ocaml-multicore/multicore-magic/issues" +depends: [ + "dune" {>= "3.14"} + "ocaml" {>= "4.12.0"} + "domain_shims" {>= "0.1.0" & with-test} + "alcotest" {>= "1.7.0" & with-test} + "sherlodoc" {>= "0.2" & with-doc} + "odoc" {>= "2.4.1" & with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/ocaml-multicore/multicore-magic.git" +url { + src: + "https://github.com/ocaml-multicore/multicore-magic/releases/download/2.3.0/multicore-magic-2.3.0.tbz" + checksum: [ + "sha256=af9d14a8b39dd83a13cf40845c7a493075f47edcbe98688029376dca4827ceee" + "sha512=2c49e30484d2117fbbad5e3255aa82d7d0b0b457cde73a6be1e109afa8cfd012446b2c9f21279350607b0311357e06fbcb36871c4ebf232eec53d46985b885b4" + ] +} +x-commit-hash: "360c2e829c9addeca9ccaee1c71f4ad36bb14a79" diff --git a/packages/upstream-extra/oseq.0.5.1/opam b/packages/upstream-extra/oseq.0.5.1/opam new file mode 100644 index 00000000..9534687f --- /dev/null +++ b/packages/upstream-extra/oseq.0.5.1/opam @@ -0,0 +1,33 @@ +opam-version: "2.0" +maintainer: "simon.cruanes.2007@m4x.org" +license: "BSD-2-clause" +build: [ + ["dune" "build" "-p" name "-j" jobs] + ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc} + ["dune" "runtest" "-p" name "-j" jobs] {with-test} +] +depends: [ + "dune" { >= "1.0" } + "qcheck" {with-test} + "gen" {with-test} + "containers" {with-test} + "odoc" {with-doc} + "ocaml" { >= "4.08.0" } +] +tags: [ "sequence" "iterator" "seq" "pure" "list" ] +homepage: "https://github.com/c-cube/oseq/" +doc: "https://c-cube.github.io/oseq/" +bug-reports: "https://github.com/c-cube/oseq/issues" +dev-repo: "git+https://github.com/c-cube/oseq.git" +synopsis: "Simple list of suspensions, as a composable lazy iterator that behaves like a value" +description: "Extends the new standard library's `Seq` module with many useful combinators." +authors: "Simon Cruanes" +url { + src: + "https://github.com/c-cube/oseq/releases/download/v0.5.1/oseq-0.5.1.tbz" + checksum: [ + "sha256=25426d5d7a9e8b99586a84dc509b887d5401168aff2083800d84fafe35a6feb5" + "sha512=945aaa093591b62f44f6e5e3c8b035bd7e17b08892f0337d5503bb7d2cf49c2caf90bd99143d86855b46f5ccbd38fa629386a0fcc7dda15ac4026def2b485b3c" + ] +} +x-commit-hash: "b44a72b18210d69a894672c955828db1a4feab9c" diff --git a/packages/upstream-extra/qcheck-multicoretests-util.0.4/opam b/packages/upstream-extra/qcheck-multicoretests-util.0.4/opam new file mode 100644 index 00000000..08c618cf --- /dev/null +++ b/packages/upstream-extra/qcheck-multicoretests-util.0.4/opam @@ -0,0 +1,42 @@ +# This file is generated by dune, edit dune-project instead +opam-version: "2.0" +synopsis: + "Various utility functions for property-based testing of multicore programs" +description: """ +A small library of utility functions for QCheck-based testing of +multicore programs.""" +maintainer: ["Jan Midtgaard "] +authors: ["Jan Midtgaard" "Olivier Nicole" "Nicolas Osborne" "Samuel Hym"] +license: "BSD-2-clause" +tags: ["test" "property" "qcheck" "quickcheck" "multicore" "non-determinism"] +homepage: "https://github.com/ocaml-multicore/multicoretests" +bug-reports: "https://github.com/ocaml-multicore/multicoretests/issues" +depends: [ + "dune" {>= "3.0"} + "ocaml" {>= "4.12"} + "qcheck-core" {>= "0.20"} + "odoc" {with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/ocaml-multicore/multicoretests.git" +url { + src: + "https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.4.tar.gz" + checksum: [ + "md5=1c6b24db60dcdab518a03175e9a233e5" + "sha512=bfd9d9250144be9e503710d3eef9c7dd952cdc67b1d56e0f5f737ee6c0f0cf1e6f363c791ed88094659749515245aebb412fea137f3f3323bd33d1a357c47984" + ] +} diff --git a/packages/upstream-extra/qcheck-stm.0.4/opam b/packages/upstream-extra/qcheck-stm.0.4/opam new file mode 100644 index 00000000..42e43fe7 --- /dev/null +++ b/packages/upstream-extra/qcheck-stm.0.4/opam @@ -0,0 +1,52 @@ +# This file is generated by dune, edit dune-project instead +opam-version: "2.0" +synopsis: + "State-machine testing library for sequential and parallel model-based tests" +description: """ +A state-machine testing library based on QCheck that can generate both +sequential and parallel tests against a declarative model.""" +maintainer: ["Jan Midtgaard "] +authors: ["Jan Midtgaard" "Olivier Nicole" "Nicolas Osborne" "Samuel Hym"] +license: "BSD-2-clause" +tags: [ + "test" + "property" + "qcheck" + "quickcheck" + "state-machine testing" + "model-based testing" + "parallel testing" +] +homepage: "https://github.com/ocaml-multicore/multicoretests" +bug-reports: "https://github.com/ocaml-multicore/multicoretests/issues" +depends: [ + "dune" {>= "3.0"} + "ocaml" {>= "4.12"} + "qcheck-core" {>= "0.20"} + "qcheck-multicoretests-util" {= version} + "odoc" {with-doc} +] +depopts: ["base-domains"] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/ocaml-multicore/multicoretests.git" +url { + src: + "https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.4.tar.gz" + checksum: [ + "md5=1c6b24db60dcdab518a03175e9a233e5" + "sha512=bfd9d9250144be9e503710d3eef9c7dd952cdc67b1d56e0f5f737ee6c0f0cf1e6f363c791ed88094659749515245aebb412fea137f3f3323bd33d1a357c47984" + ] +} diff --git a/packages/upstream-extra/saturn.0.5.0/opam b/packages/upstream-extra/saturn.0.5.0/opam new file mode 100644 index 00000000..1ab01b0a --- /dev/null +++ b/packages/upstream-extra/saturn.0.5.0/opam @@ -0,0 +1,51 @@ +opam-version: "2.0" +synopsis: + "Collection of parallelism-safe data structures for Multicore OCaml" +maintainer: ["Carine Morel" "KC Sivaramakrishnan" "Sudha Parimala"] +authors: ["KC Sivaramakrishnan"] +license: "ISC" +homepage: "https://github.com/ocaml-multicore/saturn" +doc: "https://ocaml-multicore.github.io/saturn/" +bug-reports: "https://github.com/ocaml-multicore/saturn/issues" +depends: [ + "dune" {>= "3.14"} + "ocaml" {>= "4.13"} + "domain_shims" {>= "0.1.0" & with-test} + "saturn_lockfree" {= version} + "multicore-magic" {>= "2.3.0" & with-test} + "multicore-bench" {>= "0.1.2" & with-test} + "multicore-magic-dscheck" {>= "2.3.0" & with-test} + "backoff" {>= "0.1.0" & with-test} + "alcotest" {>= "1.7.0" & with-test} + "qcheck" {>= "0.21.3" & with-test} + "qcheck-stm" {>= "0.3" & with-test} + "qcheck-alcotest" {>= "0.21.3" & with-test} + "yojson" {>= "2.0.2" & with-test} + "dscheck" {>= "0.5.0" & with-test} + "sherlodoc" {>= "0.2" & with-doc} + "odoc" {>= "2.4.1" & with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/ocaml-multicore/saturn.git" +url { + src: + "https://github.com/ocaml-multicore/saturn/releases/download/0.5.0/saturn-0.5.0.tbz" + checksum: [ + "sha256=6669b1c087b93e23d84d376f3876ce8d16efd9bfdb6fdcb421e901c9f4443e39" + "sha512=a101f28c753826302f4aca32171a19713385c479cc576a0fcf574211f44cef6fb1a3246b025b815e3fc8c828422b28fd4c84f92c80ba78c515e2f7d03e14e19a" + ] +} +x-commit-hash: "60dd353c9b9b6fae8a3a61d0fcf30d599e0a68a9" diff --git a/packages/upstream-extra/saturn_lockfree.0.5.0/opam b/packages/upstream-extra/saturn_lockfree.0.5.0/opam new file mode 100644 index 00000000..7aef6116 --- /dev/null +++ b/packages/upstream-extra/saturn_lockfree.0.5.0/opam @@ -0,0 +1,50 @@ +opam-version: "2.0" +synopsis: "Collection of lock-free data structures for Multicore OCaml" +maintainer: ["Carine Morel" "KC Sivaramakrishnan" "Sudha Parimala"] +authors: ["KC Sivaramakrishnan"] +license: "ISC" +homepage: "https://github.com/ocaml-multicore/saturn" +doc: "https://ocaml-multicore.github.io/saturn/" +bug-reports: "https://github.com/ocaml-multicore/saturn/issues" +depends: [ + "dune" {>= "3.14"} + "ocaml" {>= "4.13"} + "domain_shims" {>= "0.1.0" & with-test} + "backoff" {>= "0.1.0"} + "multicore-magic" {>= "2.3.0"} + "multicore-magic-dscheck" {>= "2.3.0" & with-test} + "alcotest" {>= "1.7.0" & with-test} + "qcheck" {>= "0.21.3" & with-test} + "qcheck-core" {>= "0.21.3" & with-test} + "qcheck-stm" {>= "0.3" & with-test} + "qcheck-multicoretests-util" {>= "0.3" & with-test} + "qcheck-alcotest" {>= "0.21.3" & with-test} + "yojson" {>= "2.0.2" & with-test} + "dscheck" {>= "0.5.0" & with-test} + "sherlodoc" {>= "0.2" & with-doc} + "odoc" {>= "2.4.1" & with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/ocaml-multicore/saturn.git" +url { + src: + "https://github.com/ocaml-multicore/saturn/releases/download/0.5.0/saturn-0.5.0.tbz" + checksum: [ + "sha256=6669b1c087b93e23d84d376f3876ce8d16efd9bfdb6fdcb421e901c9f4443e39" + "sha512=a101f28c753826302f4aca32171a19713385c479cc576a0fcf574211f44cef6fb1a3246b025b815e3fc8c828422b28fd4c84f92c80ba78c515e2f7d03e14e19a" + ] +} +x-commit-hash: "60dd353c9b9b6fae8a3a61d0fcf30d599e0a68a9" diff --git a/packages/upstream-extra/thread-table.1.0.0/opam b/packages/upstream-extra/thread-table.1.0.0/opam new file mode 100644 index 00000000..7fa1e70e --- /dev/null +++ b/packages/upstream-extra/thread-table.1.0.0/opam @@ -0,0 +1,39 @@ +opam-version: "2.0" +synopsis: "A lock-free thread-safe integer keyed hash table" +description: + "A minimalist lock-free thread-safe integer keyed hash table with zero synchronization overhead on lookups designed for associating thread specific state with threads within a domain." +maintainer: ["Vesa Karvonen "] +authors: ["Vesa Karvonen "] +license: "ISC" +homepage: "https://github.com/ocaml-multicore/thread-table" +bug-reports: "https://github.com/ocaml-multicore/thread-table/issues" +depends: [ + "dune" {>= "3.3"} + "ocaml" {>= "4.08"} + "alcotest" {>= "1.7.0" & with-test} + "odoc" {with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/ocaml-multicore/thread-table.git" +url { + src: + "https://github.com/ocaml-multicore/thread-table/releases/download/1.0.0/thread-table-1.0.0.tbz" + checksum: [ + "sha256=a48cd88463597df9442c4baa69ccc06091ca77ba71e438d3609fbae0f3b81ddd" + "sha512=f857cec49a59cba206b8cc2c580f8c5252c95c7676e81b4c5326d07fc6a7da592785cf011c91d4e6f39f8c5766e280f559c58e02a5077d472577784d646cc2e5" + ] +} +x-commit-hash: "7a31ebaad645cd8e99e0742d21b61d3014dbe265" diff --git a/packages/upstream-extra/tsort.2.1.0/opam b/packages/upstream-extra/tsort.2.1.0/opam new file mode 100644 index 00000000..8c83ebf7 --- /dev/null +++ b/packages/upstream-extra/tsort.2.1.0/opam @@ -0,0 +1,28 @@ +opam-version: "2.0" +synopsis: "Easy to use and user-friendly topological sort" +description: """\ +Easy to use and user-friendly topological sort. + +Example: +``` +Tsort.sort [("foundation", []); ("walls", ["foundation"]); ("roof", ["walls"])] +```""" +maintainer: "Daniil Baturin " +authors: "Daniil Baturin, Martin Jambon" +license: "MIT" +homepage: "https://github.com/dmbaturin/ocaml-tsort" +bug-reports: "https://github.com/dmbaturin/ocaml-tsort/issues" +depends: [ + "ocaml" {>= "4.03.0"} + "dune" {>= "1.9"} +] +build: ["dune" "build" "-p" name "-j" jobs] +dev-repo: "git+https://github.com/dmbaturin/ocaml-tsort.git" +url { + src: + "https://github.com/dmbaturin/ocaml-tsort/archive/refs/tags/2.1.0.tar.gz" + checksum: [ + "md5=1702f1d89d275f26a021595c2102c39e" + "sha512=cf0a6295eed3ca29dbedb1b32c736b37e98587d5420d2f6443b70ca3c50c8d75c508a245d243a3f28bfe9c250abc3a37d4f461b187d2459670eae4cb088514aa" + ] +}