Mon, 18 Jun 2012 15:52:09 +0100fix array bounds check.
Mario de Sousa <msousa@fe.up.pt> [Mon, 18 Jun 2012 15:52:09 +0100] rev 599
fix array bounds check.

Mon, 18 Jun 2012 15:37:37 +0100Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt> [Mon, 18 Jun 2012 15:37:37 +0100] rev 598
Fix stupid typos (in calculating array dimension)!

Sat, 16 Jun 2012 07:41:30 +0100Add file missing from previous commit.
Mario de Sousa <msousa@fe.up.pt> [Sat, 16 Jun 2012 07:41:30 +0100] rev 597
Add file missing from previous commit.

Fri, 15 Jun 2012 19:54:33 +0100Add ERROR_MSG macro && move extract_XXX() functions to constant_folding.cc
Mario de Sousa <msousa@fe.up.pt> [Fri, 15 Jun 2012 19:54:33 +0100] rev 596
Add ERROR_MSG macro && move extract_XXX() functions to constant_folding.cc

Thu, 14 Jun 2012 17:50:37 +0100Add independent extract_integer() function (preparing to remove extract_XXX() from absyntax_utils.cc)
Mario de Sousa <msousa@fe.up.pt> [Thu, 14 Jun 2012 17:50:37 +0100] rev 595
Add independent extract_integer() function (preparing to remove extract_XXX() from absyntax_utils.cc)

Thu, 14 Jun 2012 12:00:19 +0100Clean up code (remove parsing of integers in stage 4).
Mario de Sousa <msousa@fe.up.pt> [Thu, 14 Jun 2012 12:00:19 +0100] rev 594
Clean up code (remove parsing of integers in stage 4).

Wed, 13 Jun 2012 19:51:26 +0200Fix literal MACRO gcc compliant.
Manuele Conti <conti.ma@alice.it> [Wed, 13 Jun 2012 19:51:26 +0200] rev 593
Fix literal MACRO gcc compliant.

Wed, 13 Jun 2012 19:43:12 +0100Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt> [Wed, 13 Jun 2012 19:43:12 +0100] rev 592
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.

Wed, 13 Jun 2012 14:21:30 +0100extract_int64() must not handle negation operation (was doing it incorrectly for INT64_MIN!)
Mario de Sousa <msousa@fe.up.pt> [Wed, 13 Jun 2012 14:21:30 +0100] rev 591
extract_int64() must not handle negation operation (was doing it incorrectly for INT64_MIN!)

Wed, 13 Jun 2012 14:07:41 +0100Add support for -INT64_MIN values in literals.
Mario de Sousa <msousa@fe.up.pt> [Wed, 13 Jun 2012 14:07:41 +0100] rev 590
Add support for -INT64_MIN values in literals.

Wed, 13 Jun 2012 13:50:46 +0100Make compiler portable (do not assume int64_t is long long int)
Mario de Sousa <msousa@fe.up.pt> [Wed, 13 Jun 2012 13:50:46 +0100] rev 589
Make compiler portable (do not assume int64_t is long long int)

Tue, 12 Jun 2012 22:46:51 +0200Add missing set overflow flag.
Manuele Conti <conti.ma@alice.it> [Tue, 12 Jun 2012 22:46:51 +0200] rev 588
Add missing set overflow flag.

Tue, 12 Jun 2012 22:32:09 +0200Fix extract_integer_value.
Manuele Conti <conti.ma@alice.it> [Tue, 12 Jun 2012 22:32:09 +0200] rev 587
Fix extract_integer_value.
Now we handle signed and unsigned in different mode.
(Thanks to Andreas)

Tue, 12 Jun 2012 17:15:24 +0100Fix typo (thanks Manuele)
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:15:24 +0100] rev 586
Fix typo (thanks Manuele)

Tue, 12 Jun 2012 17:12:09 +0100Remove potential access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:12:09 +0100] rev 585
Remove potential access to NULL pointer.

Tue, 12 Jun 2012 17:07:40 +0100fix error message.
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:07:40 +0100] rev 584
fix error message.

Tue, 12 Jun 2012 17:00:00 +0100Fix array index bound check to consider uint64 indexes/limits.
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:00:00 +0100] rev 583
Fix array index bound check to consider uint64 indexes/limits.

Tue, 12 Jun 2012 09:45:31 +0200Fix structure initialize.
Manuele conti <conti.ma@alice.it> [Tue, 12 Jun 2012 09:45:31 +0200] rev 582
Fix structure initialize.

Mon, 11 Jun 2012 22:38:36 +0200Add check array out of bound.
Manuele Conti <conti.ma@alice.it> [Mon, 11 Jun 2012 22:38:36 +0200] rev 581
Add check array out of bound.

Mon, 11 Jun 2012 18:48:58 +0100Code for debugging const_value annotations in abstract syntax tree.
Mario de Sousa <msousa@fe.up.pt> [Mon, 11 Jun 2012 18:48:58 +0100] rev 580
Code for debugging const_value annotations in abstract syntax tree.

Mon, 11 Jun 2012 15:58:44 +0100Fix 'overflow' detection for real64.
Mario de Sousa <msousa@fe.up.pt> [Mon, 11 Jun 2012 15:58:44 +0100] rev 579
Fix 'overflow' detection for real64.

Sun, 10 Jun 2012 21:51:16 +0100small bug fix.
Mario de Sousa <msousa@fe.up.pt> [Sun, 10 Jun 2012 21:51:16 +0100] rev 578
small bug fix.

Sun, 10 Jun 2012 21:28:21 +0200Fix compare expression in constat folding class.
Manuele Conti <conti.ma@alice.it> [Sun, 10 Jun 2012 21:28:21 +0200] rev 577
Fix compare expression in constat folding class.

Sun, 10 Jun 2012 21:47:15 +0100Fix extract_real (thanks Manuele), and add check for overflow.
Mario de Sousa <msousa@fe.up.pt> [Sun, 10 Jun 2012 21:47:15 +0100] rev 576
Fix extract_real (thanks Manuele), and add check for overflow.

Sun, 10 Jun 2012 15:54:10 +0100cleaning up the code...
Mario de Sousa <msousa@fe.up.pt> [Sun, 10 Jun 2012 15:54:10 +0100] rev 575
cleaning up the code...

Sun, 10 Jun 2012 15:38:24 +0100Fix remaining overflow checks.
Mario de Sousa <msousa@fe.up.pt> [Sun, 10 Jun 2012 15:38:24 +0100] rev 574
Fix remaining overflow checks.

Sat, 09 Jun 2012 22:58:43 +0100remove incorrect include file.
Mario de Sousa <msousa@fe.up.pt> [Sat, 09 Jun 2012 22:58:43 +0100] rev 573
remove incorrect include file.

Sat, 09 Jun 2012 22:55:29 +0100Correctly implement MOD operation and overflow checks (still missing uint * / MOD).
Mario de Sousa <msousa@fe.up.pt> [Sat, 09 Jun 2012 22:55:29 +0100] rev 572
Correctly implement MOD operation and overflow checks (still missing uint * / MOD).

Sat, 09 Jun 2012 08:35:46 +0100Re-insert errno=0 before calling strtoXX() (thanks go to Manuele)
Mario de Sousa <msousa@fe.up.pt> [Sat, 09 Jun 2012 08:35:46 +0100] rev 571
Re-insert errno=0 before calling strtoXX() (thanks go to Manuele)

Fri, 08 Jun 2012 19:47:45 +0100cosmetic changes.
Mario de Sousa <msousa@fe.up.pt> [Fri, 08 Jun 2012 19:47:45 +0100] rev 570
cosmetic changes.

Fri, 08 Jun 2012 19:44:32 +0100Add data structure for storing overflow of constant values.
Mario de Sousa <msousa@fe.up.pt> [Fri, 08 Jun 2012 19:44:32 +0100] rev 569
Add data structure for storing overflow of constant values.

Wed, 06 Jun 2012 16:39:54 +0100make the compiler platform independent (i.e. no longer assume sizeof(double)==8).
Mario de Sousa <msousa@fe.up.pt> [Wed, 06 Jun 2012 16:39:54 +0100] rev 568
make the compiler platform independent (i.e. no longer assume sizeof(double)==8).

Wed, 06 Jun 2012 13:28:50 +0100create extract_real_value() in absyntax_utils. NOTE: overflows not yet handled!
Mario de Sousa <msousa@fe.up.pt> [Wed, 06 Jun 2012 13:28:50 +0100] rev 567
create extract_real_value() in absyntax_utils. NOTE: overflows not yet handled!

Wed, 06 Jun 2012 00:20:06 +0200Update constant folding: fixing minor bug.
Manuele Conti <conti.ma@alice.it> [Wed, 06 Jun 2012 00:20:06 +0200] rev 566
Update constant folding: fixing minor bug.

Wed, 06 Jun 2012 12:39:32 +0100Fix a few bugs of previous commit.
Mario de Sousa <msousa@fe.up.pt> [Wed, 06 Jun 2012 12:39:32 +0100] rev 565
Fix a few bugs of previous commit.

Tue, 05 Jun 2012 19:17:29 +0200Start constant_folding class.
Manuele Conti <conti.ma@alice.it> [Tue, 05 Jun 2012 19:17:29 +0200] rev 564
Start constant_folding class.

Tue, 05 Jun 2012 11:10:12 +0200little typo in last commited code
Andreas Graeper <agraeper@googemail.com> [Tue, 05 Jun 2012 11:10:12 +0200] rev 563
little typo in last commited code
add if(is_bool_type(sym)) this->bool_type->accept(*this) in generate_c_il_c::visit(il_default_variable_c*)
to get .BOOLvar instead of .FALSEvar resp. .TRUEvar ..

Mon, 04 Jun 2012 18:22:11 +0100Change return data type of array_dimension_iterator_c.next()
Mario de Sousa <msousa@fe.up.pt> [Mon, 04 Jun 2012 18:22:11 +0100] rev 562
Change return data type of array_dimension_iterator_c.next()

Wed, 16 May 2012 00:15:32 +0200Fix SFC stage4 error.
Manuele Conti <conti.ma@alice.it> [Wed, 16 May 2012 00:15:32 +0200] rev 561
Fix SFC stage4 error.

Tue, 15 May 2012 23:03:25 +0100Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt> [Tue, 15 May 2012 23:03:25 +0100] rev 560
Renamed class, remove unused code, delete allocated objects.

Tue, 15 May 2012 18:59:32 +0200Start sematinc range check class.
Manuele Conti <conti.ma@alice.it> [Tue, 15 May 2012 18:59:32 +0200] rev 559
Start sematinc range check class.

Tue, 15 May 2012 15:50:43 +0100Located variables may have other data types besides ANY_BIT.
mjsousa <msousa@fe.up.pt> [Tue, 15 May 2012 15:50:43 +0100] rev 558
Located variables may have other data types besides ANY_BIT.

Sun, 13 May 2012 17:57:15 +0200Add verify_is_lvalue to control_variable in for_statement.
Manuele Conti <conti.ma@alice.it> [Sun, 13 May 2012 17:57:15 +0200] rev 557
Add verify_is_lvalue to control_variable in for_statement.

Thu, 10 May 2012 22:03:59 +0100Remove useless code, and replace with assertion.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 22:03:59 +0100] rev 556
Remove useless code, and replace with assertion.

Thu, 10 May 2012 19:20:18 +0100Fix bug: initialise un-initialised variable.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 19:20:18 +0100] rev 555
Fix bug: initialise un-initialised variable.

Thu, 10 May 2012 19:09:02 +0100Delete incorrect comment.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 19:09:02 +0100] rev 554
Delete incorrect comment.

Thu, 10 May 2012 16:15:27 +0100Add some comments...
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 16:15:27 +0100] rev 553
Add some comments...

Thu, 10 May 2012 16:09:50 +0100Add high level comments.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 16:09:50 +0100] rev 552
Add high level comments.

Thu, 10 May 2012 15:40:19 +0100Fix comment.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 15:40:19 +0100] rev 551
Fix comment.

Wed, 09 May 2012 23:13:04 +0100Fix the previous commit: check for errors in expressions used as subscripts.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 23:13:04 +0100] rev 550
Fix the previous commit: check for errors in expressions used as subscripts.

Wed, 09 May 2012 20:05:57 +0200Fix data type check array subscript field.
Manuele Conti <conti.ma@alice.it> [Wed, 09 May 2012 20:05:57 +0200] rev 549
Fix data type check array subscript field.

Wed, 09 May 2012 23:04:03 +0100Merge changes.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 23:04:03 +0100] rev 548
Merge changes.

Wed, 09 May 2012 23:00:10 +0100Fix parsing os TIME literals & rename the extract_integer() function.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 23:00:10 +0100] rev 547
Fix parsing os TIME literals & rename the extract_integer() function.

Wed, 09 May 2012 22:59:10 +0100Fix generation of output for iec2iec.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 22:59:10 +0100] rev 546
Fix generation of output for iec2iec.

Wed, 09 May 2012 22:04:38 +0100Do not compile deleted files...
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 22:04:38 +0100] rev 545
Do not compile deleted files...

Wed, 09 May 2012 22:04:07 +0100Do not compile deleted files...
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 22:04:07 +0100] rev 544
Do not compile deleted files...

Wed, 09 May 2012 22:03:05 +0100ReDelete files - used in old method of supporting standard functions.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 22:03:05 +0100] rev 543
ReDelete files - used in old method of supporting standard functions.

Wed, 09 May 2012 21:46:21 +0100Remove file (used for old method of supporting standard functions).
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 21:46:21 +0100] rev 542
Remove file (used for old method of supporting standard functions).

Fri, 27 Apr 2012 13:40:36 +0100Add TODO list!
Mario de Sousa <msousa@fe.up.pt> [Fri, 27 Apr 2012 13:40:36 +0100] rev 541
Add TODO list!

Thu, 26 Apr 2012 11:12:19 +0100Delete unecessary variable.
Mario de Sousa <msousa@fe.up.pt> [Thu, 26 Apr 2012 11:12:19 +0100] rev 540
Delete unecessary variable.

Thu, 03 May 2012 17:43:32 +0200Fix __dt_to_timespec primitive function.
Conti Manuele <conti.ma@alice.it> [Thu, 03 May 2012 17:43:32 +0200] rev 539
Fix __dt_to_timespec primitive function.
Set tm_isdst = 0 to disable DayLight Savig Time.

Wed, 02 May 2012 14:46:48 +0200Fix __dt_to_string primitive function.
Conti Manuele <manuele.conti@alice.it> [Wed, 02 May 2012 14:46:48 +0200] rev 538
Fix __dt_to_string primitive function.

Tue, 24 Apr 2012 16:49:43 +0200Fix code generation about __INIT_GLOBAL_LOCATED.
Conti Manuele <manuele.conti@alice.it> [Tue, 24 Apr 2012 16:49:43 +0200] rev 537
Fix code generation about __INIT_GLOBAL_LOCATED.

Wed, 25 Apr 2012 16:56:25 +0100Change constants into enums.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 16:56:25 +0100] rev 536
Change constants into enums.

Wed, 25 Apr 2012 16:45:00 +0100Add lvalue checking for IL function and FB invocations.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 16:45:00 +0100] rev 535
Add lvalue checking for IL function and FB invocations.

Wed, 25 Apr 2012 16:44:23 +0100Fix comment.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 16:44:23 +0100] rev 534
Fix comment.

Wed, 25 Apr 2012 16:21:14 +0100Add clarifying comment.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 16:21:14 +0100] rev 533
Add clarifying comment.

Wed, 25 Apr 2012 15:56:45 +0100Remove access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 15:56:45 +0100] rev 532
Remove access to NULL pointer.

Wed, 25 Apr 2012 15:46:53 +0100Make temporary fix to is_complex() method.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 15:46:53 +0100] rev 531
Make temporary fix to is_complex() method.

Tue, 24 Apr 2012 19:17:53 +0100Fix comment. (thanks go to Manuele for pointing it put).
Mario de Sousa <msousa@fe.up.pt> [Tue, 24 Apr 2012 19:17:53 +0100] rev 530
Fix comment. (thanks go to Manuele for pointing it put).

Mon, 23 Apr 2012 16:50:10 +0100Stop lvalue checks after finding an error in the expression.
Mario de Sousa <msousa@fe.up.pt> [Mon, 23 Apr 2012 16:50:10 +0100] rev 529
Stop lvalue checks after finding an error in the expression.

Mon, 23 Apr 2012 16:44:05 +0100Remove erroneous check for S1 and R1, and add missing declrataion.
Mario de Sousa <msousa@fe.up.pt> [Mon, 23 Apr 2012 16:44:05 +0100] rev 528
Remove erroneous check for S1 and R1, and add missing declrataion.

Sat, 21 Apr 2012 17:42:07 +0200Start implement lvalue check in IL instruction.
Manuele Conti <conti.ma@alice.it> [Sat, 21 Apr 2012 17:42:07 +0200] rev 527
Start implement lvalue check in IL instruction.

Sat, 21 Apr 2012 17:43:55 +0200Add lvalue check on fb invocation.
Manuele Conti <conti.ma@alice.it> [Sat, 21 Apr 2012 17:43:55 +0200] rev 526
Add lvalue check on fb invocation.

Thu, 19 Apr 2012 19:49:11 +0100Literals are also part of expressions!
Mario de Sousa <msousa@fe.up.pt> [Thu, 19 Apr 2012 19:49:11 +0100] rev 525
Literals are also part of expressions!

Wed, 18 Apr 2012 14:19:40 +0200Implement check_assignment_to_expression in lvalue_check_c class.
Conti Manuele <conti.ma@alice.it> [Wed, 18 Apr 2012 14:19:40 +0200] rev 524
Implement check_assignment_to_expression in lvalue_check_c class.

Wed, 18 Apr 2012 15:44:00 +0100Remove potential access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Apr 2012 15:44:00 +0100] rev 523
Remove potential access to NULL pointer.

Wed, 18 Apr 2012 13:29:08 +0100Start having nicer stage 4 error messages.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Apr 2012 13:29:08 +0100] rev 522
Start having nicer stage 4 error messages.

Tue, 17 Apr 2012 17:41:58 +0200Improve usability command line under windows.
Conti Manuele <conti.ma@alice.it> [Tue, 17 Apr 2012 17:41:58 +0200] rev 521
Improve usability command line under windows.

Tue, 17 Apr 2012 17:59:02 +0100Ignore trailing EOLs when determining symbol location.
Mario de Sousa <msousa@fe.up.pt> [Tue, 17 Apr 2012 17:59:02 +0100] rev 520
Ignore trailing EOLs when determining symbol location.
(Makes for niver error messages)

Tue, 17 Apr 2012 14:21:31 +0100Add comment.
Mario de Sousa <msousa@fe.up.pt> [Tue, 17 Apr 2012 14:21:31 +0100] rev 519
Add comment.

Tue, 17 Apr 2012 14:17:07 +0100Fix Segmentation fault in check_assignment_to_output lvalue method.
Conti Manuele <conti.ma@alice.it> [Tue, 17 Apr 2012 14:17:07 +0100] rev 518
Fix Segmentation fault in check_assignment_to_output lvalue method.

Tue, 17 Apr 2012 10:11:45 +0100Remove deprecated status for ANYTIME operations.
Mario de Sousa <msousa@fe.up.pt> [Tue, 17 Apr 2012 10:11:45 +0100] rev 517
Remove deprecated status for ANYTIME operations.

Tue, 17 Apr 2012 09:58:06 +0100Produce similar error messages in stage2 and stage3.
Mario de Sousa <msousa@fe.up.pt> [Tue, 17 Apr 2012 09:58:06 +0100] rev 516
Produce similar error messages in stage2 and stage3.

Mon, 16 Apr 2012 20:13:58 +0100Fix bug when handling code with data type errors.
Mario de Sousa <msousa@fe.up.pt> [Mon, 16 Apr 2012 20:13:58 +0100] rev 515
Fix bug when handling code with data type errors.

Mon, 16 Apr 2012 15:40:12 +0100Fix printing of data type errors in while and repeat statements.
Mario de Sousa <msousa@fe.up.pt> [Mon, 16 Apr 2012 15:40:12 +0100] rev 514
Fix printing of data type errors in while and repeat statements.

Mon, 16 Apr 2012 15:27:53 +0100Add lvalue check for non formal function invocations.
Mario de Sousa <msousa@fe.up.pt> [Mon, 16 Apr 2012 15:27:53 +0100] rev 513
Add lvalue check for non formal function invocations.

Mon, 16 Apr 2012 15:17:24 +0100Fixing check for assingment to FOR control variables.
Mario de Sousa <msousa@fe.up.pt> [Mon, 16 Apr 2012 15:17:24 +0100] rev 512
Fixing check for assingment to FOR control variables.

Mon, 16 Apr 2012 15:10:31 +0100Moving get_var_name_c into its own file.
Mario de Sousa <msousa@fe.up.pt> [Mon, 16 Apr 2012 15:10:31 +0100] rev 511
Moving get_var_name_c into its own file.

Mon, 16 Apr 2012 14:41:07 +0100Fixing check for assignment to output variables.
Mario de Sousa <msousa@fe.up.pt> [Mon, 16 Apr 2012 14:41:07 +0100] rev 510
Fixing check for assignment to output variables.

Sun, 15 Apr 2012 19:56:33 +0100Fixing some bugs in lvalue checking (other bugs remain - to be fixed later)
Mario de Sousa <msousa@fe.up.pt> [Sun, 15 Apr 2012 19:56:33 +0100] rev 509
Fixing some bugs in lvalue checking (other bugs remain - to be fixed later)

Sat, 14 Apr 2012 20:02:36 +0200Add lvalue check class.
Manuele Conti <conti.ma@alice.it> [Sat, 14 Apr 2012 20:02:36 +0200] rev 508
Add lvalue check class.

Sat, 14 Apr 2012 18:05:50 +0100Determine the modifiers (CONST, REATAIN) used when declaring a variable.
manuele.conti@sirius-es.it [Sat, 14 Apr 2012 18:05:50 +0100] rev 507
Determine the modifiers (CONST, REATAIN) used when declaring a variable.

Sat, 14 Apr 2012 16:53:35 +0100Fix typo in comparison expression.
Mario de Sousa <msousa@fe.up.pt> [Sat, 14 Apr 2012 16:53:35 +0100] rev 506
Fix typo in comparison expression.

Sat, 14 Apr 2012 16:44:53 +0100Removing code from search_varfb_instance_type_c (use search_var_instance_decl_c instead).
Mario de Sousa <msousa@fe.up.pt> [Sat, 14 Apr 2012 16:44:53 +0100] rev 505
Removing code from search_varfb_instance_type_c (use search_var_instance_decl_c instead).
(Preparing to delete search_varfb_instance_type_c in the future!)

Sat, 14 Apr 2012 15:19:17 +0100Fix bug by expanding permissible data input of search_var_instance_decl_c
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)