Mark all signals as ports or states when appropriate.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Tue, 17 Feb 2009 15:55:16 +0000 (16:55 +0100)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Tue, 17 Feb 2009 15:55:16 +0000 (16:55 +0100)
Additionally, this differentiates between input and output ports and old
and new state.


No differences found