B.21 Changes from 2.83 to 2.90
-
Support Refusal Testing, Revival Testing and Tau Priority models.
-
Display ALLOWS events in fdrDirect interface
-
Cache divergence path so that we don’t have to find the path to the divergence loop all over again when debugging.
-
Make FDR2 build on 64-bit platforms.
-
Allow FDR2 to allocate more than 4Gb of memory for the refinement cache on 64-bit platforms.
-
Make FDR2 compile on the Apple OSX platform.
-
Make Proc denote the type of processes, so that processes can be put into datatypes.
-
Fix issue where an interrupt could occur after tick: Tick is always
final. This only affected processes of the form P /\ Q. Any process of
the form (P /\ Q) ; R was handled correctly.
This document was generated by Phil Armstrong on May 17, 2012 using texi2html 1.82.