Wed, 17 Nov 2010 08:14:55 +0100 | boehmes | keep input and output files used to communicate with the SMT solver (for debugging purposes mainly) | file | diff | annotate |
Fri, 12 Nov 2010 15:56:07 +0100 | boehmes | look for certificates relative to the theory | file | diff | annotate |
Mon, 08 Nov 2010 12:13:44 +0100 | boehmes | better modularization: moved SMT configuration options and diagnostics as well as SMT failure and exception into separate structures (both of which are loaded first and consequently are available to other SMT structures) | file | diff | annotate |