B.9 Changes from 2.26 to 2.27

• Bitfield packing improved for recorded positions during checks involving supercompiled machines. (Can reduce memory consumption, but gains depend upon the structure of the processes involved.)
• Reduced CPU consumption (by GUI) and context switches by batching transfers in the multiplexor. Removed unused widgets from the status window.
• Provisional high-level form of interrupt operator made available. Does not currently support supercompilation.
• Fixed error in handling the acceptances/refusals of non-tabular leaf machines during supercompilation.
• Fixed bug (introduced in 2.24) where divergence information for bisimimulated leaf processes could be set incorrectly.
• Adjusted handling of hash values to eliminate compiler crashes when processing certain recursive definitions.
• Strengthened check for multiple definitions during parsing, and improved the corresponding error report.

This document was generated by Phil Armstrong on May 17, 2012 using texi2html 1.82.