CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2002-04-02 16:43:56
Modified files:
tests : exceptions1.cc
Log message:
Added a test to show when an exception is thrown in the function
convex_difference_assign(ph).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvs…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2002-04-02 08:07:40
Modified files:
src : PolyBase.cc
Log message:
PolyBase::limited_widening_assign() fixed: it was not checking the
return value of PolyBase::update_generators().
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…