| Fri, 17 Dec 2010 11:12:37 +0100 | blanchet | Z3 sometimes reports two errors, with the first one referring to line 1 for some strange reason -- but it makes no sense to kill line 1, so we traverse the errors in reverse and consider only the last error | changeset | files |
| Fri, 17 Dec 2010 09:56:04 +0100 | blanchet | trap one more Z3 error | changeset | files |
| Fri, 17 Dec 2010 15:30:00 +0100 | boehmes | fixed the command-line syntax for setting Yices' random seed | changeset | files |