Fri, 17 Dec 2010 08:37:35 +0100 | boehmes | updated SMT certificates | changeset | files |
Fri, 17 Dec 2010 00:27:40 +0100 | blanchet | more precise/correct SMT error handling | changeset | files |
Fri, 17 Dec 2010 00:11:06 +0100 | blanchet | fixed off-by-one and return proper error code -- never underestimate the number of oddities in Perl | changeset | files |
Thu, 16 Dec 2010 22:45:02 +0100 | blanchet | discriminate SMT errors a bit better | changeset | files |
Thu, 16 Dec 2010 22:43:22 +0100 | blanchet | keep track of errors in Z3 input file for debugging purposes | changeset | files |
Thu, 16 Dec 2010 21:53:31 +0100 | blanchet | better propagation of stdout in case of failure + comply with strict/warnings | changeset | files |