From 313dff499e95eb86c50b45808a92f5d8203018f0 Mon Sep 17 00:00:00 2001
From: Vesa Karvonen <vesa.a.j.k@gmail.com>
Date: Fri, 28 Apr 2023 13:10:15 +0300
Subject: [PATCH] [new release] kcas_data and kcas (0.3.0)

CHANGES:

All notable changes to this project will be documented in this file.

## 0.3.0

- Remove the `Tx` API (@polytypic)
- Add blocking support to turn kcas into a proper STM (@polytypic, review:
  @lyrm)
- Add periodic validation of transactions (@polytypic)

## 0.2.4

- Introduce `kcas_data` companion package of composable lock-free data
  structures (@polytypic)
- Add `is_in_log` operation to determine whether a location has been accessed by
  a transaction (@polytypic)
- Add `Loc.modify` (@polytypic)
- Add transactional `swap` operation to exchange contents of two locations
  (@polytypic)
- Injectivity `!'a Loc.t` and variance `+'a Tx.t` annotations (@polytypic)

## 0.2.3

- Add support for post commit actions to transactions (@polytypic)
- Bring `Xt` and `Tx` access combinators to parity and add `compare_and_swap`
  (@polytypic)

## 0.2.2

- New explicit transaction log passing API based on idea by @gasche (@polytypic,
  review: @samoht and @lyrm)

## 0.2.1

- New k-CAS-n-CMP algorithm extending the GKMZ algorithm (@polytypic, review:
  @bartoszmodelski)

## 0.2.0

- Complete redesign adding a new transaction API (@polytypic, review:
  @bartoszmodelski)

## 0.1.8

- Fix a bug in GKMZ implementation (@polytypic, review: @bartoszmodelski)

## 0.1.7

- Change to use the new GKMZ algorithm (@polytypic, review: @bartoszmodelski)

## 0.1.6

- Add preflights sorting and checks (@bartoszmodelski, review: @polytypic)

## 0.1.5

- Republish in opam (update opam, dune) (@tmcgilchrist, review: @Sudha247)
---
 packages/kcas/kcas.0.3.0/opam           | 39 +++++++++++++++++++++++++
 packages/kcas_data/kcas_data.0.3.0/opam | 38 ++++++++++++++++++++++++
 2 files changed, 77 insertions(+)
 create mode 100644 packages/kcas/kcas.0.3.0/opam
 create mode 100644 packages/kcas_data/kcas_data.0.3.0/opam

diff --git a/packages/kcas/kcas.0.3.0/opam b/packages/kcas/kcas.0.3.0/opam
new file mode 100644
index 00000000000..1ed17aa7ae2
--- /dev/null
+++ b/packages/kcas/kcas.0.3.0/opam
@@ -0,0 +1,39 @@
+opam-version: "2.0"
+synopsis:
+  "Software transactional memory based on lock-free multi-word compare-and-set"
+maintainer: ["KC Sivaramakrishnan <sk826@cl.cam.ac.uk>"]
+authors: ["KC Sivaramakrishnan <sk826@cl.cam.ac.uk>"]
+license: "ISC"
+homepage: "https://github.com/ocaml-multicore/kcas"
+bug-reports: "https://github.com/ocaml-multicore/kcas/issues"
+depends: [
+  "dune" {>= "3.3"}
+  "ocaml" {>= "5.0"}
+  "domain-local-await" {>= "0.1.0"}
+  "mdx" {>= "1.10.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/kcas.git"
+url {
+  src:
+    "https://github.com/ocaml-multicore/kcas/releases/download/0.3.0/kcas-0.3.0.tbz"
+  checksum: [
+    "sha256=dfb00c3871feb76470cf6806231e5ea82e1499783086ef7edd7bb7bc5b9dc156"
+    "sha512=ae5c02b371e62b1edaba9b684007d0895dc4c2fb92c3d851ba2df9c4e1905621e5ad0cbc2738ecf5ea38b01a0e2d80742f36324d31203a22fdd3b84f7cbbd28b"
+  ]
+}
+x-commit-hash: "0d0da070fc3b1fca2a03996e81400846f8a00613"
diff --git a/packages/kcas_data/kcas_data.0.3.0/opam b/packages/kcas_data/kcas_data.0.3.0/opam
new file mode 100644
index 00000000000..5b411517eb4
--- /dev/null
+++ b/packages/kcas_data/kcas_data.0.3.0/opam
@@ -0,0 +1,38 @@
+opam-version: "2.0"
+synopsis:
+  "Compositional lock-free data structures and primitives for communication and synchronization"
+maintainer: ["KC Sivaramakrishnan <sk826@cl.cam.ac.uk>"]
+authors: ["KC Sivaramakrishnan <sk826@cl.cam.ac.uk>"]
+license: "ISC"
+homepage: "https://github.com/ocaml-multicore/kcas"
+bug-reports: "https://github.com/ocaml-multicore/kcas/issues"
+depends: [
+  "dune" {>= "3.3"}
+  "kcas" {= version}
+  "mdx" {>= "1.10.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/kcas.git"
+url {
+  src:
+    "https://github.com/ocaml-multicore/kcas/releases/download/0.3.0/kcas-0.3.0.tbz"
+  checksum: [
+    "sha256=dfb00c3871feb76470cf6806231e5ea82e1499783086ef7edd7bb7bc5b9dc156"
+    "sha512=ae5c02b371e62b1edaba9b684007d0895dc4c2fb92c3d851ba2df9c4e1905621e5ad0cbc2738ecf5ea38b01a0e2d80742f36324d31203a22fdd3b84f7cbbd28b"
+  ]
+}
+x-commit-hash: "0d0da070fc3b1fca2a03996e81400846f8a00613"