B.18 Changes from 2.80 to 2.81
-
FDR2 now caches the counter-example in livelock checks, so it no
longer has to search for the divergence again when debugging the
process.
-
FDR2 now prints a new state counter in brackets during divergence
exploration. Earlier versions would appear to stall at this point,
printing no output in the status window until the divergence
exploration had completed.
-
There is now a MacOSX build of FDR2. It requires the Xserver to
display, as it is not an Aqua application.
-
Fixed some spurious appearances of zig-zag resulting from determinism
checks under the failures-divergence model.
-
It is now possible to use negative numbers in pattern matches.
-
Fixed divergence in compiler trying to construct
P=|~|_:{{}}@P
This document was generated by Phil Armstrong on May 17, 2012 using texi2html 1.82.