A fast linearizability checker written in Go 🔎
Primary LanguageGoMIT LicenseMIT
This repository is not active