Artifact 3a7b40741080b6603bf744ac9c10922a6f7135da0ad106da9485a0ce92b87acf:

Manifest of check-in [3a7b407410] - Statically declare outputs and initialise to zero.
This is necessary to prevent spurious values from being output when no assignments are made (i.e. when "y(i) := 0 for all u" (Reduce:see NERO)). by geraint@users.sourceforge.net on 2002-04-15 10:54:31.

---

A hex dump of this file is not available. Please download the raw binary file and generate a hex dump yourself.