/porcupine

A fast linearizability checker written in Go 🔎

Primary LanguageGoMIT LicenseMIT

Watchers