June 2008 - PPL-devel - BUGSENG Mailman

ppl/src Linear_System.cc
by Enea Zaffanella 24 Jun '08

24 Jun '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-06-24 20:46:22 Modified files: src : Linear_System.cc Log message: In methods normalize(), sign_normalize() and strong_normalize(), do not reset the sortedness flag if the number of rows is less than or equal to one. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs…

1 0

ppl/src Interval.inlines.hh
by Abramo Bagnara 14 Jun '08

14 Jun '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-06-14 23:25:29 Modified files: src : Interval.inlines.hh Log message: Fixed typo. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?…

1 0

ppl/src Interval.inlines.hh
by Abramo Bagnara 14 Jun '08

14 Jun '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-06-14 16:41:55 Modified files: src : Interval.inlines.hh Log message: Forgotten fixes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?…

1 0

ppl/src Boundary.defs.hh
by Abramo Bagnara 14 Jun '08

14 Jun '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-06-14 16:17:57 Modified files: src : Boundary.defs.hh Log message: Added boundary complement. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs…

1 0

ppl/src Interval.inlines.hh
by Abramo Bagnara 14 Jun '08

14 Jun '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-06-14 16:17:28 Modified files: src : Interval.inlines.hh Log message: Untested attempt to implement interval difference. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?…

1 0

ppl/src Grid_public.cc Pointset_Powerset.cc Po ...
by Patricia Hill 10 Jun '08

10 Jun '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-06-10 11:37:47 Modified files: src : Grid_public.cc Pointset_Powerset.cc Pointset_Powerset.defs.hh Log message: In Grid::join_assign_if_exact(), added an assertion. In Pointset_Powerset.defs.hh corrected and improved brief description for approximate_partition(). In Pointset_Powerset.cc, in approximate_partition(), ensure congruence system of grid q is minimized before copying; in approximate_partition_aux(), now there is no need to minimize the congruence system here. 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/Pointset_Powerset.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh…

1 0

ppl/src Grid_chdims.cc
by Patricia Hill 10 Jun '08

10 Jun '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-06-10 09:42:22 Modified files: src : Grid_chdims.cc Log message: In Grid::fold_space_dimensions(), emphasize the fact tha Grid::generators() is only called for its side-effects. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro…

1 0

ppl/src Grid_chdims.cc
by Patricia Hill 10 Jun '08

10 Jun '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-06-10 09:31:43 Modified files: src : Grid_chdims.cc Log message: Efficiency bug fixed in fold_space_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro…

1 0

Re: [PPL-devel] Intend to take this one
by Roberto Bagnara 09 Jun '08

09 Jun '08

Michael Tautschnig wrote: > I'd be willing to package PPL for Debian, even more so as most of the work has > already been done by the developers themselves. Dear Michael, this is great news! The project "packaging PPL for Debian" was frozen because our group does not currently have an expert in Debian packaging. If you can guide us, we could finally complete the job. > One question remains though: Which version to package? 0.9 seems to be pretty > old already, but neither the latest CVS snapshot nor the latest release package > succeed in building (primiarily because of problems when building the docs). > Roberto, could you gives me some hints on that one? PPL 0.10 is not yet ready for release. One of the problems is due to the fact that PPL 0.10 is not currently suitable for binary distribution. In fact, at library startup the library needs to know, for IA32, whether the CPU supports SSE, whether it supports SSE2, whether it supports 387. Currently this selection is only possible at configure time with the option --enable-fpmath which can take the following values: sse, sse2, 387, sse+387, sse2+387. We have still not decided how best to implement this test at runtime. Until that is done, a binary release of what will become PPL 0.10 will not be possible for IA32. Other things are not yet ready in PPL 0.10 (the implementation of intervals and boxes are missing the approximated set difference operator, for instance). So, I think that packaging PPL 0.9 is currently the right thing to do. Most applications we know of are indeed using that version. When PPL 0.10 is officially released, with your help (I hope) we will sort out the additional packaging issues (PPL 0.10 has new foreign language interfaces for OCaml and Java, for instance). We look forward to hearing from you. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 3

ppl/src MIP_Problem_GLPK.icc
by Andrea Cimino 08 Jun '08

08 Jun '08

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2008-06-08 20:44:44 Modified files: src : MIP_Problem_GLPK.icc Log message: Solved a bug when computing the bounds to pass to the GLPK exact solver. This commit makes 'mippproblem3' test pass. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem_GLPK.icc.diff…

1 0