- PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Documentation Documentation.raw
by Enea Zaffanella 03 Oct '02

03 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-03 11:01:36 Modified files: htdocs/Documentation: Documentation.raw Log message: Fixed an HTML typo (<EM> was matched by </A>). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

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:01:16 Modified files: . : log_accum Log message: For the first revision of a file, link to the entire file contents. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/log_accum.diff?cvsroot=pp…

1 0

w3ppl/htdocs/Bugs Bugs.raw
by Enea Zaffanella 03 Oct '02

03 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-03 10:57:01 Modified files: htdocs/Bugs : Bugs.raw Log message: Reported the bug affecting the minimization of the zero-dim-universe NNC polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0

ppl ./NEWS doc/definitions.dox src/ConSys.cc s ...
by Enea Zaffanella 03 Oct '02

03 Oct '02

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 09:18:31 Modified files: doc : definitions.dox Log message: Corrected the definition of affine preimage. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl config.guess config.sub
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 04:22:19 Modified files: . : config.guess config.sub Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&r…

1 0

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

02 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-02 17:32:02 Modified files: tests : Makefile.am Added files: tests : ascii_dump_load2.cc Log message: Added a new test to verify Polyhedron::ascii_load() and Polyhedron::ascii_dump(). Patches: 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/Makefile.am.diff?cvsroo…

1 0

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

02 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-02 16:26:00 Modified files: src : Polyhedron.cc Log message: Fixed a typo in a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

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

02 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-02 16:24:51 Modified files: src : Polyhedron.cc Log message: The implementation of generalized_affine_image(lhs, rel, rhs, denom) now handles some special cases in a more efficient way. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

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

02 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-02 16:14:31 Modified files: src : Polyhedron.cc Log message: In Polyhedron::strongly_minimize_constraints() and Polyhedron::strongly_minimize_generators() corrected the bug shown by minconstraints3.cc and mingenerators3.cc: now we verify if the polyhedron is not empty and zero-dimensional. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0