`Spin Precompiled Executables`

`Current Version 6.1.0 (4 May 2011):`

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

Windows PC Spin executable: spin610.exe (665K current)
Linux Spin executable 32bit version: spin610_linux (631K current)
Linux Spin executable 64bit version: spin610_linux64 (719K current)

For usage of Spin's multi-core algorithms (introduced in version 5.0), see: V5_Readme.html.
For alternative methods in dealing with large statespaces, see also the Swarm page.
Swarm version 2.0 relies on extensions added in Spin 5.2.

`Old (Outdated and Unsupported) 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)

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 a more recent version of this
cpp.exe precompiled C-preprocessor for Windows PCs

None of these are needed if you already have a standard 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?