spin

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

Current version
6.4.5

Reverse dependencies

The following formula requires spin to be installed:
xspin 5.2.5 Software verification tool (developed at Bell Labs)

Formula history

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
Brett Koonce spin 6.2.5
Show all revisions of this formula