v2.1.0

feeblefakie released this 27 May 05:56

· 1315 commits to master since this release

8a03212

Bug fixes

Fix bugs in Serializable
Fix bugs in Snapshot

Enhancements

Introduce Serializable strategy
Add a new Serializable strategy named Extra-Read
Add TLA+ verification

Assets 2