| Fri, 30 Jul 2010 15:03:42 +0200 | blanchet | merged | changeset | files |
| Fri, 30 Jul 2010 00:02:25 +0200 | blanchet | don't choke on synonyms when parsing SPASS's Flotter output + renamings; | changeset | files |
| Thu, 29 Jul 2010 23:37:10 +0200 | blanchet | fix Mirabelle timeout | changeset | files |
| Thu, 29 Jul 2010 23:24:07 +0200 | blanchet | make Mirabelle happy | changeset | files |
| Thu, 29 Jul 2010 23:11:35 +0200 | blanchet | fix bug in the newly introduced "bound concealing" code | changeset | files |
| Thu, 29 Jul 2010 22:57:36 +0200 | blanchet | handle division by zero gracefully (used to raise Unordered later on) | changeset | files |
| Thu, 29 Jul 2010 22:43:46 +0200 | blanchet | use "explicit_apply" in the minimizer whenever it might make a difference to prevent freak failures; | changeset | files |
| Thu, 29 Jul 2010 22:13:15 +0200 | blanchet | fix Meson's definition of first-orderness to prevent errors later on elsewhere (e.g. in Metis) | changeset | files |