[isabelle-dev] HOL-Proofs broken?

Makarius makarius at sketis.net
Tue Oct 6 22:37:21 CEST 2015


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


More information about the isabelle-dev mailing list