[PURRS-devel] purrs/src Expr.cc Expr.defs.hh
Andrea Pescetti
pescetti at cs.unipr.it
Thu Mar 3 23:06:08 CET 2005
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: pescetti at cs.unipr.it 2005-03-03 23:06:08
Modified files:
src : Expr.cc Expr.defs.hh
Log message:
max() is now smarter and can compare expressions under the
assumption that symbols represent nonnegative numbers.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=purrs&r1=1.67&r2=1.68
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.defs.hh.diff?cvsroot=purrs&r1=1.121&r2=1.122
More information about the PURRS-devel
mailing list