anishathalye/porcupine
View on GitHub ↗ ★ 1,277 Go
A fast linearizability checker written in Go 🔎
8 mentions on Hacker News by 8 people: 5 stories, 3 comments · first 2017-06-04 · latest 2025-01-11
20082026
-
…they are not exhaustive. [0] https://assets.amazon.science/77/5e/4a7c238f4ce890efdc325df8... [1] https://github.com/anishathalye/porcupine
comment by charleshn · 2025-01-11 · in Formal Methods: Just Good Engineering Practice? (2024) -
Hi @anishathalye, thanks for your https://github.com/anishathalye/porcupine . It’s a great project! Would you like to help me to check whether our model check is right or not with Porcupine? That would be highly appreciated!
comment by siddontang · 2017-10-20 · in TiDB – a global scale distributed DB -
…buries the lede: Anish implemented a really fast checker called Porcupine which is available here https://github.com/anishathalye/porcupine . Would love to hear more on how this helped you catch any bugs & how the diagnosis process goes…
comment by jlrubin · 2017-06-04 · in Testing Distributed Systems for Linearizability