Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
disable TFF for Vampire 1.8 until they've fixed the soundness issues and it's back on SystemOnTPTP
authorblanchet
Fri, 26 Aug 2011 01:18:48 +0200
changeset 44507 e08158671ef4
parent 44506 7e3913e70846
child 44508 5438d88b2cb7
child 44510 5e580115dfcd
disable TFF for Vampire 1.8 until they've fixed the soundness issues and it's back on SystemOnTPTP
src/HOL/Tools/ATP/atp_systems.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/atp_systems.ML	Fri Aug 26 01:14:49 2011 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Fri Aug 26 01:18:48 2011 +0200
@@ -304,8 +304,10 @@
 
 (* Vampire *)
 
+(* Vampire 1.8 has TFF support, but it's buggy and therefore disabled on
+   SystemOnTPTP. *)
 fun is_old_vampire_version () =
-  string_ord (getenv "VAMPIRE_VERSION", "1.8") = LESS
+  string_ord (getenv "VAMPIRE_VERSION", "1.8") <> GREATER
 
 val vampire_config : atp_config =
   {exec = ("VAMPIRE_HOME", "vampire"),
isabelle