A forum for Spin users
You are not logged in.
Pages: 1
==== Version 6.4.6 - 2 December 2016 ====
- fixed bug in treatment of select() statement, when used inside
and inline definition.
- made it an error to use 'run' to initialize a variable inside
a declaration.
- small fixes in d_step.c, run.c, pangen2,c, and main.c (missing
parentheses around subexpressions with a binary operators).
- small improvements in the makefile
- fix in mesg.c to allow recv poll operators on rhs of
assignments (erroneously flagged before as a side-effect)
- prefixed some more generated variables in pan.c to
avoid name-clashes (_nstates, _endstateN, _startN)
- prevented possible compiler warnings on definition of
a recently added function spin_join()
- added new function mutex_destroy to support modex
conversions from C to Promela
- fixed typo in BFS_PAR print statement (Seperate->Separate)
- fixed flaw in generation of BFS_PAR code, preventing
compiler warnings
- made hash function inside sym.c return an unsigned int
Offline
Pages: 1