Artifact 2b99562b306d7a1cc9fdaa9e17013da1ea10f4cfefaf2900f4be0b78b5a2ac99:

Manifest of check-in [2b99562b30] - 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.