Tue, 02 Feb 2010 18:11:21 +0100 | boehmes | updated SMT examples | changeset | files |
Tue, 02 Feb 2010 18:10:41 +0100 | boehmes | collect certificates in a single file | changeset | files |
Tue, 02 Feb 2010 11:38:38 +0100 | blanchet | added support for nonstandard models to Nitpick (based on an idea by Koen Claessen) and did other fixes to Nitpick | changeset | files |