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.