- PPL-devel - BUGSENG Mailman

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

15 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-15 19:17:18 Modified files: htdocs/Documentation: bibliography.raw ppl.bib Added files: htdocs/Documentation/mirror: Halbwachs93.ps.gz Log message: Halbwachs93 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 Polyhedron.cc
by Roberto Bagnara 15 Oct '02

15 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-15 18:15:12 Modified files: src : Polyhedron.cc Log message: Debugging code in Polyhedron::check_universe() fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am writepolyhedron1.cc
by Roberto Bagnara 15 Oct '02

15 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-15 18:01:26 Modified files: tests : Makefile.am Added files: tests : writepolyhedron1.cc Log message: Test operator<<(std::ostream&, const Polyhedron&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writepolyhedron1.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl ./NEWS src/LinExpression.defs.hh src/LinEx ...
by Roberto Bagnara 15 Oct '02

15 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-15 18:00:20 Modified files: . : NEWS src : LinExpression.defs.hh LinExpression.inlines.hh Log message: New function LinExpression operator+(const LinExpression&): previously an expressions like `+x2-x3-x4 <= 0' could not constitute valid syntax for a constraint. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.45… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.inlines.hh.…

1 0

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

15 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-15 17:55:14 Modified files: src : Polyhedron.cc Log message: Modified Polyhedron::check_univers(): if we are considering a not necessarily closed polyhedron and if its system of constraints contains only two rows that are not equalities, we are sure that they are epsilon constraints. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am topclosure3.cc
by Elisa Ricci 15 Oct '02

15 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-15 17:48:53 Modified files: tests : Makefile.am Added files: tests : topclosure3.cc Log message: Added a test to verify Polyhedron::topological_closure_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/topclosure3.cc?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests Makefile.am adddimensions12.cc affin ...
by Elisa Ricci 15 Oct '02

15 Oct '02

1 0

CVS tag event: /cvs/ppl/ppl/tests
by Roberto Bagnara 15 Oct '02

15 Oct '02

Repository: /cvs/ppl/ppl/tests Tag: after_fourth_merge_from_trunk Operation: add Date: 2002-10-15 15:10:05 Tagged-By: roberto File: .cvsignore Revision: 1.6 File: CbecomesNNC1.cc Revision: 1.2.2.1 File: Makefile.am Revision: 1.82.2.5 File: NNCinclusion1.cc Revision: 1.2.4.1 File: NNCminimize1.cc Revision: 1.4.4.1 File: NNCminimize2.cc Revision: 1.4.4.1 File: NNCminimize3.cc Revision: 1.4.4.1 File: NNCminimize4.cc Revision: 1.6.4.1 File: NNCminimize5.cc Revision: 1.2.4.1 File: NNCminimize6.cc Revision: 1.4.4.1 File: addconstraint1.cc Revision: 1.2.2.1 File: addconstraint2.cc Revision: 1.1.2.3 File: addconstraint3.cc Revision: 1.1.2.3 File: addconstraints1.cc Revision: 1.6.4.1 File: addconstraints10.cc Revision: 1.5.4.4 File: addconstraints11.cc Revision: 1.6.4.4 File: addconstraints12.cc Revision: 1.1.2.3 File: addconstraints2.cc Revision: 1.12.4.2 File: addconstraints3.cc Revision: 1.3.4.1 File: addconstraints4.cc Revision: 1.5.4.2 File: addconstraints5.cc Revision: 1.6.4.2 File: addconstraints6.cc Revision: 1.7.4.2 File: addconstraints7.cc Revision: 1.6.4.2 File: addconstraints8.cc Revision: 1.6.4.2 File: addconstraints9.cc Revision: 1.7.4.2 File: adddimensions1.cc Revision: 1.8.4.2 File: adddimensions10.cc Revision: 1.4.2.1 File: adddimensions11.cc Revision: 1.1.2.3 File: adddimensions2.cc Revision: 1.4.4.2 File: adddimensions3.cc Revision: 1.6.4.2 File: adddimensions4.cc Revision: 1.4.4.2 File: adddimensions5.cc Revision: 1.1.4.2 File: adddimensions6.cc Revision: 1.1.4.2 File: adddimensions7.cc Revision: 1.1.4.2 File: adddimensions8.cc Revision: 1.3.2.1 File: adddimensions9.cc Revision: 1.3.2.1 File: addgenerator1.cc Revision: 1.2.2.1 File: addgenerator2.cc Revision: 1.2.2.1 File: addgenerator3.cc Revision: 1.1.2.3 File: addgenerators1.cc Revision: 1.7.4.1 File: addgenerators10.cc Revision: 1.1.2.1 File: addgenerators11.cc Revision: 1.2.2.3 File: addgenerators2.cc Revision: 1.7.4.1 File: addgenerators3.cc Revision: 1.6.4.2 File: addgenerators4.cc Revision: 1.6.4.2 File: addgenerators5.cc Revision: 1.6.4.2 File: addgenerators6.cc Revision: 1.6.4.2 File: addgenerators7.cc Revision: 1.2.4.2 File: addgenerators8.cc Revision: 1.2.2.1 File: addgenerators9.cc Revision: 1.3.2.1 File: affineimage1.cc Revision: 1.6.4.2 File: affineimage2.cc Revision: 1.5.4.2 File: affineimage3.cc Revision: 1.1.2.3 File: affineimage4.cc Revision: 1.1.4.3 File: affineimage5.cc Revision: 1.2.2.3 File: affinepreimage1.cc Revision: 1.5.4.2 File: affinepreimage2.cc Revision: 1.5.4.2 File: affinepreimage3.cc Revision: 1.5.4.2 File: affinepreimage4.cc Revision: 1.6.4.2 File: affinepreimage5.cc Revision: 1.1.2.3 File: affinepreimage6.cc Revision: 1.2.2.3 File: affinepreimage7.cc Revision: 1.1.2.3 File: affinetrans.cc Revision: 1.9.4.1 File: append1.cc Revision: 1.11.4.2 File: append2.cc Revision: 1.12.4.2 File: ascii_dump_load1.cc Revision: 1.4.2.3 File: ascii_dump_load2.cc Revision: 1.4.2.3 File: ascii_dump_load3.cc Revision: 1.4.2.3 File: bbrz02widening1.cc Revision: 1.2.2.4 File: bbrz02widening10.cc Revision: 1.1.2.3 File: bbrz02widening11.cc Revision: 1.1.2.3 File: bbrz02widening12.cc Revision: 1.2.2.3 File: bbrz02widening13.cc Revision: 1.3.2.3 File: bbrz02widening14.cc Revision: 1.4.2.3 File: bbrz02widening15.cc Revision: 1.3.2.3 File: bbrz02widening16.cc Revision: 1.1.2.3 File: bbrz02widening17.cc Revision: 1.1.2.3 File: bbrz02widening18.cc Revision: 1.1.2.3 File: bbrz02widening2.cc Revision: 1.2.2.1 File: bbrz02widening3.cc Revision: 1.2.2.1 File: bbrz02widening4.cc Revision: 1.1.2.1 File: bbrz02widening5.cc Revision: 1.1.2.1 File: bbrz02widening6.cc Revision: 1.2.2.4 File: bbrz02widening7.cc Revision: 1.2.2.4 File: bbrz02widening8.cc Revision: 1.2.2.1 File: bbrz02widening9.cc Revision: 1.2.2.4 File: bounded1.cc Revision: 1.3.4.2 File: boundingbox1.cc Revision: 1.16.4.2 File: boundingbox2.cc Revision: 1.7.4.5 File: bounds1.cc Revision: 1.3.2.1 File: bounds2.cc Revision: 1.3.2.1 File: concatenate1.cc Revision: 1.3.2.1 File: concatenate2.cc Revision: 1.3.2.2 File: concatenate3.cc Revision: 1.3.2.2 File: concatenate4.cc Revision: 1.3.2.1 File: concatenate5.cc Revision: 1.1.2.3 File: constraints1.cc Revision: 1.3.2.1 File: constraints2.cc Revision: 1.3.2.1 File: constraints3.cc Revision: 1.3.2.1 File: contains1.cc Revision: 1.1.2.3 File: ehandlers.cc Revision: 1.1 File: ehandlers.hh Revision: 1.4.4.1 File: empty1.cc Revision: 1.7.4.2 File: exceptions1.cc Revision: 1.11.2.5 File: exceptions2.cc Revision: 1.7.2.5 File: files.cc Revision: 1.2.2.3 File: files.hh Revision: 1.2.2.3 File: generalizedaffineimage1.cc Revision: 1.4.2.3 File: generalizedaffineimage10.cc Revision: 1.2.2.3 File: generalizedaffineimage2.cc Revision: 1.3.2.3 File: generalizedaffineimage3.cc Revision: 1.4.2.3 File: generalizedaffineimage4.cc Revision: 1.2.2.3 File: generalizedaffineimage5.cc Revision: 1.2.2.3 File: generalizedaffineimage6.cc Revision: 1.2.2.3 File: generalizedaffineimage7.cc Revision: 1.3.2.3 File: generalizedaffineimage8.cc Revision: 1.2.2.3 File: generalizedaffineimage9.cc Revision: 1.1.2.3 File: generators1.cc Revision: 1.6.4.1 File: generators2.cc Revision: 1.3.4.1 File: generators3.cc Revision: 1.2.2.1 File: generators4.cc Revision: 1.2.2.1 File: generators5.cc Revision: 1.2.2.1 File: h79widening1.cc Revision: 1.1.4.1 File: h79widening2.cc Revision: 1.1.4.1 File: h79widening3.cc Revision: 1.1.4.1 File: h79widening4.cc Revision: 1.1.2.1 File: h79widening5.cc Revision: 1.2.2.3 File: hypercubes.cc Revision: 1.1.2.5 File: inclusion1.cc Revision: 1.2.4.1 File: inclusion2.cc Revision: 1.1.2.1 File: intersection1.cc Revision: 1.3.2.1 File: intersection10.cc Revision: 1.1.2.3 File: intersection2.cc Revision: 1.3.2.2 File: intersection3.cc Revision: 1.3.2.2 File: intersection4.cc Revision: 1.3.2.2 File: intersection5.cc Revision: 1.3.2.2 File: intersection6.cc Revision: 1.3.2.2 File: intersection7.cc Revision: 1.3.2.1 File: intersection8.cc Revision: 1.2.2.1 File: intersection9.cc Revision: 1.2.2.1 File: limitedh79widening1.cc Revision: 1.1.4.2 File: limitedh79widening2.cc Revision: 1.1.4.2 File: limitedh79widening3.cc Revision: 1.2.2.1 File: linearpartition1.cc Revision: 1.3.2.3 File: linearpartition2.cc Revision: 1.3.2.3 File: linearpartition3.cc Revision: 1.3.2.3 File: mc91.cc Revision: 1.3.2.5 File: memory1.cc Revision: 1.5.4.5 File: minconstraints1.cc Revision: 1.2.2.1 File: minconstraints2.cc Revision: 1.2.4.3 File: minconstraints3.cc Revision: 1.1.4.3 File: mingenerators1.cc Revision: 1.2.2.1 File: mingenerators2.cc Revision: 1.1.4.3 File: mingenerators3.cc Revision: 1.1.4.3 File: onepoint.cc Revision: 1.5.4.1 File: permute.cc Revision: 1.18.4.2 File: polydifference1.cc Revision: 1.1.4.2 File: polydifference2.cc Revision: 1.3.4.2 File: polydifference3.cc Revision: 1.1.2.1 File: polydifference4.cc Revision: 1.2.2.1 File: polydifference5.cc Revision: 1.3.2.1 File: polydifference6.cc Revision: 1.2.2.1 File: polydifference7.cc Revision: 1.1.2.3 File: polyhull1.cc Revision: 1.1.4.2 File: polyhull2.cc Revision: 1.1.4.2 File: polyhull3.cc Revision: 1.1.4.2 File: polyhull4.cc Revision: 1.1.4.1 File: polyhull5.cc Revision: 1.2.2.1 File: polyhull6.cc Revision: 1.2.2.1 File: polyhull7.cc Revision: 1.1.2.3 File: polyhull8.cc Revision: 1.1.2.3 File: ppl_test.hh Revision: 1.1.2.1 File: print.cc Revision: 1.2 File: print.hh Revision: 1.10.2.1 File: randphull1.cc Revision: 1.2.2.1 File: relations1.cc Revision: 1.3.4.2 File: relations10.cc Revision: 1.2.2.3 File: relations11.cc Revision: 1.2.2.3 File: relations12.cc Revision: 1.1.2.3 File: relations13.cc Revision: 1.1.2.3 File: relations14.cc Revision: 1.1.4.3 File: relations15.cc Revision: 1.1.2.3 File: relations16.cc Revision: 1.1.2.3 File: relations2.cc Revision: 1.4.4.2 File: relations3.cc Revision: 1.4.4.2 File: relations4.cc Revision: 1.4.4.2 File: relations5.cc Revision: 1.4.4.2 File: relations6.cc Revision: 1.3.4.2 File: relations7.cc Revision: 1.3.4.2 File: relations8.cc Revision: 1.3.4.2 File: relations9.cc Revision: 1.4.4.2 File: removedim1.cc Revision: 1.5.4.1 File: removedim2.cc Revision: 1.9.4.1 File: removedim3.cc Revision: 1.5.4.1 File: removedim4.cc Revision: 1.6.4.2 File: removedim5.cc Revision: 1.4.4.2 File: removedim6.cc Revision: 1.6.4.2 File: removedim7.cc Revision: 1.1.4.2 File: removedim8.cc Revision: 1.2.2.1 File: removedim9.cc Revision: 1.2.2.1 File: smm1.cc Revision: 1.5.4.1 File: stronglyminimize1.cc Revision: 1.1.2.3 File: stronglyminimize2.cc Revision: 1.1.2.3 File: stronglyminimize3.cc Revision: 1.1.2.3 File: timeelapse1.cc Revision: 1.2.4.2 File: timeelapse2.cc Revision: 1.2.4.2 File: timeelapse3.cc Revision: 1.2.4.2 File: timeelapse4.cc Revision: 1.2.4.2 File: timeelapse5.cc Revision: 1.2.4.2 File: timeelapse6.cc Revision: 1.1.2.3 File: timeelapse7.cc Revision: 1.1.2.3 File: timings.cc Revision: 1.2 File: timings.hh Revision: 1.1.4.1 File: topclosed1.cc Revision: 1.2.2.1 File: topclosed2.cc Revision: 1.1.2.1 File: topclosed3.cc Revision: 1.3.2.3 File: topclosure1.cc Revision: 1.2.2.1 File: topclosure2.cc Revision: 1.1.2.3 File: universe1.cc Revision: 1.3.4.2 File: universe2.cc Revision: 1.4.4.2 File: universe3.cc Revision: 1.4.4.2 File: universe4.cc Revision: 1.4.4.2 File: universe5.cc Revision: 1.5.4.2 File: universe6.cc Revision: 1.2.2.2 File: watchdog1.cc Revision: 1.8.4.2

1 0

CVS tag event: /cvs/ppl/ppl/interfaces/Prolog/YAP
by Roberto Bagnara 15 Oct '02

15 Oct '02

Repository: /cvs/ppl/ppl/interfaces/Prolog/YAP Tag: after_fourth_merge_from_trunk Operation: add Date: 2002-10-15 15:10:04 Tagged-By: roberto File: .cvsignore Revision: 1.4 File: Makefile.am Revision: 1.15 File: ppl_yap.cc Revision: 1.41.2.4 File: ppl_yap.pl Revision: 1.5 File: yap_clpq.pl Revision: 1.5 File: yap_clpq2.pl Revision: 1.1

1 0

CVS tag event: /cvs/ppl/ppl/m4
by Roberto Bagnara 15 Oct '02

15 Oct '02

Repository: /cvs/ppl/ppl/m4 Tag: after_fourth_merge_from_trunk Operation: add Date: 2002-10-15 15:10:04 Tagged-By: roberto File: .cvsignore Revision: 1.1 File: Makefile.am Revision: 1.6.4.1 File: ac_check_gmp.m4 Revision: 1.4 File: ac_cxx_flexible_arrays.m4 Revision: 1.1.2.1

1 0