September 2006 - PPL-devel - BUGSENG Mailman

ppl/src LP_Problem.cc
by Roberto Bagnara 10 Sep '06

10 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-10 08:37:38 Modified files: src : LP_Problem.cc Log message: LP_Problem::steepest_edge_entering_index() fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/tests/Octagon frompolyhedron1.cc relatwith ...
by Roberto Bagnara 09 Sep '06

09 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-09 21:53:14 Modified files: tests/Octagon : frompolyhedron1.cc relatwithcons1.cc Log message: Two tests are giving overflow with 8-bit coefficients even if assertions are not enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/frompolyhedron1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relatwithcons1.…

1 0

ppl/tests/Grid asciidumpload1.cc asciidumpload ...
by Enea Zaffanella 09 Sep '06

09 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-09 18:56:37 Modified files: tests/Grid : asciidumpload1.cc asciidumpload3.cc asciidumpload4.cc Log message: Adjusted to match the recent change in ascii dump & load methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/asciidumpload1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/asciidumpload3.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/asciidumpload4.cc.…

1 0

ppl/src Row.cc Linear_Row.cc Grid_Generator.cc ...
by Enea Zaffanella 09 Sep '06

09 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-09 18:55:57 Modified files: src : Row.cc Linear_Row.cc Grid_Generator.cc Congruence.cc Log message: Patched methods for ascii dump&load so as they also manage size information and perform any required allocation/deallocation. 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/Linear_Row.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroo…

1 0

ppl/src LP_Problem.cc
by Roberto Bagnara 09 Sep '06

09 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-09 16:27:00 Modified files: src : LP_Problem.cc Log message: Removed another bug due to assuming that Coefficient is a GMP integer. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/src Checked_Number.inlines.hh
by Roberto Bagnara 09 Sep '06

09 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-09 14:49:52 Modified files: src : Checked_Number.inlines.hh Log message: Added missing \relates commands. Long source lines avoided. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl/src Grid_chdims.cc Grid_simplify.cc checke ...
by Roberto Bagnara 09 Sep '06

09 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-09 14:18:55 Modified files: src : Grid_chdims.cc Grid_simplify.cc checked_ext.inlines.hh checked_float.inlines.hh checked_int.inlines.hh Log message: Little code formatting improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro… 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/checked_ext.inlines.hh.di… 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 Grid.defs.hh Grid_nonpublic.cc
by Roberto Bagnara 09 Sep '06

09 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-09 14:18:25 Modified files: src : Grid.defs.hh Grid_nonpublic.cc Log message: Const-correctness improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0

ppl/src LP_Problem.cc
by Roberto Bagnara 09 Sep '06

09 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-09 14:07:31 Modified files: src : LP_Problem.cc Log message: assert(false) does not provide any real protection and should only be used in efficiency-critical inline functions. Use throw std::runtime_error("PPL internal error") instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/src Grid_nonpublic.cc
by Roberto Bagnara 09 Sep '06

09 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-09 14:01:35 Modified files: src : Grid_nonpublic.cc Log message: Simplified the logic of debugging code in Grid::normalize_divisors(Grid_Generator_System&, Grid_Generator_System&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0