spin

Install command:
brew install spin

Efficient verification tool of multi-threaded software

https://spinroot.com/spin/whatispin.html

License: BSD-3-Clause

Development: Pull requests

Formula JSON API: /api/formula/spin.json

Formula code: spin.rb on GitHub

Bottle (binary package) installation support provided for:

macOS on
Apple Silicon
golden gate ✅
tahoe ✅
sequoia ✅
sonoma ✅
ventura ✅
monterey ✅
big sur ✅
macOS on
Intel
sonoma ✅
ventura ✅
monterey ✅
big sur ✅
Linux ARM64 ✅
x86_64 ✅

Current versions:

stable ✅ 6.5.2

Uses from macOS: bison (build)

Binaries: spin

Analytics:

30 days90 days365 days
Installs1464355
Installs (--HEAD)001
Installs on Request1464355
Installs on Request (--HEAD)001
Build Errors0