I'm pleased to announce Elle, a black-box, linear-time checker for transactional (or single-key!) consistency models. I've been working on this with @palvaro for over a year now. Now you can use it too!
http://arxiv.org/abs/2003.10554 http://github.com/jepsen-io/elle
-
Show this thread
-
Replying to @jepsen_io @palvaro
Cool! Is there a summary of how it's different/improves over the previous checker(s) used by Jepsen?
2 replies 0 retweets 0 likes
Replying to @buchmanster @palvaro
See the first paragraph here:https://github.com/jepsen-io/elle
0 replies
0 retweets
3 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.