[isabelle-dev] Splitting of Iptables_Semantics_Examples

2017-06-08 Thread Lars Hupel
Since AFP/b56d94d, the big session Iptables_Semantics_Examples is split into four smaller sessions. This poses a problem for the nightly job, which is running with -j1 and threads=8. The parallelism in the four smaller sessions is much less than the parallelism (factor 3) in the previous big

Re: [isabelle-dev] Splitting of Iptables_Semantics_Examples

2017-06-08 Thread Makarius
On 08/06/17 16:14, Lars Hupel wrote: > Since AFP/b56d94d, the big session Iptables_Semantics_Examples is split > into four smaller sessions. For the record this is the changeset we are talking about: changeset: 8000:b56d94d10976 user:wenzelm date:Tue Jun 06 21:43:58 2017 +0200

Re: [isabelle-dev] Splitting of Iptables_Semantics_Examples

2017-06-08 Thread Makarius
On 08/06/17 17:09, Lars Hupel wrote: >> That is the result of spending 1-2 days trying to figure out where the >> really big parts of that session are, and what are the problems with >> polyml-5.7 -- if these don't get resolved we are in a very bad >> situation, sitting on a dead branch with the