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 |
Fri, 29 Oct 2010 18:17:06 +0200 | boehmes | clarified error message | file | diff | annotate |
Wed, 27 Oct 2010 08:58:03 +0200 | boehmes | made SML/NJ happy | file | diff | annotate |
Tue, 26 Oct 2010 17:35:51 +0200 | boehmes | capture out-of-memory warnings of Z3 and turn them into proper exceptions; be more precise about SMT solver run-time: return NONE instead of ~1 | file | diff | annotate |
Tue, 26 Oct 2010 11:45:12 +0200 | boehmes | joined setup of SMT solvers in one place; turned Z3-specific options into SMT options (renamed configuration options from z3_* to smt_*); more detailed SMT exception; improved SMT filter interface | file | diff | annotate |