Re: [isabelle-dev] Failure and slowdown of JinjaThreads (due to merge desaster?)

2018-05-15 Thread Lawrence Paulson
> On 15 May 2018, at 14:51, Makarius wrote: > > Maybe also a campaign to get rid of unnecessary syntax ambiguity. Totally. Most of the time it is completely unnecessary ___ isabelle-dev mailing list isabelle-...@in.tum.de

Re: [isabelle-dev] Failure and slowdown of JinjaThreads (due to merge desaster?)

2018-05-15 Thread Makarius
On 15/05/18 14:31, Fabian Immler wrote: > > I did move FuncSet back to HOL-Library in isabelle/2af1f142f855 and > afp/5d961e9f8536. > It seems like this improved the performance a lot: > > isabelle/2af1f142f855 > afp/5d961e9f8536 Great, I have seen already 2af1f142f855 "move FuncSet back to

Re: [isabelle-dev] Failure and slowdown of JinjaThreads (due to merge desaster?)

2018-05-15 Thread Fabian Immler
> Am 14.05.2018 um 13:24 schrieb Fabian Immler : > > I did notice that those changes caused issues with timeouts in some AFP > sessions, and simply "fixed" those on the spot (e.g., the ones in afp/85324e3 > and afp/2ff575e hinted at problems caused by incorporating syntax for

Re: [isabelle-dev] Failure and slowdown of JinjaThreads (due to merge desaster?)

2018-05-14 Thread Fabian Immler
> Am 12.05.2018 um 00:27 schrieb Makarius : > > Isabelle/fad29d2a17a5 > parent: 68072:493b818e8e10 > parent: 68070:8dc792d440b9 > user:immler > date:Thu May 03 15:07:14 2018 +0200 > merged; resolved conflicts manually (esp. lemmas that have been

Re: [isabelle-dev] Failure and slowdown of JinjaThreads (due to merge desaster?)

2018-05-12 Thread Makarius
On 12/05/18 00:27, Makarius wrote: > Here is recent timing information for JinjaThreads, which indicates that > it has suffered recently: > > https://isabelle.sketis.net/devel/build_status/AFP_slow_64bit_6_threads/index.html#session_JinjaThreads > > I.e. it stopped working, and came back to live

[isabelle-dev] Failure and slowdown of JinjaThreads (due to merge desaster?)

2018-05-11 Thread Makarius
Here is recent timing information for JinjaThreads, which indicates that it has suffered recently: https://isabelle.sketis.net/devel/build_status/AFP_slow_64bit_6_threads/index.html#session_JinjaThreads I.e. it stopped working, and came back to live much slower. Here are some relevant