anishathalye / porcupine
git clone https://github.com/anishathalye/porcupine.git
A fast linearizability checker written in Go 🔎
+~0
stars, 24h · #52,891
+~0
stars, 7 days · #55,131
+~0
stars, 30 days · #55,726
1.3k
★ total
71
forks · 2 open issues
Star history (as recorded here)
LanguageGo
LicenseMIT
Created2017-05-27 (9y ago)
Last push1mo ago
OwnerUser
Links
- GitHub: github.com/anishathalye/porcupine
- Homepage: https://anishathalye.com/testing-distributed-systems-for-linearizability/
- Releases · Issues · Hacker News mentions
README
Loading README…