Mario de Sousa <msousa@fe.up.pt> [Sat, 14 Apr 2012 15:19:17 +0100] rev 504
Fix bug by expanding permissible data input of search_var_instance_decl_c
(this will also prepare us for removing search_varfb_instance_type_c in the future)
Mario de Sousa <msousa@fe.up.pt> [Fri, 13 Apr 2012 13:05:44 +0100] rev 503
Edit formating and delete unused code.
Mario de Sousa <msousa@fe.up.pt> [Sat, 07 Apr 2012 16:14:17 +0100] rev 502
Start data type checking of var declarations (including direct variables!)
Mario de Sousa <msousa@fe.up.pt> [Tue, 03 Apr 2012 12:42:16 +0100] rev 501
Delete incorrect comments I had inserted previously (confusing EQ and NE functions)
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 21:46:37 +0100] rev 500
merging with Lauren't changeset.
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 21:36:17 +0100] rev 499
merge with Laurent's changeset (essentially ignore all changes).
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 21:34:20 +0100] rev 498
merge with Laurent's changeset (essentially, ignore all changes).
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 15:36:08 +0100] rev 497
merging with Laurent's changes.
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 15:34:33 +0100] rev 496
merging with Laurent's change.
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 15:30:38 +0100] rev 495
merging with Laurent's revision 55b074ea7255 (essentially ignoring all changes)
Mario de Sousa <msousa@fe.up.pt> [Thu, 29 Mar 2012 19:03:40 +0100] rev 494
Add coment warning about incorrect implementation of the NE standard function.
Mario de Sousa <msousa@fe.up.pt> [Thu, 29 Mar 2012 18:57:53 +0100] rev 493
merging with Laurent's patch.
Mario de Sousa <msousa@fe.up.pt> [Thu, 29 Mar 2012 15:39:38 +0100] rev 492
Print correct error message when handling IL function calls.
Mario de Sousa <msousa@fe.up.pt> [Thu, 15 Mar 2012 13:23:09 +0000] rev 491
Edit error message.
Mario de Sousa <msousa@fe.up.pt> [Thu, 15 Mar 2012 13:18:02 +0000] rev 490
Add EXPT widen table.
Mario de Sousa <msousa@fe.up.pt> [Thu, 15 Mar 2012 12:50:44 +0000] rev 489
Some stupid code cleanups.
Mario de Sousa <msousa@fe.up.pt> [Thu, 15 Mar 2012 12:31:57 +0000] rev 488
Some code cleanups.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 20:01:50 +0000] rev 487
Clean up the code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 19:31:17 +0000] rev 486
Fix error messages of il function calls - it now prints out location info of first parameter.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 11:31:07 +0000] rev 485
Clean code for printing errors in expressions.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 11:14:41 +0000] rev 484
Clean code for comparison operations & operators.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 10:51:49 +0000] rev 483
Cleaning up XORN, ANDN, and ORN operator code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 10:44:17 +0000] rev 482
Cleaning up some code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 10:26:03 +0000] rev 481
Add 'widen' tables for AND, OR and XOR operations.