April 2003 - PPL-devel - BUGSENG Mailman

ppl interfaces/C/ppl_c.h interfaces/Prolog/Pro ...
by Enea Zaffanella 20 Apr '03

20 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-20 11:22:23 Modified files: interfaces/C : ppl_c.h interfaces/Prolog: Prolog_interface.dox pl_check.pl ppl_prolog.icc src : Polyhedron.defs.hh Polyhedron.inlines.hh tests : remapdim1.cc Log message: Changed the documentation of the remapping operator to refer to the specification provided in doc/definitions.dox; changed the tests to avoid experimenting with cases when the behavior is undefined; no longer insisting that the partial function is injective (since this is required but it is not enough to obtain a well-defined behavior). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/remapdim1.cc.diff?cvsro…

1 0

ppl/tests Makefile.am remapdim1.cc renamedim1.cc
by Roberto Bagnara 19 Apr '03

19 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-19 10:05:04 Modified files: tests : Makefile.am Added files: tests : remapdim1.cc Removed files: tests : renamedim1.cc Log message: Test program renamedim1.cc renamed remapdim1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/remapdim1.cc?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/renamedim1.cc.diff?cvsr…

1 0

ppl doc/definitions.dox doc/devref-browse.doxy ...
by Roberto Bagnara 18 Apr '03

18 Apr '03

1 0

ppl ./NEWS ./TODO interfaces/C/ppl_c.cc interf ...
by Roberto Bagnara 18 Apr '03

18 Apr '03

1 0

ppl/doc definitions.dox
by Roberto Bagnara 18 Apr '03

18 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-18 19:11:17 Modified files: doc : definitions.dox Log message: Section about "Remapping the Dimension of the Vector Space" rewritten. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/doc ppl.sty
by Roberto Bagnara 18 Apr '03

18 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-18 19:10:30 Modified files: doc : ppl.sty Log message: New macro \pard[3] to typeset the signature of a partial function. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl.sty.diff?cvsroot=ppl&…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 18 Apr '03

18 Apr '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-04-18 08:44:01 Modified files: htdocs/Documentation: ppl.bib Log message: Missing commas added, unnecessary commas removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl.bib BagnaraHRZ0 ...
by Roberto Bagnara 18 Apr '03

18 Apr '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-04-18 08:24:33 Modified files: htdocs/Documentation: ppl.bib Added files: htdocs/Documentation: BagnaraHRZ03.pdf Log message: BagnaraHRZ03 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Bagnar… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl doc/definitions.dox src/ConSys.cc src/Matr ...
by Roberto Bagnara 17 Apr '03

17 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-17 22:33:06 Modified files: doc : definitions.dox src : ConSys.cc Matrix.defs.hh Polyhedron_nonpublic.cc Log message: Prefer "zeroes" to "zeros". 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/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 17 Apr '03

17 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-17 22:27:25 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: The Boundary_Kind enum is now confined into the anonymous namespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0