coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "John Wiegley" <johnw AT newartisans.com>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] coq hangs on setoid_replace
- Date: Wed, 17 Dec 2014 20:24:29 -0600
- Organization: New Artisans LLC
>>>>> Vadim Zaliva
>>>>> <vzaliva AT cmu.edu>
>>>>> writes:
> I am trying to do seemingly straightforward rewriting using 'setoid_replace'
> but this tactics call hangs indefinitely without giving any error
> messages. Are there are any recommended ways to debug/fix this?
Maybe "Set Default Timeout 1" and then see if it fails and tells you why?
John
- [Coq-Club] coq hangs on setoid_replace, Vadim Zaliva, 12/18/2014
- Re: [Coq-Club] coq hangs on setoid_replace, John Wiegley, 12/18/2014
- Re: [Coq-Club] coq hangs on setoid_replace, Vadim Zaliva, 12/18/2014
- Re: [Coq-Club] coq hangs on setoid_replace, John Wiegley, 12/18/2014
Archive powered by MHonArc 2.6.18.