B.22 Changes from 2.90 to 2.91
-
A new CSP operator has been introduced in this version of FDR: the exception operator.
-
The function
seq() will convert a set to a sequence (in some arbitrary order).
-
Made FDR2 be more verbose about problems with the disk backing store temporary files.
-
Fixed tau priority implementation: The tau priority model was broken in FDR2 release 2.90.
-
Fixed issue where unguarded process branches that led to semantically identical processes could introduce spurious tau loops.
-
Fixed a second problem with interrupt / tick interaction.
This document was generated by Phil Armstrong on November 17, 2010 using texi2html 1.82.