spin

The efficient verification tool of multi-threaded software

Current version:
6.4.5

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

Reverse dependencies

The following formula requires spin to be installed:

Formula history

Mike McQuaidspin: remove unused fails_with :llvm.
Hiroshi Hatakespin 6.4.5
Viktor Szakatsspin: use https homepage
Baptiste Fontainespin: use an https url
Nikolaus WittensteinAdd descriptions to all remaining homebrew packages
Brett Kooncespin 6.4.2
Brett Kooncespin 6.4.0
Brett Kooncespin 6.3.2
Brett Kooncespin 6.2.7
Brett Kooncespin 6.2.5
Show all revisions of this formula