March 2003 - PPL-devel - BUGSENG Mailman

ppl NEWS
by Enea Zaffanella 05 Mar '03

05 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-05 10:10:54 Modified files: . : NEWS Log message: Improved the synthetic description of methods generalized_affine_image(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.61…

1 0

ppl configure.ac
by Roberto Bagnara 04 Mar '03

04 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-04 22:13:46 Modified files: . : configure.ac Log message: Require GMP version 4.1.2 or following. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl NEWS
by Roberto Bagnara 04 Mar '03

04 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-04 18:34:51 Modified files: . : NEWS Log message: The C and Prolog interfaces have been extended so as to make more of the library's functionality available to Prolog and C users. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.60…

1 0

ppl/interfaces/C ppl_c.h
by Roberto Bagnara 04 Mar '03

04 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-04 18:29:12 Modified files: interfaces/C : ppl_c.h Log message: Comments fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 04 Mar '03

04 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-04 18:27:27 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: New functions ppl_ConSys_clear() and ppl_GenSys_clear(). 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 ppl_prolog.icc
by Roberto Bagnara 04 Mar '03

04 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-04 17:38:13 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Predicate ppl_Polyhedron_shuffle_dimensions(Ph, PFun) now fails if the domain of PFun is not contained in the space dimension of Ph. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl NEWS
by Enea Zaffanella 04 Mar '03

04 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-04 17:17:54 Modified files: . : NEWS Log message: Added the new Polyhedron::generalized_affine_image() method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.59…

1 0

ppl ./NEWS src/Constraint.cc src/Constraint.de ...
by Roberto Bagnara 04 Mar '03

04 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-04 15:59:10 Modified files: . : NEWS src : Constraint.cc Constraint.defs.hh Log message: The operator Constraint operator>>(const Constraint&, dimension_type) has been removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.58… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c…

1 0

ppl doc/definitions.dox src/Polyhedron.defs.hh
by Enea Zaffanella 04 Mar '03

04 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-04 15:25:11 Modified files: doc : definitions.dox src : Polyhedron.defs.hh Log message: Reordered the sections in the final part of definitions.dox; added a section on extrapolation operators, describing the limited and bounded extrapolation operators. Corrected capitalization of a doxygen reference. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 04 Mar '03

04 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-04 14:37:50 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: New functions ppl_Polyhedron_generalized_affine_image() and ppl_Polyhedron_generalized_affine_image_lhs_rhs(). 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