2012-07-20 Mario de Sousa Constant folding for IL.
2012-07-19 Mario de Sousa update comments.
2012-07-19 Mario de Sousa fix bug: remove REAL from candidate datatypes when real constant has overflowed.
2012-07-18 Mario de Sousa signed integer limits do not affect ANY_INT constant values.
2012-07-18 Mario de Sousa comment out un-used code.
2012-07-18 Mario de Sousa cleaning up code. Changing HUGE_VAL to INFINITY.
2012-07-18 Mario de Sousa Cleaning up the code.
2012-07-18 Mario de Sousa Clean up the code a little.
2012-07-18 Mario de Sousa Fixing includes to define INTxx_MAX etc...
2012-07-14 Manuele Conti Add remove_from_candidate_datatype_list method using constant_folding results.
2012-06-19 Mario de Sousa fix typo.
2012-06-19 Mario de Sousa fix parsing of non base 10 constant values.
2012-06-18 Mario de Sousa determine const value of hex, octal and bin literals correctly.
2012-06-18 Mario de Sousa fix array bounds check.
2012-06-18 Mario de Sousa Fix stupid typos (in calculating array dimension)!
2012-06-16 Mario de Sousa Add file missing from previous commit.
2012-06-15 Mario de Sousa Add ERROR_MSG macro && move extract_XXX() functions to constant_folding.cc
2012-06-14 Mario de Sousa Add independent extract_integer() function (preparing to remove extract_XXX() from absyntax_utils.cc)
2012-06-14 Mario de Sousa Clean up code (remove parsing of integers in stage 4).
2012-06-13 Manuele Conti Fix literal MACRO gcc compliant.
2012-06-13 Mario de Sousa Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
2012-06-13 Mario de Sousa extract_int64() must not handle negation operation (was doing it incorrectly for INT64_MIN!)
2012-06-13 Mario de Sousa Add support for -INT64_MIN values in literals.
2012-06-13 Mario de Sousa Make compiler portable (do not assume int64_t is long long int)
2012-06-12 Manuele Conti Add missing set overflow flag.
2012-06-12 Manuele Conti Fix extract_integer_value.
2012-06-12 Mario de Sousa Fix typo (thanks Manuele)
2012-06-12 Mario de Sousa Remove potential access to NULL pointer.
2012-06-12 Mario de Sousa fix error message.
2012-06-12 Mario de Sousa Fix array index bound check to consider uint64 indexes/limits.
2012-06-12 Manuele conti Fix structure initialize.
2012-06-11 Manuele Conti Add check array out of bound.
2012-06-11 Mario de Sousa Code for debugging const_value annotations in abstract syntax tree.
2012-06-11 Mario de Sousa Fix 'overflow' detection for real64.
2012-06-10 Mario de Sousa small bug fix.
2012-06-10 Manuele Conti Fix compare expression in constat folding class.
2012-06-10 Mario de Sousa Fix extract_real (thanks Manuele), and add check for overflow.
2012-06-10 Mario de Sousa cleaning up the code...
2012-06-10 Mario de Sousa Fix remaining overflow checks.
2012-06-09 Mario de Sousa remove incorrect include file.
2012-06-09 Mario de Sousa Correctly implement MOD operation and overflow checks (still missing uint * / MOD).
2012-06-09 Mario de Sousa Re-insert errno=0 before calling strtoXX() (thanks go to Manuele)
2012-06-08 Mario de Sousa cosmetic changes.
2012-06-08 Mario de Sousa Add data structure for storing overflow of constant values.
2012-06-06 Mario de Sousa make the compiler platform independent (i.e. no longer assume sizeof(double)==8).
2012-06-06 Mario de Sousa create extract_real_value() in absyntax_utils. NOTE: overflows not yet handled!
2012-06-05 Manuele Conti Update constant folding: fixing minor bug.
2012-06-06 Mario de Sousa Fix a few bugs of previous commit.
2012-06-05 Manuele Conti Start constant_folding class.
2012-06-05 Andreas Graeper little typo in last commited code
2012-06-04 Mario de Sousa Change return data type of array_dimension_iterator_c.next()
2012-05-15 Manuele Conti Fix SFC stage4 error.
2012-05-15 mjsousa Renamed class, remove unused code, delete allocated objects.
2012-05-15 Manuele Conti Start sematinc range check class.
2012-05-15 mjsousa Located variables may have other data types besides ANY_BIT.
2012-05-13 Manuele Conti Add verify_is_lvalue to control_variable in for_statement.
2012-05-10 mjsousa Remove useless code, and replace with assertion.
2012-05-10 mjsousa Fix bug: initialise un-initialised variable.
2012-05-10 mjsousa Delete incorrect comment.
2012-05-10 mjsousa Add some comments...