Spinroot
A forum for Spin users
You are not logged in.
- Topics: Active | Unanswered
Pages: 1
#1 2012-05-11 00:25:10
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
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
Pages: 1