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()