On Tue, 6 Oct 2015, Makarius wrote:
On Tue, 6 Oct 2015, Dmitriy Traytel wrote:
As a data point: when testing 8d40ddaa427f I could build “HOL-Proofs” in
about 17 minutes.
This conforms to my expectations: HOL-Proofs is slow, but works.
I am presently on a side-branch starting from 5b5656a63bd6, and that works as
well: https://bitbucket.org/makarius/isabelle/commits/1727d7d14d76
So the main candidates for bad changesets are: ebf296fe88d7, 2ebdd603cd71.
More results on macbroy2:
5b5656a63bd6
Finished HOL-Proofs (0:18:14 elapsed time, 0:49:28 cpu time, factor 2.71)
2ebdd603cd71
Building HOL-Proofs ...
Warning - Unable to increase stack - interrupting thread
Warning - Unable to increase stack - interrupting thread
*** Interrupt
Makarius_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
