Tue, 15 May 2012 23:03:25 +0100 |
mjsousa |
Renamed class, remove unused code, delete allocated objects.
|
changeset |
files
|
Tue, 15 May 2012 18:59:32 +0200 |
Manuele Conti |
Start sematinc range check class.
|
changeset |
files
|
Tue, 15 May 2012 15:50:43 +0100 |
mjsousa |
Located variables may have other data types besides ANY_BIT.
|
changeset |
files
|
Sun, 13 May 2012 17:57:15 +0200 |
Manuele Conti |
Add verify_is_lvalue to control_variable in for_statement.
|
changeset |
files
|
Thu, 10 May 2012 22:03:59 +0100 |
mjsousa |
Remove useless code, and replace with assertion.
|
changeset |
files
|
Thu, 10 May 2012 19:20:18 +0100 |
mjsousa |
Fix bug: initialise un-initialised variable.
|
changeset |
files
|
Thu, 10 May 2012 19:09:02 +0100 |
mjsousa |
Delete incorrect comment.
|
changeset |
files
|
Thu, 10 May 2012 16:15:27 +0100 |
mjsousa |
Add some comments...
|
changeset |
files
|
Thu, 10 May 2012 16:09:50 +0100 |
mjsousa |
Add high level comments.
|
changeset |
files
|
Thu, 10 May 2012 15:40:19 +0100 |
mjsousa |
Fix comment.
|
changeset |
files
|
Wed, 09 May 2012 23:13:04 +0100 |
mjsousa |
Fix the previous commit: check for errors in expressions used as subscripts.
|
changeset |
files
|
Wed, 09 May 2012 20:05:57 +0200 |
Manuele Conti |
Fix data type check array subscript field.
|
changeset |
files
|