June 2002 - PPL-devel - BUGSENG Mailman

ppl/tests boundingbox2.cc
by Patricia Hill 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-14 17:32:03 Modified files: tests : boundingbox2.cc Log message: Made boundingbox2.cc quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox2.cc.diff?cv…

1 0

ppl/tests boundingbox2.cc
by Patricia Hill 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-14 16:29:23 Modified files: tests : boundingbox2.cc Log message: Some tidying of the tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox2.cc.diff?cv…

1 0

ppl doc/definitions.dox src/Polyhedron.cc src/ ...
by Enea Zaffanella 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-14 14:49:53 Modified files: doc : definitions.dox src : Polyhedron.cc Polyhedron.defs.hh Log message: Removed strange mixing of short and detailed style doxygen comments, that was causing a warning when building the documentation. Improved the user introduction, adding definition of poly-differences. 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.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Patricia Hill 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-14 12:45:34 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Added to term_to_boundary checks that the input numerator and denominator are integers and that the denominator is positive. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-14 10:20:52 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: ppl_new_Polyhedron_from_bounding_box() fixed and simplified. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-14 10:15:09 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Added a short description for new_Polyhedron_from_bounding_box. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog pl_check.pl ppl_prolog.icc
by Patricia Hill 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-14 09:52:14 Modified files: interfaces/Prolog: pl_check.pl ppl_prolog.icc Log message: Some tidying of the code for ppl_new_Polyhedron_from_bounding_box. Patches: 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.…

1 0

ppl/tests boundingbox2.cc
by Patricia Hill 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-14 08:58:49 Modified files: tests : boundingbox2.cc Log message: Some bugs fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox2.cc.diff?cv…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 13 Jun '02

13 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-13 22:02:09 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Fixed two occurrences of assignment where a test for equality was intended. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Patricia Hill 13 Jun '02

13 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-13 16:52:51 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: In ppl_new_Polyhedron_from_bounding_box it now fails (ie PROLOG_FAILURE is returned) if the list is not properly terminated or it is not a list. A few comments added to the code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0