- PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.cc
by Roberto Bagnara 05 Mar '03

05 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-05 16:11:42 Modified files: src : Polyhedron.cc Log message: Avoid useless abbreviations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 05 Mar '03

05 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-05 15:41:14 Modified files: interfaces/Prolog: pl_check.pl Log message: Call to polydiff_assign_min removed from check_all. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/interfaces/Prolog Prolog_interface.dox pl_ ...
by Patricia Hill 05 Mar '03

05 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-05 15:34:18 Modified files: interfaces/Prolog: Prolog_interface.dox pl_check.pl Log message: Added ppl_Polyhedron_swap/2. Shuffle_Map syntax added and ppl_Polyhedron_shuffle_dimensions/2 documentation header added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl ./NEWS interfaces/C/ppl_c.cc interfaces/C/ ...
by Roberto Bagnara 05 Mar '03

05 Mar '03

1 0

ppl/interfaces/Prolog ppl_prolog.icc Ciao/ppl_ ...
by Roberto Bagnara 05 Mar '03

05 Mar '03

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh
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 14:19:32 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: The (dis-)equality boolean functions operator== and operator!= on objects of the class Polyhedron no longer require topological- and dimension-consistency. Inconsistent objects are not equivalent. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl ./NEWS ./configure.ac src/Makefile.am src/ ...
by Roberto Bagnara 05 Mar '03

05 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-05 14:10:12 Modified files: . : NEWS configure.ac src : Makefile.am Added files: src : version.cc version.hh.in Log message: New macros PPL_VERSION_MAJOR, PPL_VERSION_MINOR, PPL_VERSION_REVISION, and PPL_VERSION_BETA allow the client application to adapt to different versions of the library. New function const char* version() returns a character string containing the PPL version. New function const char* banner() returns a character string containing information about the PPL version, the licensing, the lack of any warranty whatsoever, the C++ compiler used to build the library, where to report bugs and where to look for further information. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.63… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/version.cc?cvsroot=ppl&re… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/version.hh.in?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl NEWS
by Roberto Bagnara 05 Mar '03

05 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-05 14:00:10 Modified files: . : NEWS Log message: News item concerning the new Polyhedron::generalized_affine_image() operators revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.62…

1 0

ppl/tests shuffledim1.cc
by Roberto Bagnara 05 Mar '03

05 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-05 10:14:40 Modified files: tests : shuffledim1.cc Log message: Added a test showing a bug in Polyhedron::shuffle_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/shuffledim1.cc.diff?cvs…

1 0

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