spin

6.5.2

Efficient verification tool of multi-threaded software

Install

brew install spin

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	6.5.2	File SHA-256 `24f65833f9f2c5db29e3714fd10a067e0bb584d16c355ea0b2eb9da438499735`
Apple Silicon	Tahoe	6.5.2	File SHA-256 `64d6db348e89f72bd9104ea58648f9de630ebbe1f97dbbba7bde5f72d127639b`
Apple Silicon	Sequoia	6.5.2	File SHA-256 `8eae14c8c6dce13b7a40a21f94b481c5f0a589aacc993e21433ed498c6e44165`
Apple Silicon	Sonoma	6.5.2	File SHA-256 `df76fb2fe8fb0027ea684c8c6ef026bf44a320d5739f629d088a316c6e75343c`
Apple Silicon	Ventura	6.5.2	File SHA-256 `ff5eeb131b28f8551564e91d24e55f5da594a84535162e51ceeb579a5e8b0010`
Apple Silicon	Monterey	6.5.2	File SHA-256 `67ce597f95a1d2ae0b428f11b95c962bdddace66cb2cc4127ad619ce5b9bea47`
Apple Silicon	Big Sur	6.5.2	File SHA-256 `4f8951592f6d019eafb6466a4e991c7437d13a699af047bbbbfd0bc4fdcb82bf`
Intel	Sonoma	6.5.2	File SHA-256 `7788481a6c382dbeb0f5a472baefed77b4287500915b7ecb460ca86ff2d120ae`
Intel	Ventura	6.5.2	File SHA-256 `6c6c7714cfa19cf39458ddccdd8323e7a08a21b99d59a02cb27d85f08a30f1dd`
Intel	Monterey	6.5.2	File SHA-256 `0d4b7b1254d58ccfb87f57dcedb3d86504c488bf7ca6ce8b44fd9d00523ec13c`
Intel	Big Sur	6.5.2	File SHA-256 `d49e61e18c0c65108a64d3e0c91addbd011b3fff90434509958ebfe33b14c6cd`
ARM64	Linux	6.5.2	File SHA-256 `96bd5d61619965fa00551f10e67d3ffc694bce73b34256a20f734b72abaa1442`
x86_64	Linux	6.5.2	File SHA-256 `e6bc2cf070b8095de0b23f7ac8cd201c30c5e089c7635570b71ea7b9235753e1`