Mon, 30 May 2011 17:52:15 +0100Fixing algorithm that determines bit size of constants containing underscores.
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.

Fri, 27 May 2011 18:01:54 +0100Merging with Edouard's version
Mario de Sousa <msousa@fe.up.pt> [Fri, 27 May 2011 18:01:54 +0100] rev 303
Merging with Edouard's version