March 2002 - PPL-devel - BUGSENG Mailman

ppl/src PolyBase.cc
by Enea Zaffanella 24 Mar '02

24 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-24 10:15:57 Modified files: src : PolyBase.cc Log message: Patched method convex_hull_assign(). The error (not correctly handling the sorting of gen_sys rows for the parameter y) was NOT related to the changes done in the strict branch. Changed (detailed) doxygen comments for the methods obtain_sorted_constraints() and obtain_sorted_generators(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 23 Mar '02

23 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-23 19:05:29 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Finished the implementation of const iterators for constraints. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl config.h.in configure.ac
by Roberto Bagnara 23 Mar '02

23 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-23 14:06:00 Modified files: . : config.h.in configure.ac Log message: Support C compilers that do not support `const' and/or `inline'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.h.in.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 23 Mar '02

23 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-23 14:03:05 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Started interfacing ConSys::const_iterator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl/interfaces/Prolog/GNU Makefile.am gp_clpq. ...
by Roberto Bagnara 23 Mar '02

23 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-23 14:00:29 Modified files: interfaces/Prolog/GNU: Makefile.am gp_clpq.pl ppl_gprolog.cc Log message: The GNU Prolog interface is finally operational. The problem was that a GNU Prolog integer is not wide enough to hold a memory address: now memory addresses are represented by terms of the form `[u1|u2]' where `u1' and `u2' are GNU Prolog integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gp_clpq… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr…

1 0

ppl/interfaces/Prolog track_allocation.hh
by Roberto Bagnara 23 Mar '02

23 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-23 13:58:37 Modified files: interfaces/Prolog: track_allocation.hh Log message: This was always commented out due to a typo. Missing qualification added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/track_alloc…

1 0

ppl/src ConSys.cc
by Enea Zaffanella 22 Mar '02

22 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-22 20:18:13 Modified files: src : ConSys.cc Log message: Method satisfies_all_constraints(g) reimplemented to work with NNC polyhedra and to correctly deal with potential (legal) topology mismatches. As a consequence, now PolyBase::relation_with(g) also works for NNC polyhedra and/or an NNC generator parameter g. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…

1 0

ppl/src PolyBase.cc
by Enea Zaffanella 22 Mar '02

22 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-22 20:15:40 Modified files: src : PolyBase.cc Log message: The inclusion operator<= re-implemented: - using the new scalaro product operator ^ when appropriate; - changed the order of the two nested loops to factor out some tests that were repeated unnecessarily. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl/src Row.defs.hh Row.cc
by Enea Zaffanella 22 Mar '02

22 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-22 20:12:30 Modified files: src : Row.defs.hh Row.cc Log message: Added the "strict" scalar product operator (PPL::operator^) computing the scalar product of two Row objects but ignoring the last coefficient of the first row. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&o…

1 0

ppl/src ConSys.cc GenSys.cc PolyBase.cc
by Enea Zaffanella 22 Mar '02

22 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-22 15:42:54 Modified files: src : ConSys.cc GenSys.cc PolyBase.cc Log message: Metods GenSys::affine_image(v, e, d) and ConSys::affine_preimage(v, e, d) no longer require the expression `e' to have the _same_ number of columns of the matrix; now they only require dimension compatibility. This change, while allowing a correct implementation for NNC topology matrices, also turns out to be a potentially remarkable performance improvement. The corresponding methods of PolyBase changed accordingly: - no longer performing the dangerous const_cast on the expression; - missing assertion OK(false) placed on exit. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0