| Sun, 11 Mar 2012 22:21:47 +0100 | Manuele Conti | Add check widening status for IL operator. | changeset | files |
| Sun, 11 Mar 2012 18:24:39 +0000 | Mario de Sousa | Fix remaining 'widen' tables. | changeset | files |
| Sun, 11 Mar 2012 16:38:05 +0000 | Mario de Sousa | Fix some 'widen' table entries. | changeset | files |
| Sat, 10 Mar 2012 11:27:49 +0000 | Mario de Sousa | Add a TODO comment. | changeset | files |
| Sat, 10 Mar 2012 11:21:41 +0000 | Mario de Sousa | Clean up code, and add support for 'safe' version of literals. | changeset | files |
| Sat, 10 Mar 2012 11:21:04 +0000 | Mario de Sousa | Bringing comment up to date. | changeset | files |
| Fri, 09 Mar 2012 17:58:19 +0000 | Mario de Sousa | Semantic verification of NOT operator. | changeset | files |