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.
added more judgement day provers
authorkrauss
Thu, 24 Mar 2011 16:39:37 +0100
changeset 42095 a8598661d5eb
parent 42094 e6867e9c6d10
child 42097 3717095e0c16
added more judgement day provers
Admin/mira.py file | annotate | diff | comparison | revisions 
--- a/Admin/mira.py	Thu Mar 24 15:29:31 2011 +0100
+++ b/Admin/mira.py	Thu Mar 24 16:39:37 2011 +0100
@@ -251,7 +251,7 @@
 
 # Judgement Day configurations
 
-judgement_day_provers = ('e', 'spass', 'vampire')
+judgement_day_provers = ('e', 'spass', 'vampire', 'z3', 'cvc3', 'yices')
 
 def judgement_day(base_path, theory, opts, env, case, paths, dep_paths, playground):
     """Judgement Day regression suite"""
isabelle