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.
more balanced AFP partitioning;
authorwenzelm
Thu, 08 Mar 2018 11:20:45 +0100
changeset 67781 a8a3f73623e7
parent 67780 7655e6369c9f
child 67782 7e223a05e6d8
more balanced AFP partitioning;
src/Pure/Admin/afp.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/afp.scala	Wed Mar 07 19:02:22 2018 +0100
+++ b/src/Pure/Admin/afp.scala	Thu Mar 08 11:20:45 2018 +0100
@@ -85,7 +85,7 @@
 
   /* partition sessions */
 
-  val force_partition1: List[String] = List("Category3")
+  val force_partition1: List[String] = List("Category3", "Network_Security_Policy_Verification")
 
   def partition(n: Int): List[String] =
     n match {
isabelle