| Sat, 09 Jun 2012 22:55:29 +0100 |
Mario de Sousa |
Correctly implement MOD operation and overflow checks (still missing uint * / MOD).
|
file |
diff |
annotate
|
| Fri, 08 Jun 2012 19:44:32 +0100 |
Mario de Sousa |
Add data structure for storing overflow of constant values.
|
file |
diff |
annotate
|
| Wed, 06 Jun 2012 16:39:54 +0100 |
Mario de Sousa |
make the compiler platform independent (i.e. no longer assume sizeof(double)==8).
|
file |
diff |
annotate
|
| Wed, 06 Jun 2012 12:39:32 +0100 |
Mario de Sousa |
Fix a few bugs of previous commit.
|
file |
diff |
annotate
|
| Tue, 05 Jun 2012 19:17:29 +0200 |
Manuele Conti |
Start constant_folding class.
|
file |
diff |
annotate
|
| Fri, 02 Mar 2012 12:53:41 +0000 |
Mario de Sousa |
Continue adding support for semantic verification of JMP and RET.
|
file |
diff |
annotate
|
| Fri, 10 Feb 2012 19:04:31 +0000 |
Mario de Sousa |
Add support for semantic verification of function calls in IL.
|
file |
diff |
annotate
|
| Wed, 01 Feb 2012 19:49:11 +0000 |
Mario de Sousa |
Re-write of stage3 code (done by Manuele and I), re-write of search_varfb_instance_type_c (done by myself), and several other bug fixes.
|
file |
diff |
annotate
|
| Fri, 29 Jul 2011 16:03:28 +0100 |
Mario de Sousa |
Support for semantic verification of calls to standard functions.
|
file |
diff |
annotate
|
| Thu, 14 Apr 2011 18:12:59 +0100 |
Mario de Sousa |
Added tracking of order by which tokens are processed by lexical analyser.
|
file |
diff |
annotate
|
| Thu, 14 Apr 2011 17:35:25 +0100 |
Mario de Sousa |
Adding tracking of filename in which token is located.
|
file |
diff |
annotate
|
| Tue, 05 Apr 2011 15:14:19 +0200 |
Edouard Tisserant |
Re-generated std lib related code, with updated headers, updated all forgotten headers
|
file |
diff |
annotate
|
| Thu, 31 Mar 2011 17:40:55 +0100 |
Mario de Sousa |
Updating licensing information.
|
file |
diff |
annotate
|
| Tue, 23 Oct 2007 10:35:58 +0200 |
mario |
Adding basic error checking.
|
file |
diff |
annotate
|
| Wed, 31 Jan 2007 15:32:38 +0100 |
etisserant |
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.
|
file |
diff |
annotate
|