spin

The efficient verification tool of multi-threaded software
https://spinroot.com/spin/whatispin.html

Current versions
6.4.5

Formula history

ilovezfs Use “squiggly” heredocs.
Mike McQuaid spin: remove unused fails_with :llvm.
Hiroshi Hatake spin 6.4.5
Viktor Szakats spin: use https homepage
Baptiste Fontaine spin: use an https url
Nikolaus Wittenstein Add descriptions to all remaining homebrew packages
Brett Koonce spin 6.4.2
Brett Koonce spin 6.4.0
Brett Koonce spin 6.3.2
Brett Koonce spin 6.2.7
Show all revisions of this formula