Tue, 13 Nov 2012 18:02:15 +0000Change the public interface to debug functions.
Mario de Sousa <msousa@fe.up.pt> [Tue, 13 Nov 2012 18:02:15 +0000] rev 725
Change the public interface to debug functions.

Fri, 09 Nov 2012 14:34:36 +0000Check for errors in enum datatype declarations. (This is not yet complete as it will not yet stop the compilation process if these errors are found)
Mario de Sousa <msousa@fe.up.pt> [Fri, 09 Nov 2012 14:34:36 +0000] rev 724
Check for errors in enum datatype declarations. (This is not yet complete as it will not yet stop the compilation process if these errors are found)

Fri, 09 Nov 2012 13:08:18 +0000Fix one more bug - upper_bound() works a little differently to what we want!
Mario de Sousa <msousa@fe.up.pt> [Fri, 09 Nov 2012 13:08:18 +0000] rev 723
Fix one more bug - upper_bound() works a little differently to what we want!