Mario de Sousa <msousa@fe.up.pt> [Mon, 30 May 2011 17:52:15 +0100] rev 304
Fixing algorithm that determines bit size of constants containing underscores.
Mario de Sousa <msousa@fe.up.pt> [Fri, 27 May 2011 18:01:54 +0100] rev 303
Merging with Edouard's version
Mario de Sousa <msousa@fe.up.pt> [Fri, 27 May 2011 18:01:01 +0100] rev 302
Fixing bug related to setting array variables with values coming from other variables
(e.g. X[0] := Y;)