FDR2 User Manual - Changes from 2.22 to 2.23

Go to the Next or Previous section, the Detailed Contents, or the FS(E)L Home Page.

B.5 Changes from 2.22 to 2.23

Support added for Deadlock Checker.
Hypotheses deleted in fdrDirect.
Memory leaks eliminated.
Performance tuning in normalisation, determinism checks, explication.

Go to the Next or Previous section, the Detailed Contents, or the FS(E)L Home Page.