0.7.0

CHANGES:

• Numerous minor internal improvements (@polytypic)
• Added many benchmarks to allow better understanding of the overheads of
  composable transactions (@polytypic)
• Exposed shape of _ Loc.t to avoid float array pessimization (@polytypic)
• Made Accumulator automatically scaling and removed optional n_way
  arguments (@polytypic)
• Use polymorphic variant for mode (@polytypic)
• Add ?backoff to Loc.compare_and_set (@polytypic)
• Remove the Op API (@polytypic, @lyrm)
• Fix Hashtbl.clear (@polytypic)
• Fix single location updates to be linearizable (@polytypic)
• Add Xt.compare_and_set (@polytypic)
• Add Dllist.create_node value (@polytypic)
• Workarounds for CSE optimization (@polytypic)
• Changed to use (implicit_transitive_deps false) (@polytypic)
• Move Backoff module to its own backoff package (@lyrm, @polytypic)
• Support padding to avoid false sharing (@polytypic)
• Pass through ?timeoutf to blocking operations on data structures
  (@polytypic)
• Ported to OCaml 4.13 (@polytypic)

0.6.1

0.6.1

• Ported to OCaml 4.14 (@polytypic)

0.6.0

0.6.0

• Add timeout support to potentially blocking operations (@polytypic)
• Add explicit ~xt parameter to Xt.call to make it polymorphic (@polytypic)

0.5.3

0.5.3

• Fix to also snapshot and rollback post commit actions (@polytypic)
• Fix Loc.compare_and_set to have strong semantics (@polytypic)
• Fix single location no-op updates to be strictly serializable (@polytypic)
• Add Dllist.move_l node list and Dllist.move_r node list (@polytypic)

0.5.2

0.5.2

• Improve Hashtbl read-write performance and add swap (@polytypic)
• Avoid some unnecessary verifies of read-only CMP operations (@polytypic)

0.5.1

0.5.1

• Add synchronizing variable Mvar to kcas_data (@polytypic)
• Fix to allow retry from within Xt.update and Xt.modify (@polytypic)

0.5.0

0.5.0

• Add nested conditional transaction support (@polytypic)
• Add explicit location validation support (@polytypic)

0.4.0

0.4.0

• Allocation of location ids in a transaction log friendly order (@polytypic)
• Per location operating mode selection (@Dashy-Dolphin, review: @polytypic)
• Injectivity !'a Kcas_data.Dllist.t annotation (@polytypic)

0.3.1

0.3.1

• Added doubly-linked list Dllist to kcas_data (@polytypic)
• Minor optimizations (@polytypic)

0.3.0

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)