September 2005 - PPL-devel - BUGSENG Mailman

ppl CREDITS
by Patricia Hill 20 Sep '05

20 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2005-09-20 15:38:45 Modified files: . : CREDITS Log message: Added Matthew Mundell as a contributor. Added the Royal Society project and the EPSRC project to the list of supporting projects. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1…

1 0

ppl/src checked_float.inlines.hh checked_int.i ...
by Abramo Bagnara 20 Sep '05

20 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-09-20 13:46:07 Modified files: src : checked_float.inlines.hh checked_int.inlines.hh Log message: Prepare inexact only when needed. Use new names for gcd and lcm. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

ppl/src checked_ext.inlines.hh
by Abramo Bagnara 20 Sep '05

20 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-09-20 13:44:34 Modified files: src : checked_ext.inlines.hh Log message: Attempt to reduce code duplicate using explicit goto. Removed FIXME from add_mul_ext and sub_mul_ext. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.inlines.hh.di…

1 0

ppl/src checked.inlines.hh
by Abramo Bagnara 20 Sep '05

20 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-09-20 13:42:28 Modified files: src : checked.inlines.hh Log message: Removed fixme and choosen a better name for functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c…

1 0

ppl/src Row.cc
by Roberto Bagnara 20 Sep '05

20 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-20 13:24:29 Modified files: src : Row.cc Log message: Use the ternary version of gcd_assign() so as to gain on checked numbers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r…

1 0

ppl/src checked.cc
by Matthew Mundell 20 Sep '05

20 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-20 11:00:29 Modified files: src : checked.cc Log message: In parse_number1 move the maximum remainder calculation into a variable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.cc.diff?cvsroot=p…

1 0

ppl/src Polyhedron_public.cc
by Roberto Bagnara 20 Sep '05

20 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-20 09:39:58 Modified files: src : Polyhedron_public.cc Log message: Unwanted inclusion removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src Generator.defs.hh Linear_Expression.de ...
by Roberto Bagnara 20 Sep '05

20 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-20 08:12:31 Modified files: src : Generator.defs.hh Linear_Expression.defs.hh Log message: Friend declarations fixed. Patches: 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/Linear_Expression.defs.hh…

1 0

ppl/src scalar_products.inlines.hh
by Roberto Bagnara 20 Sep '05

20 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-20 08:11:07 Modified files: src : scalar_products.inlines.hh Log message: Fixed homogeneous_scalar_product_assign(Coefficient&, const Linear_Expression&, const Generator&) and homogeneous_scalar_product_sign(const Linear_Expression&, const Generator&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.inlines.h…

1 0

ppl/src Generator.defs.hh Linear_Expression.de ...
by Roberto Bagnara 19 Sep '05

19 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-19 23:33:59 Modified files: src : Generator.defs.hh Linear_Expression.defs.hh Polyhedron_nonpublic.cc scalar_products.defs.hh scalar_products.inlines.hh Log message: Another twist at reducing the dependency from friend class declarations. Patches: 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/Linear_Expression.defs.hh… 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/scalar_products.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.inlines.h…

1 0