Tue, 03 Nov 2009 14:51:55 +0100 |
boehmes |
added a specific SMT exception captured by smt_tac (prevents the SMT method from failing with an exception),
|
file |
diff |
annotate
|
Thu, 29 Oct 2009 10:52:05 +0100 |
boehmes |
simplified method syntax of "smt",
|
file |
diff |
annotate
|
Tue, 20 Oct 2009 14:22:02 +0200 |
boehmes |
eliminated extraneous wrapping of public records,
|
file |
diff |
annotate
|
Tue, 20 Oct 2009 10:11:30 +0200 |
boehmes |
added proof reconstructon for Z3,
|
file |
diff |
annotate
|
Thu, 15 Oct 2009 21:28:39 +0200 |
wenzelm |
normalized aliases of Output operations;
|
file |
diff |
annotate
|
Thu, 15 Oct 2009 16:15:22 +0200 |
wenzelm |
sort_strings (cf. Pure/library.ML);
|
file |
diff |
annotate
|
Thu, 15 Oct 2009 15:45:50 +0200 |
wenzelm |
exported File.shell_quote;
|
file |
diff |
annotate
|
Mon, 21 Sep 2009 16:06:52 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 21 Sep 2009 11:15:21 +0200 |
boehmes |
corrected remote SMT solver invocation
|
file |
diff |
annotate
|
Fri, 18 Sep 2009 18:13:19 +0200 |
boehmes |
added new method "smt": an oracle-based connection to external SMT solvers
|
file |
diff |
annotate
|