October 2004 - PPL-devel - BUGSENG Mailman

ppl NEWS TODO
by Enea Zaffanella 13 Oct '04

13 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-13 12:20:41 Modified files: . : NEWS TODO Log message: Corrected the bug shown by generators2.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.11… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.10…

1 0

ppl src/Polyhedron_chdims.cc tests/addgenerato ...
by Enea Zaffanella 13 Oct '04

13 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-13 11:56:06 Modified files: src : Polyhedron_chdims.cc tests : addgenerator1.cc addgenerator2.cc memory1.cc Log message: Small adjustments in comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator1.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator2.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/memory1.cc.diff?cvsroot…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 13 Oct '04

13 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-13 11:54:47 Modified files: src : Polyhedron_public.cc Log message: Method generators() now correctly sets the space dimension of the generator system representing an empty polyhedron (thereby correcting the bug shown by test generators2.cc). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src Polyhedron_nonpublic.cc
by Enea Zaffanella 13 Oct '04

13 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-13 11:49:39 Modified files: src : Polyhedron_nonpublic.cc Log message: Constructors now correctly deal with empty systems of constraints/generators having a positive space dimension. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl/src ConSys.cc GenSys.cc
by Enea Zaffanella 13 Oct '04

13 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-13 11:45:34 Modified files: src : ConSys.cc GenSys.cc Log message: Now methods adjust_topology_and_space_dimension() allow for empty systems having a positive space dimension. 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/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/src Matrix.cc Matrix.inlines.hh
by Enea Zaffanella 13 Oct '04

13 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-13 11:44:09 Modified files: src : Matrix.cc Matrix.inlines.hh Log message: No longer enforcing the Matrix invariant num_rows() == 0 ==> num_columns() == 0. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cv…

1 0

w3ppl/htdocs abstractions.raw
by Patricia Hill 13 Oct '04

13 Oct '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2004-10-13 11:19:54 Modified files: htdocs : abstractions.raw Log message: Removed "under construction". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/abstractions.raw.dif…

1 0

w3ppl/htdocs abstractions.raw
by Patricia Hill 13 Oct '04

13 Oct '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2004-10-13 11:05:14 Modified files: htdocs : abstractions.raw Log message: Completed the page. References still to be check. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/abstractions.raw.dif…

1 0

w3ppl/htdocs/Applications Applications.raw
by Enea Zaffanella 13 Oct '04

13 Oct '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-13 09:44:07 Modified files: htdocs/Applications: Applications.raw Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0

w3ppl/htdocs/Bugs Bugs.raw
by Enea Zaffanella 13 Oct '04

13 Oct '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-13 09:40:31 Modified files: htdocs/Bugs : Bugs.raw Log message: Added hyperlink to email address for reporting bugs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0