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.
proper condition: z3 could be absent, e.g. on arm64-linux;
authorwenzelm
Mon, 10 May 2021 14:28:37 +0200
changeset 73654 6e85281177df
parent 73653 d9823224fcfe
child 73655 26a1d66b9077
proper condition: z3 could be absent, e.g. on arm64-linux;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Mon May 10 12:23:30 2021 +0200
+++ b/src/HOL/ROOT	Mon May 10 14:28:37 2021 +0200
@@ -953,9 +953,10 @@
     Boogie
     SMT_Examples
     SMT_Word_Examples
-    SMT_Tests
+    SMT_Examples_Verit
     SMT_Tests_Verit
-    SMT_Examples_Verit
+  theories [condition = Z3_SOLVER]
+    SMT_Tests
 
 session "HOL-SPARK" in "SPARK" = HOL +
   sessions
isabelle