November 2005 - PPL-devel - BUGSENG Mailman

ppl/src DB_Matrix.defs.hh DB_Matrix.inlines.hh
by Roberto Bagnara 15 Nov '05

15 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-15 19:25:42 Modified files: src : DB_Matrix.defs.hh DB_Matrix.inlines.hh Log message: New functions euclidean_distance_assign() and l_infinity_distance_assign(). Along with rectilinear_distance_assign() they are all implemented in terms of the new, generalized function l_m_distance_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.inlines.hh.diff…

1 0

ppl/src DB_Matrix.inlines.hh
by Roberto Bagnara 15 Nov '05

15 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-15 18:22:12 Modified files: src : DB_Matrix.inlines.hh Log message: Several improvements to template <typename Temp, typename To, typename T> inline bool rectilinear_distance_assign(Checked_Number<To, Extended_Number_Policy>& r, const DB_Matrix<T>& x, const DB_Matrix<T>& y, const Rounding_Dir dir, Temp& tmp0, Temp& tmp1, Temp& tmp2). (Joint work with Abramo Bagnara.) Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.inlines.hh.diff…

1 0

ppl/src simplex.cc
by Enea Zaffanella 15 Nov '05

15 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-15 18:00:22 Modified files: src : simplex.cc Log message: The steepest-edge technique should be enabled by default (it was disabled by error in the last commit). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=p…

1 0

ppl/src Congruence.inlines.hh Congruence.cc
by Matthew Mundell 15 Nov '05

15 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-15 17:35:52 Modified files: src : Congruence.inlines.hh Congruence.cc Log message: Make is_trivial_true and is_trivial_false real (vs inline) methods. Patches: 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.cc.diff?cvsroo…

1 0

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

15 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-15 17:19:52 Modified files: src : Generator_System.cc Log message: "Use" parameter check_normalization in method `insert'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?…

1 0

ppl/src Grid_widenings.cc Grid_simplify.cc Gri ...
by Matthew Mundell 15 Nov '05

15 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-15 17:17:44 Modified files: src : Grid_widenings.cc Grid_simplify.cc Grid_public.cc Grid_minimize.cc Grid_Certificate.cc Log message: Normalize moduli in the congruence system simplify method. Clean a few comments. In the zero dimension cases in add_recycled_generators and add_recycled_generators_and_minimize only set zero dimension universe when the grid is empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cv… 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_minimize.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Certificate.cc.diff?…

1 0

ppl/src Grid.defs.hh
by Matthew Mundell 15 Nov '05

15 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-15 17:10:01 Modified files: src : Grid.defs.hh Log message: Doc the minimized_generators() parameter conversion. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 15 Nov '05

15 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-15 16:20:20 Modified files: src : BD_Shape.inlines.hh Log message: Statically allocate temporaries in template <typename Temp, typename To, typename T> bool rectilinear_distance_assign(Checked_Number<To, Extended_Number_Policy>& r, const BD_Shape<T>& x, const BD_Shape<T>& y, const Rounding_Dir dir). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src checked_ext.inlines.hh
by Abramo Bagnara 15 Nov '05

15 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-11-15 15:58:30 Modified files: src : checked_ext.inlines.hh Log message: Added missing argument. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.inlines.hh.di…

1 0

ppl/tests/Grid Makefile.am mingenerators1.cc
by Matthew Mundell 15 Nov '05

15 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-15 15:38:22 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : mingenerators1.cc Log message: Add mingenerators1, which tests Grid::minimized_generators(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/mingenerators1.cc?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0