0.1.3

Overview

This release adds a number of fixes and changes model names.

Fixed

• Fixed defaults for anomalies in a README.
• Fixed processing of Elle's list-append histories (#30).

Changed

• Checker names have been removed in models name. (#38)
  Old model names are left, but will be deprecated in next releases. Map with old and new names:
  • elle-rw-register --> rw-register
  • elle-list-append --> list-append
  • jepsen-bank --> bank
  • jepsen-counter --> counter
  • jepsen-set --> set
  • jepsen-set-full --> set-full
  • jepsen-long-fork --> long-fork
  • knossos-register --> register
  • knossos-cas-register --> cas-register
  • knossos-mutex --> mutex
• Model "register" is planned to be removed in next releases. It is removed in documentation and usage, and it is recommended to use "rw-register" instead. (#42)