Spinroot

spinroot

forum

Registered: 2010-11-18

Posts: 700

Website

Spin Version 6.3.2 now available

There have been a couple of updates in the last three weeks.
This will be a final update for a while, now that the new
features around the new key spin option "-run" have settled.

==== Version 6.3.2 - 17 May 2014 ====

- this update makes all new spin options work correctly,
  and can be compiled cleanly, on Linux, Windows PCs, and
  Mac's, and supports all new Modex options for direct
  verification of C source code (http://spinroot.com/modex)

- other updates and fixes:
  - assigning to the reserved predefined variables (_last,
    _p, _pid, _nr_qs, _nr_pr) is now intercepted correctly
  - assigning to _priority now works correctly also in simulations

- new features:
  - you can now initialize an array of integers with a list
    in proctypes, and in global declarations (but not yet
    if the array is declared inside an inline definition)
    for instance:  int a[4] = { 3, 1, 4, 1 }
    all initialization values must be constants
  - parser improved so that it can allow the use of variables
    or channels named 'in' -- without causing a conflict with
    the token 'in' from for-statements
  - process priorities now work in simulation the same as in
    verification -- you can revert to the old behavior with -o7

- for this version added a Mac executable to the distribution
  (no guarantees that future versions will also have this though)