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.