| Thu, 16 Dec 2010 21:53:31 +0100 | blanchet | better propagation of stdout in case of failure + comply with strict/warnings | file | diff | annotate |
| Thu, 16 Dec 2010 21:21:13 +0100 | blanchet | cleaner handling of temporary files | file | diff | annotate |
| Thu, 16 Dec 2010 21:02:08 +0100 | blanchet | added self-correcting wrapper for Z3 -- see comment in the file for details | file | diff | annotate |