spin

The efficient verification tool of multi-threaded software

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

/api/formula/spin.json (JSON API)

Formula code on GitHub

Current versions:

stable 6.4.8
bottle 🍾 mojave, high_sierra, sierra, el_capitan

Analytics:

Installs (30 days)
spin 88
Installs on Request (30 days)
spin 83
Build Errors (30 days)
spin 0
Installs (90 days)
spin 399
Installs on Request (90 days)
spin 375
Installs (365 days)
spin 1,225
Installs on Request (365 days)
spin 1,012
Fork me on GitHub