-------- Original Message -------- Subject: Re: Problem with CoStLy 0.2 Date: Tue, 19 Nov 2002 11:18:37 +0100 From: Markus Neher <markus.neher@math.uni-karlsruhe.de> To: Roberto Bagnara <bagnara@cs.unipr.it> CC: Eble, Ingo <ingo.eble@math.uni-karlsruhe.de> References: <3DDA0E35.2060204@cs.unipr.it> Dear Roberto, thank you for your email. We'll check the problem and will hopefully find a solution to it. Best regards, Markus
Dear Markus and Ingo,
we have a problem with CoStLy 0.2. Basically, pow(x, y) throws an exception when we believe it should not. Here is what happens. First, we invoke CoStLy's pow():
-- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it