`Spin Precompiled Executables`

`Current Version 5.1.6 (9 May 2008):`

Rename the executable to spin after downloading and place in /bin or equivalent.

Windows PC Spin executable: spin516.exe (584K current)
Linux Spin executable 32bit version: spin516_linux (616K current)
Linux Spin executable 64bit version: spin516_linux64 (715K current)
SunOS executable: spin516_sunos (719K current)

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)`

Windows PC Spin executable: spin430.exe (508K old)
Linux Spin executable 32bit version: spin430_linux (614K old)
Linux Spin executable 64bit version: spin430_linux64 (712K old)

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:

Spin Sources: ../Src/index.html

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?