| Mon, 15 Nov 2010 17:35:57 +0100 | boehmes | trace more solver output before raising an exception due to a non-zero return code (avoids truncating potential counterexamples produced by Z3) | changeset | files |
| Mon, 15 Nov 2010 17:04:53 +0100 | bulwahn | merged | changeset | files |
| Mon, 15 Nov 2010 13:40:12 +0100 | bulwahn | ignoring the constant STR in the predicate compiler | changeset | files |
| Mon, 15 Nov 2010 17:40:38 +0100 | wenzelm | non-executable source files; | changeset | files |
| Mon, 15 Nov 2010 17:39:23 +0100 | wenzelm | eliminated old-style sed in favour of builtin regex matching; | changeset | files |
| Mon, 15 Nov 2010 17:14:43 +0100 | wenzelm | more robust treatment of spaces in file names; | changeset | files |
| Mon, 15 Nov 2010 15:41:58 +0100 | wenzelm | tuned error messages; | changeset | files |
| Mon, 15 Nov 2010 14:59:53 +0100 | wenzelm | merged | changeset | files |