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.