[isabelle-dev] HOL-IMP very slow
Dmitriy Traytel
traytel at in.tum.de
Wed Feb 12 16:40:32 CET 2014
Should be fine again (or at least better) with b445c39cc7e9. Thanks for
the notification.
Dmitriy
Am 12.02.2014 16:28, schrieb Makarius:
> Tests about slowness take long, but here is a presumably good point in
> the published history:
>
> Isabelle/db691cc79289
> Finished Pure (0:00:10 elapsed time, 0:00:12 cpu time, factor 1.20)
> Finished HOL (0:02:13 elapsed time, 0:05:56 cpu time, factor 2.67)
> Finished HOL-IMP (0:01:58 elapsed time, 0:07:28 cpu time, factor 3.79)
>
> It probably corresponds to AFP/08874371d79e.
>
> This might help someone to detach for a few hours or days, until the
> public history is back to normal and in a testable state.
>
>
> Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>
More information about the isabelle-dev
mailing list