Spin Precompiled Executables
Current Version 5.1.6 (9 May 2008):
Rename the executable to spin after downloading and place in /bin or equivalent.
Version 5 is backward compatible with Version 4, but has new support for the
verification of larger models on multi-core systems.
For usage information, see: V5_Readme.html.
Old Version 4.3.0 (22 June 2007)
In many cases, earlier versions will also linger on the website.
To revert to an older version, try downloading the file with the earlier version number.
Some still older versions for no longer supported platforms:
- Unix SGI Spin executable: spin426 (27 October 2005)
- Solaris Spin executable: spin425 (2 April 2005)
Other:
- Documentation for use of embedded C code in Version 4:
spin4_ch17.pdf
- Specific usage information for the multi-core options in Version 5:
V5_Readme.html
- Performance data for the new Version 5:
index.html
- General Spin Update history, since 1991:
Links:
Some related packages for the PC:
- cygwin1.dll (1.7 Mb)if you have cygwin installed, you already have this
- cpp.exe precompiled C-preprocessor for Windows PCs
None of these are needed if you already have a C compiler
(such as gcc) installed on your system.
The recommended way to get gcc on a PC is to install
it from cygwin.
Full installation instructions for Spin itself on various platforms can be
found in README.html.
What is Spin?