A forum for Spin users

You are not logged in.

#1 2010-12-08 05:32:58

Registered: 2010-11-18
Posts: 691

Spin 6.0.0 and iSpin Now Available

The new version of Spin 6.0 is now on the website.
You can download it from the usual places:
  binaries: [url]http://spinroot.com/spin/Bin/[/url]
  sources: [url]http://spinroot.com/spin/Src/[/url]

A short overview of all the new features is documented in:

In short, it has support for inline ltl formula (something that changes
the way we use Spin and should be a very significant improvement in
the ease of use of using ltl), new (more conventional) scope rules,
and a few new language constructs, see for instance:

The new GUI ispin.tcl is also included in the distribution, and should
be a notable improvement over the old xspin.
Recommended background tools (not required though) include:
dot (graphviz package from AT&T), curl (for version checking in
ispin, through the Help menu), and swarm. And as always you'll
need a C-compiler (gcc is perfect). On a PC cygwin is strongly
recommended, but not required.

Manpages have been updated and most of the relevant documentation.
The sources should compile cleanly, without any warnings, on all
platforms. Spin 6.0 has been tested on Windows, Linux, and MACs.
Please report any problems on this forum, or by sending an email to
[email protected]


#2 2010-12-17 19:53:02

Registered: 2010-11-18
Posts: 691

Re: Spin 6.0.0 and iSpin Now Available

New version -- with an improved implementation of the new meta-statements 'for' and 'select' -- allowing arbitrary expressions to be used to specify the ranges
Version 6.0.1
Also some improvements were made in the new GUI ispin.tcl


Board footer

Powered by FluxBB