B.17 Changes from 2.78 to 2.80
-
Made both ‘[|...|]’ and ‘|[...]|’ valid syntaxes for
alphabetised parallel
-
False divergence issue fixed. Rarely, FDR would claim to find a
false divergence which the debugger would then fail to find.
-
Reduced memory footprint of refinement engine.
-
Fixed infinite recursion bug in gui debugger window with certain
process definitions.
-
Removed several limits on the CSP parser — this version of FDR can
parse very large CSP files.
-
The CSP parser’s error reporting has been made more informative.
-
Experimental module system for CSP.
This document was generated by Phil Armstrong on May 17, 2012 using texi2html 1.82.