anishathalye/porcupine

A fast linearizability checker written in Go 🔎

66 best points · 8 comments · 5 Hacker News posts · 1,275 GitHub stars · View on GitHub

Hacker News discussions

• Porcupine: A fast linearizability checker written in Go (66 points, 7 comments, by cube2222, 2018-09-09)
• Porcupine: Fast linearizability checker to test distributed system correctness (3 points, 0 comments, by didip, 2022-01-30)
• Porcupine is a fast linearizability checker for distributed systems (3 points, 0 comments, by gjvc, 2023-10-08)
• Porcupine, a fast linearizability checker for distributed systems in Go (2 points, 1 comments, by jinqueeny, 2018-09-07)
• Porcupine, a fast linearizability checker written in Go (1 points, 0 comments, by yandrypozo, 2017-10-22)