- PPL-devel - BUGSENG Mailman

ppl configure.ac
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:34:26 Modified files: . : configure.ac Log message: Set CFLAGS properly. Quote systematically. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/Watchdog configure.ac
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:33:34 Modified files: Watchdog : configure.ac Log message: Set CFLAGS properly. Check for header files and library functions only if we are building the library. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.ac.diff?cv…

1 0

ppl ./configure.ac Watchdog/configure.ac
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:15:58 Modified files: . : configure.ac Watchdog : configure.ac Log message: Be more friendly to compilers different from GCC. Patches: 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/Watchdog/configure.ac.diff?cv…

1 0

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