Use tuples instead of a ADT for the register bank state.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 19 Feb 2009 12:10:10 +0000 (13:10 +0100)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 19 Feb 2009 12:10:10 +0000 (13:10 +0100)
We can't translate ADT's yet, but tuples work.


No differences found