| Thu, 24 Mar 2011 17:49:27 +0100 |
blanchet |
added "nitrox" tool (Nitpick for first-order TPTP problems) to components
|
changeset |
files
|
| Thu, 24 Mar 2011 17:49:27 +0100 |
blanchet |
made one more Metis example use the new Skolemizer
|
changeset |
files
|
| Thu, 24 Mar 2011 17:49:27 +0100 |
blanchet |
Metis examples use the new Skolemizer to test it
|
changeset |
files
|
| Thu, 24 Mar 2011 17:49:27 +0100 |
blanchet |
new version of Metis 2.3 (29 Dec. 2010)
|
changeset |
files
|
| Thu, 24 Mar 2011 17:49:27 +0100 |
blanchet |
remove newly added wrong logic
|
changeset |
files
|
| Thu, 24 Mar 2011 17:49:27 +0100 |
blanchet |
more precise failure reporting in Sledgehammer/SMT
|
changeset |
files
|
| Thu, 24 Mar 2011 17:49:27 +0100 |
blanchet |
avoid evil "export_without_context", which breaks if there are local "fixes"
|
changeset |
files
|
| Thu, 24 Mar 2011 17:49:27 +0100 |
blanchet |
more robust handling of variables in new Skolemizer
|
changeset |
files
|
| Thu, 24 Mar 2011 17:10:23 +0100 |
haftmann |
merged
|
changeset |
files
|
| Thu, 24 Mar 2011 17:10:13 +0100 |
haftmann |
added subsection on Scala specialities
|
changeset |
files
|
| Thu, 24 Mar 2011 16:39:37 +0100 |
krauss |
added more judgement day provers
|
changeset |
files
|
| Thu, 24 Mar 2011 15:29:31 +0100 |
bulwahn |
allowing special set comprehensions in values command; adding an example for special set comprehension in values
|
changeset |
files
|