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 |