October 2002 - PPL-devel - BUGSENG Mailman

ppl STANDARDS
by Roberto Bagnara 06 Oct '02

06 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-06 09:16:18 Modified files: . : STANDARDS Log message: A few minor improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

ppl/src algorithms.hh
by Roberto Bagnara 05 Oct '02

05 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-05 22:39:36 Modified files: src : algorithms.hh Log message: Include implementation details for linear_partition(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/tests linearpartition1.cc
by Roberto Bagnara 05 Oct '02

05 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-05 22:24:44 Modified files: tests : linearpartition1.cc Log message: Be quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition1.cc.dif…

1 0

ppl/tests bbrz02widening13.cc bbrz02widening14.cc
by Enea Zaffanella 05 Oct '02

05 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-05 22:17:13 Modified files: tests : bbrz02widening13.cc bbrz02widening14.cc Log message: Made silent. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening13.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening14.cc.dif…

1 0

ppl/src Polyhedron.defs.hh Polyhedron.cc
by Enea Zaffanella 05 Oct '02

05 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-05 22:16:25 Modified files: src : Polyhedron.defs.hh Polyhedron.cc Log message: Added new private method void Polyhedron::select_H79_constraints(const Polyhedron& y, ConSys& cs_selection) const; that selects the common constraints of *this and y (into cs_selection) according to H79. Used the method both in H79_widening and in BBRZ02_widening. Modified the second technique of BBRZ02 to have more chances that it will produce a stabilizing sequence of polyhedra. Added a few outputs for the debugging of BBRZ02_widening. Patches: 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.cc.diff?cvsroo…

1 0

w3ppl/htdocs/Documentation bibliography.raw pp ...
by Roberto Bagnara 05 Oct '02

05 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-05 22:07:12 Modified files: htdocs/Documentation: bibliography.raw ppl.bib Log message: Typo fixed. File bibliography.raw regenerated with the new version of bibtex2html (1.54). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation bibliography.raw pp ...
by Roberto Bagnara 05 Oct '02

05 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-05 21:56:26 Modified files: htdocs/Documentation: bibliography.raw ppl.bib Added files: htdocs/Documentation/mirror: Srivastava93.ps.gz Log message: Srivastava93 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/mirror…

1 0

ppl src/Makefile.am tests/Makefile.am src/algo ...
by Roberto Bagnara 05 Oct '02

05 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-05 20:41:24 Modified files: src : Makefile.am tests : Makefile.am Added files: src : algorithms.hh tests : linearpartition1.cc Log message: New function template <typename PH> std::pair<PH, PowerSet<Determinate<NNC_Polyhedron> > > linear_partition(const PH& p, const PH& q) computing a partition of `q' with respect to `p'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition1.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Determinate.defs.hh Determinate.inlines.hh
by Roberto Bagnara 05 Oct '02

05 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-05 20:37:44 Modified files: src : Determinate.defs.hh Determinate.inlines.hh Log message: Added const PH& polyhedron() const. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 05 Oct '02

05 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-05 19:19:01 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: The function int ppl_Polyhedron_is_disjoint_from_Polyhedron() makes the disjointness test for polyhedra available to the C interface. 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