October 2002 - PPL-devel - BUGSENG Mailman

ppl/doc devref-browse.doxyconf-latex.in devref ...
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 10:20:04 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in Log message: Added Include_Implementation_Details in the ENABLED_SECTIONS of the developer reference. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-la… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-lat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d…

1 0

ppl STANDARDS
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 10:18:21 Modified files: . : STANDARDS Log message: Added specification on how to integrate an end-user comment block with further comments for the developer only. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

ppl NEWS
by Enea Zaffanella 04 Oct '02

04 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-04 23:51:45 Modified files: . : NEWS Log message: Notified new function for manipulation LinExpression's. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.41…

1 0

ppl/tests bbrz02widening14.cc bbrz02widening15.cc
by Enea Zaffanella 04 Oct '02

04 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-04 23:51:08 Modified files: tests : bbrz02widening14.cc bbrz02widening15.cc Log message: Tests made silent. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening14.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening15.cc.dif…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 04 Oct '02

04 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-04 22:26:09 Modified files: doc : definitions.dox Log message: Cut away previous spurious commit on the specification of generalized affine image. Added a missing transposition sign. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Enea Zaffanella 04 Oct '02

04 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-04 22:24:43 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Typo corrected: closure-point ==> closure_point. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl ChangeLog
by Roberto Bagnara 04 Oct '02

04 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-04 19:29:14 Modified files: . : ChangeLog Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&r1…

1 0

ppl NEWS
by Roberto Bagnara 04 Oct '02

04 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-04 19:26:58 Modified files: . : NEWS Log message: Report the news for PPL 0.4.2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.40…

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 04 Oct '02

04 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-04 18:53:50 Modified files: src : Polyhedron.cc Log message: Modified the second technique of Polyhedron::BBRZ02_widening_assign(): we add all the chosen rays that satisfy the system of constraints `common_con_sys' to the system of generators of `x'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am bbrz02widening14.cc bbrz ...
by Enea Zaffanella 04 Oct '02

04 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-04 18:42:24 Modified files: tests : Makefile.am Added files: tests : bbrz02widening14.cc bbrz02widening15.cc Log message: Added two new tests. The first one is similar to bbrz02widening13, but this time the limit of the chain of polyhedra is a bounded polyhedron. The second one is similar to the first one, but it is based on a chain of polyhedral cones. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening14.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening15.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0