Sun, 13 May 2012 17:57:15 +0200Add verify_is_lvalue to control_variable in for_statement.
Manuele Conti <conti.ma@alice.it> [Sun, 13 May 2012 17:57:15 +0200] rev 557
Add verify_is_lvalue to control_variable in for_statement.

Thu, 10 May 2012 22:03:59 +0100Remove useless code, and replace with assertion.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 22:03:59 +0100] rev 556
Remove useless code, and replace with assertion.

Thu, 10 May 2012 19:20:18 +0100Fix bug: initialise un-initialised variable.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 19:20:18 +0100] rev 555
Fix bug: initialise un-initialised variable.

Thu, 10 May 2012 19:09:02 +0100Delete incorrect comment.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 19:09:02 +0100] rev 554
Delete incorrect comment.

Thu, 10 May 2012 16:15:27 +0100Add some comments...
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 16:15:27 +0100] rev 553
Add some comments...

Thu, 10 May 2012 16:09:50 +0100Add high level comments.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 16:09:50 +0100] rev 552
Add high level comments.

Thu, 10 May 2012 15:40:19 +0100Fix comment.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 15:40:19 +0100] rev 551
Fix comment.