June 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C/lpenum lpenum.c
by Roberto Bagnara 09 Jun '02

09 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-09 16:14:44 Modified files: interfaces/C/lpenum: lpenum.c Log message: Include <stdlib.h>. Fix a couple of warnings. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 09 Jun '02

09 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-09 14:36:54 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Added ppl_new_C_Polyhedron_from_bounding_box() and ppl_new_NNC_Polyhedron_from_bounding_box(). 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/src C_Polyhedron.defs.hh C_Polyhedron.inli ...
by Roberto Bagnara 09 Jun '02

09 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-09 14:33:50 Modified files: src : C_Polyhedron.defs.hh C_Polyhedron.inlines.hh NNC_Polyhedron.defs.hh NNC_Polyhedron.inlines.hh Polyhedron.defs.hh Polyhedron.inlines.hh Log message: Added template <class Box> C_Polyhedron::C_Polyhedron(const Box& box) and template <class Box> NNC_Polyhedron::NNC_Polyhedron(const Box& box). Added the declaration and documentation and sketched the implementation of template <class Box> Polyhedron::Polyhedron(Topology topol, const Box& box): these constructor allow to builds a polyhedron out of a generic, interval-based bounding box. Documentation of Polyhedron::shrink_bounding_box(Box& box) revised: we now promise to communicate rational numbers using fractions in canonical form. The fraction n/d is in canonical form if and only if n and d have no common factors and d is positive, 0/1 being the unique representation for zero. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh… 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…

1 0

ppl/doc definitions.dox
by Patricia Hill 09 Jun '02

09 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-09 12:31:46 Modified files: doc : definitions.dox Log message: Added definitions of "minimized" constraints and generators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/doc definitions.dox
by Patricia Hill 09 Jun '02

09 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-09 11:46:39 Modified files: doc : definitions.dox Log message: Further updating of the user manual to allow for NNC polyhedra. Minkowski's and Weil's theorems and some definitions moved to the developers part. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src Interval.inlines.hh
by Roberto Bagnara 09 Jun '02

09 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-09 08:09:45 Modified files: src : Interval.inlines.hh Log message: Removed redundant and erroneous default argument specification. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?…

1 0

ppl/interfaces/Mercury
by Roberto Bagnara 08 Jun '02

08 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-08 17:42:19 ppl/interfaces/Mercury Update of /cvs/ppl/ppl/interfaces/Mercury In directory spartacus.cs.unipr.it:/tmp/cvs-serv25885/Mercury Log Message: Directory /cvs/ppl/ppl/interfaces/Mercury added to the repository

1 0

ppl/interfaces/Prolog Makefile.am ppl_prolog.i ...
by Roberto Bagnara 08 Jun '02

08 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-08 17:41:51 Modified files: interfaces/Prolog: Makefile.am ppl_prolog.icc Removed files: interfaces/Prolog: Interval.hh Log message: Use the new implementation of bounding boxes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Interval.hh…

1 0

ppl/tests addconstraints2.cc
by Roberto Bagnara 08 Jun '02

08 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-08 17:40:45 Modified files: tests : addconstraints2.cc Log message: Shut up if not noisy. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints2.cc.diff…

1 0

ppl/src Makefile.am BoundingBox.hh Interval.cc ...
by Roberto Bagnara 08 Jun '02

08 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-08 17:39:41 Modified files: src : Makefile.am Added files: src : BoundingBox.hh Interval.cc Interval.defs.hh Interval.inlines.hh Interval.types.hh Log message: New implementation of bounding boxes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.types.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0