October 2002 - PPL-devel - BUGSENG Mailman

ppl mkinstalldirs
by Roberto Bagnara 19 Oct '02

19 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-19 00:41:37 Modified files: . : mkinstalldirs Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/mkinstalldirs.diff?cvsroot=pp…

1 0

ppl/Watchdog config.guess config.sub depcomp i ...
by Roberto Bagnara 19 Oct '02

19 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-19 00:40:50 Added files: Watchdog : config.guess config.sub depcomp install-sh ltmain.sh missing mkinstalldirs Log message: Missing files added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.guess?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.sub?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/depcomp?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/install-sh?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ltmain.sh?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/missing?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/mkinstalldirs?cvsroo…

1 0

ppl/src ConSys.cc ConSys.defs.hh
by Elisa Ricci 18 Oct '02

18 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-18 17:02:27 Modified files: src : ConSys.cc ConSys.defs.hh Log message: Modified ConSys:OK(): now we verify also if every row in the matrix is a valid constraint. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro…

1 0

ppl/tests Makefile.am ascii_dump_load1.cc exce ...
by Elisa Ricci 18 Oct '02

18 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-18 16:46:31 Modified files: tests : Makefile.am ascii_dump_load1.cc exceptions1.cc Added files: tests : writeconsys1.cc Log message: The writeconsys1.cc test verifies operator<<(s, cs). Added tests in exceptions1.cc to verify Generator::coefficient() and Constraint::coefficient(). In ascii_dump_load1.cc erased an unused variable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writeconsys1.cc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load1.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvs…

1 0

ppl/tests smfpolyhull.cc
by Enea Zaffanella 18 Oct '02

18 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-10-18 16:40:58 Added files: tests : smfpolyhull.cc Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/smfpolyhull.cc?cvsroot=…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 18 Oct '02

18 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-10-18 10:41:50 Modified files: src : Polyhedron.cc Log message: Modified the widening operators to also add the non-strict inequality corresponding to each strict inequality added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests exceptions1.cc exceptions2.cc writeg ...
by Elisa Ricci 17 Oct '02

17 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-17 18:33:18 Modified files: tests : exceptions1.cc exceptions2.cc writegensys1.cc Log message: Added some tests to verify Generator::ray(), Generator::line(), Generator::closure_point(), Generator::coefficient(), Generator::divisor() and operator<<(s, g). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writegensys1.cc.diff?cv…

1 0

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

17 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-17 18:30:10 Modified files: src : Polyhedron.cc Log message: In Polyhedron::BBRZ02_widening_assign() and Polyhedron::is_BBRZ02_stabilizing() debugging-purpose output made silent. Modified Polyhedron::select_H79_constraints(y, cs) so that when we use it the system of constraints has the right topology. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests hypercubes.cc
by Enea Zaffanella 17 Oct '02

17 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-10-17 17:31:17 Modified files: tests : hypercubes.cc Log message: Now committed the right file I was playing with. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/hypercubes.cc.diff?cvsr…

1 0

ppl/tests Makefile.am hypercubes.cc
by Enea Zaffanella 17 Oct '02

17 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-10-17 17:30:10 Modified files: tests : Makefile.am hypercubes.cc Log message: Playing with hypercubes and strong minimization. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/hypercubes.cc.diff?cvsr…

1 0