Artifact 9b53c3c771a0172149486d6dff1ceffc6a0ebdea5fd927f85911c65a55ce5639:
- Executable file
mttroot/mtt/bin/trans/mtt_header
-
2002-04-15 10:54:31
— part of check-in
[2b99562b30]
on branch origin/master
— 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)). (user: geraint@users.sourceforge.net, size: 18320) [annotate] [blame] [check-ins using] -
2002-04-15 10:54:31
— part of check-in
[3a7b407410]
on branch origin/master
— 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)). (user: geraint@users.sourceforge.net, size: 18320) [annotate] [blame] [check-ins using]
-
2002-04-15 10:54:31
— part of check-in
[2b99562b30]
on branch origin/master
— Statically declare outputs and initialise to zero.