Spinroot

A forum for Spin users

You are not logged in.

#1 2012-05-11 00:25:10

spinroot
forum
Registered: 2010-11-18
Posts: 661
Website

Spin Version 6.2.0 now available

The new version of Spin, with support for parallel breadth-first search
and for priority-based scheduling.
Details are in the online documentation, in the usual places, and will
be presented at the next Spin Workshop in Oxford, England,
July 23-24, 2012.

Offline

#2 2012-05-11 22:15:58

feng_lei_76
Member
Registered: 2011-05-13
Posts: 43

Re: Spin Version 6.2.0 now available

I tried the new versions of Spin and ispin today and noticed a difference with Spin610.

Take the following code as an example.  It is syntactically correct with Spin 610 but wrong with Spin 620.  If "->" is nothing but a separator, this code should be fine. 

Does Spin 620 use a different rule for "->"?  Must it be followed by a statement?

active proctype x()
{
    byte i;
       
    for (i : 0..9)
    {
        printf("%d\n", i) ->
    }
}

Offline

#3 2012-05-11 22:19:01

spinroot
forum
Registered: 2010-11-18
Posts: 661
Website

Re: Spin Version 6.2.0 now available

true, there is a slightly different treatment of -> in 6.2.0
it is now parsed as a real token -- before it was intercepted in the lexical analyzer and converted into a ';'
the new treatment makes it possible to be a little more precise in other cases.
in either case, technically the trailing ';' or '->' is illegal in the language, since the ';' or '->' are statement separators not statement terminators.  the parser/lexical analyzer is forgiving when it sees a redundant ';' -- but it has not been taught to be forgiving for redundant '->' tokens (since they weren't separate tokens before)....

Offline

#4 2012-12-30 06:26:52

lili
Member
Registered: 2012-12-30
Posts: 2
Website

Re: Spin Version 6.2.0 now available

wonderful

Offline

#5 2013-01-01 19:39:03

spinroot
forum
Registered: 2010-11-18
Posts: 661
Website

Re: Spin Version 6.2.0 now available

did you check out the installation instructions on the main spinroot page?

Offline

#6 2013-01-01 21:23:30

spinroot
forum
Registered: 2010-11-18
Posts: 661
Website

Re: Spin Version 6.2.0 now available

it means that you have to set your display name to something.
try:
export DISPLAY=:0.0

or execute ispin in an xterm window that has the display variable already set
(you can check with "echo $DISPLAY")

Offline

Board footer

Powered by FluxBB