Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/HOL/Tools/SMT/smt_failure.ML
Thu, 28 Aug 2014 00:40:38 +0200
blanchet
renamed new SMT module from 'SMT2' to 'SMT'
file
|
diff
|
annotate
|
base
Tue, 30 Nov 2010 18:22:43 +0100
boehmes
split up Z3 models into constraints on free variables and constant definitions;
file
|
diff
|
annotate
Mon, 15 Nov 2010 22:23:28 +0100
boehmes
renamed SMT failure: Abnormal_Termination is indeed more appropriate than Solver_Crashed
file
|
diff
|
annotate
Fri, 12 Nov 2010 17:28:43 +0100
boehmes
check the return code of the SMT solver and raise an exception if the prover failed
file
|
diff
|
annotate
Fri, 12 Nov 2010 15:56:10 +0100
boehmes
turned SMT counterexamples into verbose messages (they had been swallowed before, following the state of smt_trace -- which is off by default), because they might be useful for the user
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
less
more
(0)
tip