Spinroot

spinroot

forum

Registered: 2010-11-18

Posts: 702

Website

iSpin -- a replacement for xSpin

A new GUI for Spin is in the works and will be released shortly after Spin version 6.
It gives a more Eclipse-like work-environment, with tabs for the main tool options, rather than pop-up windows.
All earlier xSpin functionality will be available, but a lot of extra things will now also be supported.
Specifically, the new ispin will support also Swarm, the multi-core preprocessor for Spin.
Like xspin, ispin is written in tcl/tk, and it relies on dot for some of the graphical output.