Spin Sources
Current Version 6.1.0 (4 May 2011):
- Full distribution, with sources: spin610.tar.gz (388k)
- PC executable, xspin, and documentation, but no sources: pc_spin610.zip (381k)
- C Sources only: src610.tar.gz (213k)
- GUIs:
- ispin Version 3.0.6 (new Tcl/Tk GUI for Spin, requires Spin Version 6): ispin.tcl, source (220k)
- jSpin (Java GUI for Spin, by Moti Ben-Ari: jSpin with source (623k)
- xspin: Old GUI (no longer supported): xspin525.tcl source (195k)
Old (Outdated and Unsupported) Version 4.3.0 (22 June 2007):
- Full distribution, with source, in gzipped tar format: spin430.tar.gz (335k)
- PC executable, xspin, and documentation: pc_spin430.zip (340k)
- Xspin only (Tcl/Tk GUI for Spin): xspin430.tcl source (190k)
Other:
- Documentation for use of embedded C code in Version 4:
spin4_ch17.pdf
- Update history:
Related Packages:
What is Spin?