Skip to content

Commit

Permalink
Reformat CHANGES with prettier
Browse files Browse the repository at this point in the history
  • Loading branch information
polytypic committed Apr 28, 2023
1 parent bd19c26 commit 0d0da07
Showing 1 changed file with 25 additions and 17 deletions.
42 changes: 25 additions & 17 deletions CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,47 +4,55 @@ 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- Complete redesign adding a new transaction API (@polytypic, review:
@bartoszmodelski)

## 0.1.8

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

## 0.1.7

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

## 0.1.6

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

## 0.1.5

* Republish in opam (update opam, dune) (@tmcgilchrist, review: @Sudha247)
- Republish in opam (update opam, dune) (@tmcgilchrist, review: @Sudha247)

0 comments on commit 0d0da07

Please sign in to comment.