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}