Elle: Black-box transactional safety checker based on cycle detection (Jespen)github.com/jepsen-io2 pointsblopeur6 years ago