| Wed, 06 Jun 2012 13:28:50 +0100 | Mario de Sousa | create extract_real_value() in absyntax_utils. NOTE: overflows not yet handled! | changeset | files |
| Wed, 06 Jun 2012 00:20:06 +0200 | Manuele Conti | Update constant folding: fixing minor bug. | changeset | files |