19 Feb
2003
19 Feb
'03
8:05 a.m.
CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-02-19 09:05:58
Modified files: src : compute_bounds.cc
Log message: Fixed a bug in the computation of the upper bound in the function `bounds_for_exp_function()'.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?c...