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.
Manuele conti <conti.ma@alice.it> [Tue, 12 Jun 2012 09:45:31 +0200] rev 582
Fix structure initialize.
Manuele Conti <conti.ma@alice.it> [Mon, 11 Jun 2012 22:38:36 +0200] rev 581
Add check array out of bound.
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.
Mario de Sousa <msousa@fe.up.pt> [Mon, 11 Jun 2012 15:58:44 +0100] rev 579
Fix 'overflow' detection for real64.
Mario de Sousa <msousa@fe.up.pt> [Sun, 10 Jun 2012 21:51:16 +0100] rev 578
small bug fix.
Manuele Conti <conti.ma@alice.it> [Sun, 10 Jun 2012 21:28:21 +0200] rev 577
Fix compare expression in constat folding class.
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.
Mario de Sousa <msousa@fe.up.pt> [Sun, 10 Jun 2012 15:54:10 +0100] rev 575
cleaning up the code...
Mario de Sousa <msousa@fe.up.pt> [Sun, 10 Jun 2012 15:38:24 +0100] rev 574
Fix remaining overflow checks.
Mario de Sousa <msousa@fe.up.pt> [Sat, 09 Jun 2012 22:58:43 +0100] rev 573
remove incorrect include file.
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).
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)
Mario de Sousa <msousa@fe.up.pt> [Fri, 08 Jun 2012 19:47:45 +0100] rev 570
cosmetic changes.
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.
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).
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!
Manuele Conti <conti.ma@alice.it> [Wed, 06 Jun 2012 00:20:06 +0200] rev 566
Update constant folding: fixing minor bug.
Mario de Sousa <msousa@fe.up.pt> [Wed, 06 Jun 2012 12:39:32 +0100] rev 565
Fix a few bugs of previous commit.
Manuele Conti <conti.ma@alice.it> [Tue, 05 Jun 2012 19:17:29 +0200] rev 564
Start constant_folding class.
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 ..
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()
Manuele Conti <conti.ma@alice.it> [Wed, 16 May 2012 00:15:32 +0200] rev 561
Fix SFC stage4 error.
mjsousa <msousa@fe.up.pt> [Tue, 15 May 2012 23:03:25 +0100] rev 560
Renamed class, remove unused code, delete allocated objects.
Manuele Conti <conti.ma@alice.it> [Tue, 15 May 2012 18:59:32 +0200] rev 559
Start sematinc range check class.
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.
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.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 22:03:59 +0100] rev 556
Remove useless code, and replace with assertion.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 19:20:18 +0100] rev 555
Fix bug: initialise un-initialised variable.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 19:09:02 +0100] rev 554
Delete incorrect comment.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 16:15:27 +0100] rev 553
Add some comments...
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 16:09:50 +0100] rev 552
Add high level comments.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 15:40:19 +0100] rev 551
Fix comment.
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.
Manuele Conti <conti.ma@alice.it> [Wed, 09 May 2012 20:05:57 +0200] rev 549
Fix data type check array subscript field.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 23:04:03 +0100] rev 548
Merge changes.
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.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 22:59:10 +0100] rev 546
Fix generation of output for iec2iec.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 22:04:38 +0100] rev 545
Do not compile deleted files...
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 22:04:07 +0100] rev 544
Do not compile deleted files...
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.
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).
Mario de Sousa <msousa@fe.up.pt> [Fri, 27 Apr 2012 13:40:36 +0100] rev 541
Add TODO list!
Mario de Sousa <msousa@fe.up.pt> [Thu, 26 Apr 2012 11:12:19 +0100] rev 540
Delete unecessary variable.
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.
Conti Manuele <manuele.conti@alice.it> [Wed, 02 May 2012 14:46:48 +0200] rev 538
Fix __dt_to_string primitive function.
Conti Manuele <manuele.conti@alice.it> [Tue, 24 Apr 2012 16:49:43 +0200] rev 537
Fix code generation about __INIT_GLOBAL_LOCATED.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 16:56:25 +0100] rev 536
Change constants into enums.
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.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 16:44:23 +0100] rev 534
Fix comment.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 16:21:14 +0100] rev 533
Add clarifying comment.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 15:56:45 +0100] rev 532
Remove access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 15:46:53 +0100] rev 531
Make temporary fix to is_complex() method.
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).
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.
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.
Manuele Conti <conti.ma@alice.it> [Sat, 21 Apr 2012 17:42:07 +0200] rev 527
Start implement lvalue check in IL instruction.
Manuele Conti <conti.ma@alice.it> [Sat, 21 Apr 2012 17:43:55 +0200] rev 526
Add lvalue check on fb invocation.
Mario de Sousa <msousa@fe.up.pt> [Thu, 19 Apr 2012 19:49:11 +0100] rev 525
Literals are also part of expressions!
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.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Apr 2012 15:44:00 +0100] rev 523
Remove potential access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Apr 2012 13:29:08 +0100] rev 522
Start having nicer stage 4 error messages.
Conti Manuele <conti.ma@alice.it> [Tue, 17 Apr 2012 17:41:58 +0200] rev 521
Improve usability command line under windows.
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)
Mario de Sousa <msousa@fe.up.pt> [Tue, 17 Apr 2012 14:21:31 +0100] rev 519
Add comment.
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.
Mario de Sousa <msousa@fe.up.pt> [Tue, 17 Apr 2012 10:11:45 +0100] rev 517
Remove deprecated status for ANYTIME operations.
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.
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.
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.
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.
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.
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.
Mario de Sousa <msousa@fe.up.pt> [Mon, 16 Apr 2012 14:41:07 +0100] rev 510
Fixing check for assignment to output variables.
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)
Manuele Conti <conti.ma@alice.it> [Sat, 14 Apr 2012 20:02:36 +0200] rev 508
Add lvalue check class.
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.
Mario de Sousa <msousa@fe.up.pt> [Sat, 14 Apr 2012 16:53:35 +0100] rev 506
Fix typo in comparison expression.
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!)
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.
Mario de Sousa <msousa@fe.up.pt> [Tue, 13 Mar 2012 19:04:07 +0000] rev 480
Add MOD widening table, and some code clean-ups.
Mario de Sousa <msousa@fe.up.pt> [Tue, 13 Mar 2012 18:29:34 +0000] rev 479
Re-organizing the code.
Mario de Sousa <msousa@fe.up.pt> [Tue, 13 Mar 2012 16:38:21 +0000] rev 478
Change setting of deprecated_operation from fill to narrow_candidate_datatypes_c.
Expand widening tables for ADD, SUB, MUL and DIV.
Mario de Sousa <msousa@fe.up.pt> [Tue, 13 Mar 2012 12:39:09 +0000] rev 477
Clarify some details in the comments.
Manuele Conti <conti.ma@alice.it> [Sun, 11 Mar 2012 22:21:47 +0100] rev 476
Add check widening status for IL operator.
Fix check widening status for ST expression.
Mario de Sousa <msousa@fe.up.pt> [Sun, 11 Mar 2012 18:24:39 +0000] rev 475
Fix remaining 'widen' tables.
Mario de Sousa <msousa@fe.up.pt> [Sun, 11 Mar 2012 16:38:05 +0000] rev 474
Fix some 'widen' table entries.
Mario de Sousa <msousa@fe.up.pt> [Sat, 10 Mar 2012 11:27:49 +0000] rev 473
Add a TODO comment.
Mario de Sousa <msousa@fe.up.pt> [Sat, 10 Mar 2012 11:21:41 +0000] rev 472
Clean up code, and add support for 'safe' version of literals.
Mario de Sousa <msousa@fe.up.pt> [Sat, 10 Mar 2012 11:21:04 +0000] rev 471
Bringing comment up to date.
Mario de Sousa <msousa@fe.up.pt> [Fri, 09 Mar 2012 17:58:19 +0000] rev 470
Semantic verification of NOT operator.
Mario de Sousa <msousa@fe.up.pt> [Fri, 09 Mar 2012 10:52:23 +0000] rev 469
Fix bug in building structured variables.
Mario de Sousa <msousa@fe.up.pt> [Fri, 09 Mar 2012 10:51:56 +0000] rev 468
Delete unecessary copy_candidate_datatype_list() function.
Mario de Sousa <msousa@fe.up.pt> [Thu, 08 Mar 2012 19:14:45 +0000] rev 467
Delete no longer needed copy_candidate_datatype_list() function.
Mario de Sousa <msousa@fe.up.pt> [Thu, 08 Mar 2012 18:57:55 +0000] rev 466
Narrow IL lists twice, in order to handle JMP to labels before the JMP itself.
Mario de Sousa <msousa@fe.up.pt> [Thu, 08 Mar 2012 18:57:14 +0000] rev 465
Do not allow duplicate values in candidate datatype list.
Mario de Sousa <msousa@fe.up.pt> [Sat, 03 Mar 2012 20:42:48 +0000] rev 464
Handle JMP to labels preceding the JMP instruction itself.
Mario de Sousa <msousa@fe.up.pt> [Sat, 03 Mar 2012 20:27:20 +0000] rev 463
Correctly handle JMP and RET IL operators in flow control analysis.
Mario de Sousa <msousa@fe.up.pt> [Sat, 03 Mar 2012 13:07:00 +0000] rev 462
Fix filling candidate datatypes of JMP operations
Mario de Sousa <msousa@fe.up.pt> [Sat, 03 Mar 2012 08:51:28 +0000] rev 461
Remove spurious printf()s, used during debugging session.
Mario de Sousa <msousa@fe.up.pt> [Fri, 02 Mar 2012 17:59:20 +0000] rev 460
Add missing files.
Mario de Sousa <msousa@fe.up.pt> [Fri, 02 Mar 2012 12:53:41 +0000] rev 459
Continue adding support for semantic verification of JMP and RET.
Conti Manuele <conti.ma@alice.it> [Thu, 01 Mar 2012 10:28:27 +0000] rev 458
iAdd warning for deprecated operations.
Mario de Sousa <msousa@fe.up.pt> [Mon, 27 Feb 2012 11:44:03 +0000] rev 457
Change prev_il_instruction to a vector<>
Mario de Sousa <msousa@fe.up.pt> [Mon, 27 Feb 2012 11:28:51 +0000] rev 456
Some small cleanups.
Mario de Sousa <msousa@fe.up.pt> [Sat, 25 Feb 2012 19:16:35 +0000] rev 455
Add support for semantic verification of CALC, CALCN, etc..
Mario de Sousa <msousa@fe.up.pt> [Thu, 23 Feb 2012 13:25:49 +0000] rev 454
Finish support for semantic verification of IL paranthesised expressions.
Mario de Sousa <msousa@fe.up.pt> [Tue, 21 Feb 2012 17:39:57 +0000] rev 453
More changes for support of semantic verification of il_expressions
Mario de Sousa <msousa@fe.up.pt> [Mon, 20 Feb 2012 19:44:40 +0000] rev 452
Start of support for IL expressions (parenthesis).
Mario de Sousa <msousa@fe.up.pt> [Mon, 20 Feb 2012 17:52:01 +0000] rev 451
Cleaning up the code.
Mario de Sousa <msousa@fe.up.pt> [Mon, 20 Feb 2012 15:24:26 +0000] rev 450
Fix a few more bugs related to FB/function calls in IL.
Mario de Sousa <msousa@fe.up.pt> [Sun, 19 Feb 2012 16:16:45 +0000] rev 449
Semantic verification: Add compatibility check for parameter direction in function invocation.
Mario de Sousa <msousa@fe.up.pt> [Sat, 18 Feb 2012 21:03:01 +0000] rev 448
Add support for semantic verification for implict FB calls in IL (e.g. PV ton_var)
Mario de Sousa <msousa@fe.up.pt> [Fri, 17 Feb 2012 19:47:58 +0000] rev 447
Start of support for semantic verification of FB calls in IL using special IL instructions.
Mario de Sousa <msousa@fe.up.pt> [Fri, 17 Feb 2012 19:47:23 +0000] rev 446
Delete some comments.
Conti Manuele <conti.ma@alice.it> [Thu, 16 Feb 2012 14:18:23 +0100] rev 445
Change name help function.
Mario de Sousa <msousa@fe.up.pt> [Thu, 16 Feb 2012 12:59:02 +0000] rev 444
Update comments on general architecture.
Mario de Sousa <msousa@fe.up.pt> [Thu, 16 Feb 2012 10:27:52 +0000] rev 443
Narrow IL code backwords, so as to correctly handle invocations to overloaded functions from IL code.
Mario de Sousa <msousa@fe.up.pt> [Mon, 13 Feb 2012 17:04:29 +0000] rev 442
Code cleanup.
Mario de Sousa <msousa@fe.up.pt> [Mon, 13 Feb 2012 16:29:55 +0000] rev 441
Add printing of semantic errors when calling FB from IL.
Manuele Conti <conti.ma@alice.it> [Sun, 12 Feb 2012 20:43:49 +0100] rev 440
Fix typo error in some il visit in fill_candidate_datatypes_c class.
Mario de Sousa <msousa@fe.up.pt> [Mon, 13 Feb 2012 13:45:57 +0000] rev 439
Add semantic verification of FB calls in IL (not yet complete - missing printing of errors!)
Mario de Sousa <msousa@fe.up.pt> [Fri, 10 Feb 2012 19:04:31 +0000] rev 438
Add support for semantic verification of function calls in IL.
Mario de Sousa <msousa@fe.up.pt> [Wed, 08 Feb 2012 18:33:01 +0000] rev 437
Add TODO comment, and delete unused debugging code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 08 Feb 2012 18:27:45 +0000] rev 436
Delete un-used code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 08 Feb 2012 18:16:13 +0000] rev 435
Change negation expression (neg_expression_c) to only allow signed data types.
Mario de Sousa <msousa@fe.up.pt> [Tue, 07 Feb 2012 17:45:17 +0000] rev 434
Move elementary_c::to_string() to datatype_functions.cc/hh
Mario de Sousa <msousa@fe.up.pt> [Tue, 07 Feb 2012 17:40:19 +0000] rev 433
Add, to types symbol table, string datatypes with limited length (my_string_type: STRING[33]) (Thanks Andreas!)
Mario de Sousa <msousa@fe.up.pt> [Tue, 07 Feb 2012 12:17:00 +0000] rev 432
Correctly return the initial value of a string datatype, with limited length (STRING[33] := 'hello')
Mario de Sousa <msousa@fe.up.pt> [Tue, 07 Feb 2012 11:55:29 +0000] rev 431
More detailed error messages for FB invocations in ST.
Mario de Sousa <msousa@fe.up.pt> [Mon, 06 Feb 2012 18:32:11 +0000] rev 430
More detailed error messages in function invocations in ST.
Mario de Sousa <msousa@fe.up.pt> [Mon, 06 Feb 2012 14:21:08 +0000] rev 429
Fix bug in analysing real literals (thanks Andreas!)
Mario de Sousa <msousa@fe.up.pt> [Mon, 06 Feb 2012 14:15:31 +0000] rev 428
Remove debugging messages, and code cleanup.
Mario de Sousa <msousa@fe.up.pt> [Mon, 06 Feb 2012 14:10:22 +0000] rev 427
Better error reporting in function invocations, and in invalid literal values.
Mario de Sousa <msousa@fe.up.pt> [Sun, 05 Feb 2012 19:09:12 +0000] rev 426
Better identification of erros in function/FB invocations.
Mario de Sousa <msousa@fe.up.pt> [Fri, 03 Feb 2012 18:16:20 +0000] rev 425
Print error messages when datatype erros found in ST function/FB calls.
Mario de Sousa <msousa@fe.up.pt> [Fri, 03 Feb 2012 14:43:14 +0000] rev 424
Continue checking data type compatibility inside expressions used to pass paramters to invalid function/FB calls
Mario de Sousa <msousa@fe.up.pt> [Fri, 03 Feb 2012 10:54:35 +0000] rev 423
Adding support for semantic verification of FB calls in ST.
Mario de Sousa <msousa@fe.up.pt> [Thu, 02 Feb 2012 16:50:12 +0000] rev 422
Delete wrong comment.
Mario de Sousa <msousa@fe.up.pt> [Thu, 02 Feb 2012 16:20:19 +0000] rev 421
Add support in stage 3 for checking function invocations in ST.
Mario de Sousa <msousa@fe.up.pt> [Thu, 02 Feb 2012 14:18:02 +0000] rev 420
Fix search_varfb_instance_decl to be able to find variables and FB when only given an identifier.
Fix handling of FB calls in stage3.
Start handling of function invocations in stage3.
Mario de Sousa <msousa@fe.up.pt> [Thu, 02 Feb 2012 10:00:53 +0000] rev 419
Changing code indenting.
Manuele Conti <conti.ma@alice.it> [Wed, 01 Feb 2012 22:40:54 +0100] rev 418
Add fill candidate method for fb_invocation_c symbol.
Mario de Sousa <msousa@fe.up.pt> [Wed, 01 Feb 2012 19:49:11 +0000] rev 417
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.
Mario de Sousa <msousa@fe.up.pt> [Wed, 01 Feb 2012 13:01:08 +0000] rev 416
Merging with Laurent's repository.
Manuele Conti <conti.ma@alice.it> [Tue, 27 Sep 2011 00:07:16 +0200] rev 415
Fix YYLTYPE declaration.
Mario de Sousa <msousa@fe.up.pt> [Sun, 20 Nov 2011 19:36:48 +0000] rev 414
Merging with Laurent's repository.
Mario de Sousa <msousa@fe.up.pt> [Fri, 04 Nov 2011 19:16:29 +0000] rev 413
Add list of things we must check for in stage 3 (TODO list!)
Laurent Bessard [Tue, 14 Aug 2012 19:40:01 +0200] rev 412
Fix bug with InOut variable of structured type
Laurent Bessard [Sat, 28 Jul 2012 17:38:57 +0200] rev 411
Fix bug while using complex type variables in Function and FunctionBlock interface
Laurent Bessard [Fri, 27 Jul 2012 15:43:32 +0200] rev 410
Fix bug while using complex type variables in Function and FunctionBlock interface
Laurent Bessard [Fri, 27 Jul 2012 15:40:44 +0200] rev 409
Fix bug with complex type inout variables while generating variable list
laurent [Thu, 22 Mar 2012 00:22:48 +0100] rev 408
Fixing bug in inlinefcall when a transition is in ST and contains literals
laurent [Fri, 24 Feb 2012 18:16:56 +0100] rev 407
Fix bug in code generated for MUL function
laurent [Fri, 24 Feb 2012 14:16:51 +0100] rev 406
Fix bug with overloaded function due to literal input values
laurent [Tue, 21 Feb 2012 22:31:38 +0100] rev 405
Fix bug wrong code generated when, in a pou, a located variable has the same name than a function block instance input variable
laurent [Tue, 21 Feb 2012 22:28:57 +0100] rev 404
Fix bug pointed structure not declared for directly derived datatypes
Edouard Tisserant [Thu, 16 Feb 2012 13:27:04 +0100] rev 403
removed forgotten prototype in __INIT_EXTERNAL accessor, causing warning ant build time
laurent [Tue, 07 Feb 2012 20:20:19 +0100] rev 402
Merge with Edouard's modifications
laurent [Tue, 07 Feb 2012 20:18:11 +0100] rev 401
Fix STEP and ACTION structure initialization value in SFC
Edouard Tisserant [Fri, 03 Feb 2012 18:01:13 +0100] rev 400
Applied anonymous contribution RTC, '[Beremiz-devel] RTC function', 29/06/11
laurent [Fri, 03 Feb 2012 00:09:52 +0100] rev 399
Fix bug with functions like LEN and TRUNC that have overloaded return type for same inputs type
laurent [Thu, 02 Feb 2012 00:34:04 +0100] rev 398
Fix issues in standard library with MUX, MOD, NE and convertions to BOOL
laurent [Wed, 25 Jan 2012 01:16:30 +0100] rev 397
Adding Common_Ticktime to informations printed in VARIABLES.csv file
laurent [Fri, 30 Dec 2011 18:25:39 +0100] rev 396
Fixing bug with external variables refering to global variables defined in configurations
Edouard Tisserant [Fri, 23 Dec 2011 15:17:45 +0100] rev 395
removed useless extern func declaration in __INIT_EXTERNAL, producing warning during build of POUS.c
laurent [Fri, 09 Dec 2011 10:03:37 +0100] rev 394
Fixing bug in generated code for complex type external variable
laurent [Fri, 09 Dec 2011 10:01:48 +0100] rev 393
Fixing SUB standard function defined in standard library
laurent [Fri, 18 Nov 2011 17:28:37 +0100] rev 392
Fixing generated code for global variables. Adding support for defining global variables with complex type
Fixing bug preventing to generate SFC transition with IL body
laurent [Fri, 18 Nov 2011 17:21:16 +0100] rev 391
Fixing bug in all SUB function definitions in standard_functions.txt
laurent [Fri, 18 Nov 2011 11:23:17 +0100] rev 390
Fix bug when using enumerated type in equ_expression or notequ_expression
Edouard Tisserant [Wed, 16 Nov 2011 17:48:22 +0100] rev 389
silenced warning on X86_64 build by casying numerical operand of snprintf
laurent [Fri, 04 Nov 2011 18:40:58 +0100] rev 388
Fix bug in generate_c_inlinefcall. Was not handling textual SFC elements
Mario de Sousa <msousa@fe.up.pt> [Sat, 29 Oct 2011 19:30:47 +0100] rev 387
Fix code generation of FOR loops. Now handles negative values of BY correctly.
Mario de Sousa <msousa@fe.up.pt> [Sat, 29 Oct 2011 18:56:25 +0100] rev 386
Fix semantic verification of enumerated data types.
Mario de Sousa <msousa@fe.up.pt> [Fri, 28 Oct 2011 10:25:07 +0100] rev 385
Adding a line to a comment. Does not change any code.
Edouard Tisserant [Thu, 20 Oct 2011 00:41:44 +0200] rev 384
fixed signedness warning on string slicing funcs in std lib
laurent [Wed, 12 Oct 2011 16:09:29 +0200] rev 383
Fix bug generate_c_inlinefcall in inline function name generated
laurent [Tue, 11 Oct 2011 12:30:49 +0200] rev 382
Fix bug in parser while trying to use IL operator like S1, R1, etc... as standard function block interface variable in structured_variable syntax and bug in code generator while generating code for assignment of function block interface variable using structured_variable syntax
laurent [Sun, 09 Oct 2011 20:18:55 +0200] rev 381
Fix bug in code generation of directly declared array variables that generate wrong code when using located variables in a program POU
laurent [Sun, 09 Oct 2011 20:16:41 +0200] rev 380
Fix bug in generate_c_inlinefcall.cc that prevent to use extendible standard functions
laurent [Sun, 09 Oct 2011 20:12:05 +0200] rev 379
Fix bug in definition of CONCAT standard function in iec_std_lib.h
Edouard Tisserant [Wed, 28 Sep 2011 14:55:26 +0200] rev 378
moved declaration __STR_CMP to prevent warning
laurent [Wed, 14 Sep 2011 22:58:39 +0200] rev 377
Adding support for compiling direct array specification inside variable declaration
laurent [Fri, 09 Sep 2011 12:03:15 +0200] rev 376
Making case statement code generated safer
laurent [Thu, 08 Sep 2011 20:25:00 +0200] rev 375
Merge with 01068ccb73b202b2872d4117ad01984bac956cbb
Manuele Conti <conti.ma@alice.it> [Thu, 01 Sep 2011 21:32:57 +0200] rev 374
Fix make on system without mercurial installed.
Mario de Sousa <msousa@fe.up.pt> [Wed, 31 Aug 2011 19:29:47 +0100] rev 373
delete code no longer needed.
Mario de Sousa <msousa@fe.up.pt> [Wed, 31 Aug 2011 14:51:59 +0100] rev 372
Implement get_type_decl(), as it seems Manuele will need it later...
Mario de Sousa <msousa@fe.up.pt> [Wed, 31 Aug 2011 14:10:53 +0100] rev 371
Cleaning up: Getting some sense into the code handling structures.
Matteo Facchinetti [Thu, 25 Aug 2011 17:22:44 +0200] rev 370
Add automatic HG changeset id information in "-v" param
Matteo Facchinetti [Thu, 25 Aug 2011 08:56:28 +0200] rev 369
Add iec2iec building in the project Makefiles.
Mario de Sousa <msousa@fe.up.pt> [Fri, 26 Aug 2011 11:29:43 +0100] rev 368
Update which files to ignore due to new autotools building environment.
Mario de Sousa <msousa@fe.up.pt> [Fri, 26 Aug 2011 10:48:09 +0100] rev 367
Add checks for undefined structure elements used IEC 61131-3 source code being compiled.
Mario de Sousa <msousa@fe.up.pt> [Thu, 25 Aug 2011 17:55:48 +0100] rev 366
Ignore underscores when extracting value of integer.
Mario de Sousa <msousa@fe.up.pt> [Tue, 23 Aug 2011 17:18:37 +0100] rev 365
Deleting unused code.
Mario de Sousa <msousa@fe.up.pt> [Tue, 23 Aug 2011 16:28:03 +0100] rev 364
Removing Makefiles made redundant by autotools.
Mario de Sousa <msousa@fe.up.pt> [Tue, 23 Aug 2011 14:17:46 +0100] rev 363
fix bug report email address.
Mario de Sousa <msousa@fe.up.pt> [Tue, 23 Aug 2011 14:15:12 +0100] rev 362
Add print version command line option.
Mario de Sousa <msousa@fe.up.pt> [Tue, 23 Aug 2011 11:54:34 +0100] rev 361
Remove debugging printf() added by mistake in previous commit.
Mario de Sousa <msousa@fe.up.pt> [Tue, 23 Aug 2011 11:51:14 +0100] rev 360
Print error messages when data type errors in ST expressions are detected.
Mario de Sousa <msousa@fe.up.pt> [Tue, 23 Aug 2011 09:10:03 +0100] rev 359
Include (again!) the declaration of standard functions (incorrectly removed -again- in previous commit)
Mario de Sousa <msousa@fe.up.pt> [Mon, 22 Aug 2011 16:08:07 +0100] rev 358
Add support for '**' (power) operator in ST expressions
Mario de Sousa <msousa@fe.up.pt> [Fri, 19 Aug 2011 21:53:11 +0100] rev 357
Some more comments on how to build, and correcting name of README.build file.
Mario de Sousa <msousa@fe.up.pt> [Fri, 19 Aug 2011 20:57:49 +0100] rev 356
Include the declaration of standard functions (incorrectly removed in previous commit)
Mario de Sousa <msousa@fe.up.pt> [Fri, 19 Aug 2011 20:48:05 +0100] rev 355
Merging with Laurent's repository.
Mario de Sousa <msousa@fe.up.pt> [Fri, 19 Aug 2011 17:33:57 +0100] rev 354
Fixing automake configuration to work properly with flex and bison.
Mario de Sousa <msousa@fe.up.pt> [Fri, 29 Jul 2011 16:08:40 +0100] rev 353
Building compiler with autoconf. Thanks go to Matteo of sirius-es.it
Mario de Sousa <msousa@fe.up.pt> [Fri, 29 Jul 2011 16:06:38 +0100] rev 352
Support for semantic verification of calls to standard functions.
Removing files no longer required.
Mario de Sousa <msousa@fe.up.pt> [Fri, 29 Jul 2011 16:05:03 +0100] rev 351
Support for semantic verification of calls to standard function calls.
Adding missing files in previous commit.
Mario de Sousa <msousa@fe.up.pt> [Fri, 29 Jul 2011 16:03:28 +0100] rev 350
Support for semantic verification of calls to standard functions.
This commit makes a fundamental change in the way standard functions are handled by the compiler.
laurent [Wed, 07 Sep 2011 19:28:10 +0200] rev 349
Fixing exponentiation used with symbol **
laurent [Fri, 02 Sep 2011 18:16:33 +0200] rev 348
Fix bugs in exponentiation
laurent [Fri, 02 Sep 2011 18:15:55 +0200] rev 347
Fix case statement in ST, adding support for enumerated types
laurent [Wed, 13 Jul 2011 13:57:29 +0200] rev 346
Adding BYTE operators visit functions in inlinefcall
laurent [Wed, 13 Jul 2011 13:40:14 +0200] rev 345
Fix bug with DIV and MOD operator in IL code generator
laurent [Wed, 13 Jul 2011 12:44:12 +0200] rev 344
Fix bug in suffix of inlinefcall call in ST and IL
laurent [Wed, 13 Jul 2011 12:32:34 +0200] rev 343
Remove inclusion of missing file in lib
laurent [Wed, 13 Jul 2011 11:48:34 +0200] rev 342
Commiting merge with Mario's repository
Mario de Sousa <msousa@fe.up.pt> [Mon, 11 Jul 2011 09:47:27 +0100] rev 341
commiting merge with Laurent's repository
Mario de Sousa <msousa@fe.up.pt> [Sat, 09 Jul 2011 14:48:31 +0100] rev 340
changing 'make' to '$(MAKE)' so other make tools (e.g. gmake) may also be used.
Mario de Sousa <msousa@fe.up.pt> [Sat, 09 Jul 2011 14:17:52 +0100] rev 339
Replacing extern declaration with #include of apropriate header file
Mario de Sousa <msousa@fe.up.pt> [Sat, 09 Jul 2011 14:05:53 +0100] rev 338
Adding some comments, and removing a check for a semantic error in code being compiled.
laurent [Tue, 12 Jul 2011 22:20:28 +0200] rev 337
Fix bug with inline function call in POU programmed in IL
laurent [Fri, 08 Jul 2011 11:06:27 +0200] rev 336
Fix bug in function calls with literal parameters
laurent [Thu, 07 Jul 2011 10:49:08 +0200] rev 335
Fix makefiles when not using make as make tool
laurent [Wed, 06 Jul 2011 12:19:30 +0200] rev 334
Fix bug on initialization of temp variables not using setter
laurent [Wed, 06 Jul 2011 12:01:46 +0200] rev 333
Fix bug when trying to find the type of a NULL symbol
laurent [Mon, 04 Jul 2011 15:27:09 +0200] rev 332
Fix bug in inline function calls when using function with undetermined type interface with literals as input
laurent [Wed, 29 Jun 2011 12:28:59 +0200] rev 331
Fix warnings when compiling matiec
laurent [Wed, 29 Jun 2011 12:28:13 +0200] rev 330
Fix warning on nop statement at the end of function_block and program generated code
laurent [Wed, 29 Jun 2011 12:26:00 +0200] rev 329
Adding double underscore in computed enumerated value to avoid conflict with other user defined identifiers
laurent [Tue, 28 Jun 2011 19:03:15 +0200] rev 328
Add support for finding type of a constant enumerated value and managing conflict between same identifiers defined in different enumerated data types