B.11 Changes from 2.28 to 2.64
-
Further bug fixes to interrupt operator.
-
New paging system allowing problems beyond 4G using disk-based storage,
with user-controlled compaction.
-
Performance improved when collecting counter-examples (the delay between
a trace being reported and debugging becoming available.)
-
subtype
definitions documented.
-
New
-depth
flag added to batch mode.
-
Uses later releases of Tcl/Tk and gcc (the latter with improved code
generation.)
-
Refinement algorithm restructured to reduce overheads in the common case
of checking super-compiled machines.
This document was generated by Phil Armstrong on May 17, 2012 using texi2html 1.82.