Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Sledgehammer stops working sometimes


view this post on Zulip Email Gateway (Aug 22 2022 at 16:44):

From: Kawin Worrasangasilpa <kw448@cam.ac.uk>
Hi,

Lately, I have been facing a problem that sledgehammer does not respond but
shows that it is running sometimes. I don't know this problem is a kind of
version 2017's bug or not, but I think it is not. This is because I faced
it more often since last month with version 2016, so I changed to 2017
hoping it would help. Could I ask whether there are any settings or
checking processes that I can do to sort this out?

Thanks,
Kawin

view this post on Zulip Email Gateway (Aug 22 2022 at 16:44):

From: Makarius <makarius@sketis.net>
What is your operating system? Did you change anything there recently?
Updates etc.

Makarius


Last updated: Mar 29 2024 at 12:28 UTC