This repository has been archived by the owner on Feb 17, 2019. It is now read-only.

Implement linearizability checker #1

Open

pviotti opened this issue Jun 9, 2016 · 0 comments

Labels

enhancement wontfix

Owner

pviotti commented Jun 9, 2016

Implement a graph-based linearizability checker.
(this has been implemented in the Scala version of Conver)

pviotti added enhancement wontfix labels

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.