coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Kirill Taran <kirill.t256 AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] increasing stack size
- Date: Wed, 12 Mar 2014 13:24:54 +0400
Hello.
I have a long computation which fails with "Stack overflow."
Is there way to increase stack size?
I have a long computation which fails with "Stack overflow."
Is there way to increase stack size?
Sincerely,
Kirill Taran
Kirill Taran
- [Coq-Club] increasing stack size, Kirill Taran, 03/12/2014
Archive powered by MHonArc 2.6.18.