August 2004 - PPL-devel - BUGSENG Mailman

ppl/src AskTell.defs.hh BHRZ03_Certificate.def ...
by Roberto Bagnara 23 Aug '04

23 Aug '04

1 0

ppl/src Makefile.am Row.cc conversion.cc globa ...
by Roberto Bagnara 23 Aug '04

23 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-23 09:53:43 Modified files: src : Makefile.am Row.cc conversion.cc globals.hh Added files: src : globals.inlines.hh Log message: New function void normalize2(const Integer& x, const Integer& y, Integer& nx, Integer& ny). Start moving inline implementations of globals in globals.inlines.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.inlines.hh?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

ppl/src Row.cc conversion.cc
by Roberto Bagnara 23 Aug '04

23 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-23 08:29:54 Modified files: src : Row.cc conversion.cc Log message: Avoid using some temporaries. Avoid calling the same function twice. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/src GenSys.cc Integer.defs.hh Integer.inli ...
by Roberto Bagnara 22 Aug '04

22 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-22 23:54:17 Modified files: src : GenSys.cc Integer.defs.hh Integer.inlines.hh Matrix.cc Polyhedron_nonpublic.cc Polyhedron_widenings.cc Row.cc Log message: New function void sub_mul_assign(Integer& x, const Integer& y, const Integer& z) to efficiently compute x -= y*z. Use add_mul_assign() and sub_mul_assign() when possible. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r…

1 0

ppl/src Determinate.defs.hh
by Roberto Bagnara 22 Aug '04

22 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-22 23:19:55 Modified files: src : Determinate.defs.hh Log message: Spurious friend declarations removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?…

1 0

ppl/src Constraint.defs.hh GenSys.cc Generator ...
by Roberto Bagnara 22 Aug '04

22 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-22 23:18:15 Modified files: src : Constraint.defs.hh GenSys.cc Generator.defs.hh Polyhedron_nonpublic.cc Polyhedron_public.cc Polyhedron_widenings.cc globals.cc globals.hh Log message: Functions const Integer& operator*(const Constraint& c, const Generator& g) and const Integer& reduced_scalar_product(const Constraint& c, const Generator& g) removed. Used void scalar_product_assign(Integer& z, const Row& x, const Row& y) and void reduced_scalar_product_assign(Integer& z, const Row& x, const Row& y) instead. Use void scalar_product_sign(const Row& x, const Row& y) and void reduced_scalar_product_sign(const Row& x, const Row& y) wherever possible. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.cc.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

ppl/src ConSys.cc GenSys.cc Integer.defs.hh In ...
by Roberto Bagnara 22 Aug '04

22 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-22 19:07:02 Modified files: src : ConSys.cc GenSys.cc Integer.defs.hh Integer.inlines.hh Matrix.cc Polyhedron_public.cc Polyhedron_widenings.cc Row.cc Row.defs.hh Row.inlines.hh conversion.cc Log message: Functions const Integer& operator*(const Row& x, const Row& y) and const Integer& reduced_scalar_product(const Row& x, const Row& y) removed. New functions void scalar_product_assign(Integer& z, const Row& x, const Row& y) and void reduced_scalar_product_assign(Integer& z, const Row& x, const Row& y) provide the same functionality, but without (explicitely) using temporaries. New functions int scalar_product_sign(const Row& x, const Row& y) and int reduced_scalar_product_sign(const Row& x, const Row& y) return the sign of the (reduced) scalar product of the given arguments. New function void add_mul_assign(Integer& x, const Integer& y, const Integer& z) to efficiently compute x += y*z. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/src GenSys.cc Generator.cc Init.cc Matrix. ...
by Roberto Bagnara 22 Aug '04

22 Aug '04

1 0

w3ppl/htdocs/About About.raw
by Enea Zaffanella 22 Aug '04

22 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-22 17:56:19 Modified files: htdocs/About : About.raw Log message: Corrected a mismatched parenthesis and added a link to our degree in Computer Science. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff…

1 0

ppl/src GenSys.cc Generator.cc Init.cc Matrix. ...
by Roberto Bagnara 22 Aug '04

22 Aug '04

1 0