- PPL-devel - BUGSENG Mailman

ppl/tests Makefile.am ascii_dump_load1.cc asci ...
by Roberto Bagnara 03 Oct '02

03 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-03 15:26:52 Modified files: tests : Makefile.am ascii_dump_load1.cc ascii_dump_load2.cc files.cc files.hh Log message: Several improvements. 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/ascii_dump_load1.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load2.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/files.cc.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/files.hh.diff?cvsroot=p…

1 0

ppl/tests Makefile.am ascii_dump_load3.cc file ...
by Roberto Bagnara 03 Oct '02

03 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-03 15:18:02 Modified files: tests : Makefile.am ascii_dump_load3.cc Added files: tests : files.cc files.hh Log message: Avoid spaghetti-coding. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/files.cc?cvsroot=ppl&re… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/files.hh?cvsroot=ppl&re… 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_load3.cc.dif…

1 0

ppl/tests generalizedaffineimage7.cc
by Elisa Ricci 03 Oct '02

03 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-03 15:01:13 Modified files: tests : generalizedaffineimage7.cc Log message: Corrected the test: we want "return 1" if there is at least a test that exits with "return 1". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage7…

1 0

ppl/tests Makefile.am ascii_dump_load2.cc asci ...
by Elisa Ricci 03 Oct '02

03 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-03 12:23:49 Modified files: tests : Makefile.am ascii_dump_load2.cc Added files: tests : ascii_dump_load3.cc Log message: Added a new test for Polyhedron::ascii_dump() and Polyhedron::ascii_load(). Corrected an error in the comment of ascii_dump_load2.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load3.cc?cvs… 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_load2.cc.dif…

1 0

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

03 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-03 12:08:15 Modified files: src : Polyhedron.cc Polyhedron.defs.hh tests : generalizedaffineimage1.cc generalizedaffineimage7.cc Log message: When the lhs of the generalized affine image is an arbitrary LinExpression, there is no need of having a denominator for the rhs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… 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/tests/generalizedaffineimage1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage7…

1 0

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

03 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-03 12:01:11 Modified files: doc : definitions.dox Log message: Added missing transposition signs in documentation of affine images. Improved comment of generalized affine images. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl NEWS
by Enea Zaffanella 03 Oct '02

03 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-03 11:59:59 Modified files: . : NEWS Log message: Reported the bug on minimization of zero-dim-universe NNC polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.39…

1 0

ppl/src ConSys.cc
by Enea Zaffanella 03 Oct '02

03 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-03 11:59:04 Modified files: src : ConSys.cc Log message: Fixed a couple of comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…

1 0

CVSROOT log_accum
by Roberto Bagnara 03 Oct '02

03 Oct '02

CVSROOT: /cvs/ppl Module name: CVSROOT Changes by: roberto(a)cs.unipr.it 2002-10-03 11:44:19 Modified files: . : log_accum Log message: Thinko fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/log_accum.diff?cvsroot=pp…

1 0

w3ppl/htdocs/Bugs Bugs.raw archive.raw
by Roberto Bagnara 03 Oct '02

03 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-03 11:32:10 Modified files: htdocs/Bugs : Bugs.raw Added files: htdocs/Bugs : archive.raw Log message: Add an archive of all known bugs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/archive.raw.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0