src/HOL/Tools/SMT/smt_config.ML
Mon, 10 Jan 2011 18:58:54 +0100 boehmes be more precise: also merge option values
Mon, 10 Jan 2011 17:41:45 +0100 boehmes only print warning in a visible context (previously, the warning was printed more than once)
Sat, 08 Jan 2011 17:14:48 +0100 wenzelm misc tuning and comments based on review of Theory_Data, Proof_Data, Generic_Data usage;
Fri, 07 Jan 2011 13:24:09 +0100 boehmes shortened the warning about uninstalled SMT solvers (the additional hint might get obsolete without further notice)
Fri, 07 Jan 2011 09:26:27 +0100 boehmes made SML/NJ happy
Thu, 06 Jan 2011 17:51:56 +0100 boehmes differentiate between local and remote SMT solvers (e.g., "z3" vs. "remote_z3");
Wed, 15 Dec 2010 08:39:24 +0100 boehmes added option to enable trigger inference;
Wed, 15 Dec 2010 08:39:24 +0100 boehmes moved SMT classes and dictionary functions to SMT_Utils
Wed, 15 Dec 2010 08:39:24 +0100 boehmes added option to modify the random seed of SMT solvers
Tue, 07 Dec 2010 14:53:12 +0100 boehmes centralized handling of built-in types and constants;
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)
Fri, 12 Nov 2010 15:56:07 +0100 boehmes look for certificates relative to the theory
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)
less more (0) tip