May 2006 - PPL-devel - BUGSENG Mailman

ppl/src Grid_Status.cc
by Matthew Mundell 08 May '06

08 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-08 15:32:17 Modified files: src : Grid_Status.cc Log message: Drop the printing of the final trailing space from method ascii_dump. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Status.cc.diff?cvsro…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 08 May '06

08 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-08 15:30:14 Modified files: src : Grid_public.cc Log message: Update time_elapse_assign to use Grid_Generator::set_is_parameter() instead of multiple calls to Grid_Generator::set_divisor. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_Generator.defs.hh Grid_Generator.cc
by Matthew Mundell 08 May '06

08 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-08 15:28:27 Modified files: src : Grid_Generator.defs.hh Grid_Generator.cc Log message: Add set_is_parameter(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.cc.diff?cv…

1 0

ppl/src Grid_Generator_System.inlines.hh Grid_ ...
by Matthew Mundell 08 May '06

08 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-08 15:27:30 Modified files: src : Grid_Generator_System.inlines.hh Grid_Generator_System.cc Log message: Tailor the ascii_dump and ascii_load methods for grids. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.inl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.cc.…

1 0

ppl/src Octagonal_Shape.templates.hh
by Barbara Quartieri 08 May '06

08 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-05-08 14:05:13 Modified files: src : Octagonal_Shape.templates.hh Log message: Avoid repeated computations in Octagonal_Shape<T>::generalized_affine_image(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src Linear_Expression.defs.hh Congruence.i ...
by Matthew Mundell 08 May '06

08 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-08 13:28:07 Modified files: src : Linear_Expression.defs.hh Congruence.inlines.hh Congruence.defs.hh Congruence.cc Log message: Add create(le,le), create(le,n) and create(n,le) to Congruence. Update the Congruence-returning %= operators to use the new create methods instead of requiring the friend relations between these operators and the Congruence and Linear_Expression classes. Patches: 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/Congruence.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroo…

1 0

ppl/src Grid_simplify.cc Grid_public.cc Grid_n ...
by Matthew Mundell 05 May '06

05 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-05 19:46:22 Modified files: src : Grid_simplify.cc Grid_public.cc Grid_nonpublic.cc Grid_conversion.cc Grid.templates.hh Congruence_System.cc Congruence.cc Log message: Update many loops to loop down towards a constant instead of up towards a value in a variable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs… 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/Grid_conversion.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.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.cc.diff?cvsroo…

1 0

ppl/src Octagonal_Shape.defs.hh Octagonal_Shap ...
by Barbara Quartieri 05 May '06

05 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-05-05 16:51:25 Modified files: src : Octagonal_Shape.defs.hh Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh Log message: Renamed the parameter `v' to `v_id' in Octagonal_Shape<T>::forget_binary_octagonal_constraints(). `v_id' is the index of variable whose constraints are forgotten, `v' was the index of rows/columns on `v_id' in the octagon, instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src Octagonal_Shape.defs.hh Octagonal_Shap ...
by Barbara Quartieri 05 May '06

05 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-05-05 16:26:45 Modified files: src : Octagonal_Shape.defs.hh Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh Log message: Renamed the parameter `v' to `v_id' in Octagonal_Shape<T>::forget_all_octagonal_constraints(). `v_id' is the index of variable whose constraints are forgotten, `v' was the index of rows/columns on `v_id' in the octagon, instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.templates.hh
by Elena Mazzi 05 May '06

05 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-05-05 16:21:54 Modified files: src : BD_Shape.defs.hh BD_Shape.templates.hh Log message: Renamed some parameters in helper functions for the computation of affine relations: `pos_sum' and `neg_sum' renamed as `ub_v' and minus_lb_v'. Added some assertions in these helper funcions: - `sc_den' should be positive; - `ub_v' and `minus_lb_v' shouldn't be equal to plus infinity. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0