Changelog

Series 0.x

2018-10-16. Release 0.2.0

• Replace ‘process’ for ‘actor’ across the code-base.
• Extract the state dump/reconstruction from CvRDT; add functions get_state() and from_state().
• Add Process to capture the required interface of processes.
• Remove the timestamp from the internal vector clock. The timestamp is only used in LWWRegister; it was wasteful to have it everywhere else unused.

2018-10-03. Release 0.1.1

Correct distribution files. No source changes.

2018-10-03. Release 0.1.0

Initial release with the implementation of GCounter, PNCounter, LWWRegister, and several sets. We also include a kind-of vector clock implementation in module clocks (we use it as a primitive, so the GCounter, for instance is just an adapter of the underlying vclock.)