Skip to content

Releases: susliko/lotos

Release 0.1.0 (2020-05-03)

03 May 13:19
53e8d8f
Compare
Choose a tag to compare

Core functionality of the release:

  • DSL for specification description
  • configurable test runner
  • sequential consistency and linearizability checkers