November 2005 - PPL-devel - BUGSENG Mailman

ppl/src Grid_public.cc
by Matthew Mundell 23 Nov '05

23 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-23 19:12:48 Modified files: src : Grid_public.cc Log message: In add_recycled_generators minimize via update_generators instead of via minimize. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_public.cc Grid_nonpublic.cc
by Matthew Mundell 23 Nov '05

23 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-23 18:37:44 Modified files: src : Grid_public.cc Grid_nonpublic.cc Log message: In add_recycled_generators_and_minimize minimize via update_generators and update_congruences instead of via minimize. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0

ppl/src Congruence_System.defs.hh
by Matthew Mundell 23 Nov '05

23 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-23 17:43:49 Modified files: src : Congruence_System.defs.hh Log message: Make has_linear_equalities public. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh…

1 0

ppl/src Checked_Number.inlines.hh
by Matthew Mundell 23 Nov '05

23 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-23 17:41:52 Modified files: src : Checked_Number.inlines.hh Log message: Update policy ROUND_DEFAULT to ROUND_DEFAULT_FUNCTION. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl/src Grid_public.cc Grid_nonpublic.cc
by Matthew Mundell 23 Nov '05

23 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-23 17:33:17 Modified files: src : Grid_public.cc Grid_nonpublic.cc Log message: Use Generator::is_line_or_ray instead of Generator::is_point. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0

ppl/src Linear_Expression.defs.hh
by Matthew Mundell 23 Nov '05

23 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-23 17:02:10 Modified files: src : Linear_Expression.defs.hh Log message: Declare Congruence_System a friend. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh…

1 0

ppl/src Generator_System.cc
by Matthew Mundell 23 Nov '05

23 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-23 17:01:39 Modified files: src : Generator_System.cc Log message: Include compiler.hh. Resolve two merge conflicts. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?…

1 0

ppl/src Scalar_Products.types.hh Scalar_Produc ...
by Matthew Mundell 23 Nov '05

23 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-23 17:00:25 Modified files: src : Scalar_Products.types.hh Scalar_Products.inlines.hh Scalar_Products.defs.hh Scalar_Products.cc Grid_public.cc Grid_nonpublic.cc Generator.defs.hh Congruence_System.cc Congruence.defs.hh Log message: Move the grid scalar product functions into class Scalar_Products. Add class Topology_Adjusted_Scalar_Product_Assign for Congruence_System::satisfies_all_congruences(g). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Scalar_Products.types.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Scalar_Products.inlines.h… 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.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv… 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/Congruence_System.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c…

1 0

ppl ./CREDITS ./NEWS ./README.configure ./STAN ...
by Roberto Bagnara 23 Nov '05

23 Nov '05

1 0

ppl/src BD_Shape.inlines.hh
by Enea Zaffanella 23 Nov '05

23 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-23 12:12:17 Modified files: src : BD_Shape.inlines.hh Log message: Corrected an ambiguous call problem when coefficients are checked_int64. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0