[PURRS-devel] [Fwd: Re: Problem with CoStLy 0.2]
Roberto Bagnara
bagnara at cs.unipr.it
Tue Nov 19 11:24:38 CET 2002
-------- Original Message --------
Subject: Re: Problem with CoStLy 0.2
Date: Tue, 19 Nov 2002 11:18:37 +0100
From: Markus Neher <markus.neher at math.uni-karlsruhe.de>
To: Roberto Bagnara <bagnara at cs.unipr.it>
CC: Eble, Ingo <ingo.eble at math.uni-karlsruhe.de>
References: <3DDA0E35.2060204 at 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 at cs.unipr.it
More information about the PURRS-devel
mailing list