| 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 |