| Sun, 07 Nov 2010 13:29:59 +0100 | blanchet | removed explicit "Interrupt" handling for conformity with async model -- unfortunately the user loses the information about how many scopes were checked, but this needs to be retought with the new interface anyway | changeset | files |
| Sat, 06 Nov 2010 10:25:08 +0100 | blanchet | make Nitpick datatype tests faster to make timeout less likely | changeset | files |
| Sat, 06 Nov 2010 10:25:08 +0100 | blanchet | invoke SMT solver in a loop, with fewer and fewer facts, in case of error | changeset | files |
| Sat, 06 Nov 2010 10:25:08 +0100 | blanchet | always honor the max relevant constraint | changeset | files |
| Mon, 08 Nov 2010 11:28:22 +0100 | wenzelm | more robust treatment of suppressed quotes concerning replacement text -- for improved copy/paste behaviour; | changeset | files |
| Mon, 08 Nov 2010 00:00:47 +0100 | wenzelm | updated generated files; | changeset | files |