November 2004 - PPL-devel - BUGSENG Mailman

ppl/src Makefile.am
by Roberto Bagnara 08 Nov '04

08 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-08 21:40:23 Modified files: src : Makefile.am Log message: Concatenation order for ppl_install.hh fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

w3ppl/htdocs/Bugs Bugs.raw archive.raw
by Roberto Bagnara 08 Nov '04

08 Nov '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-11-08 19:01:40 Modified files: htdocs/Bugs : Bugs.raw archive.raw Log message: Fixed a couple of glitches. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/archive.raw.dif…

1 0

ppl ./TODO src/AskTell.defs.hh src/AskTell.inl ...
by Roberto Bagnara 08 Nov '04

08 Nov '04

1 0

w3ppl/htdocs/Bugs archive.raw
by Roberto Bagnara 08 Nov '04

08 Nov '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-11-08 18:31:51 Modified files: htdocs/Bugs : archive.raw Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/archive.raw.dif…

1 0

w3ppl/htdocs/Bugs Bugs.raw
by Roberto Bagnara 08 Nov '04

08 Nov '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-11-08 18:31:38 Modified files: htdocs/Bugs : Bugs.raw Log message: Mention the bug fixed in Polyhedron::map_space_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0

w3ppl/htdocs/Bugs Bugs.raw
by Enea Zaffanella 08 Nov '04

08 Nov '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2004-11-08 18:00:49 Modified files: htdocs/Bugs : Bugs.raw Log message: Mentioned the bug just found and already corrected in CVS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0

ppl src/Polyhedron_public.cc ./NEWS
by Enea Zaffanella 08 Nov '04

08 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-11-08 17:57:08 Modified files: src : Polyhedron_public.cc . : NEWS Log message: The bug shown by universe7.cc, affecting method Polyhedron::is_universe(), is now corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.12…

1 0

ppl/tests Makefile.am universe7.cc
by Enea Zaffanella 08 Nov '04

08 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-11-08 17:55:34 Modified files: tests : Makefile.am Added files: tests : universe7.cc Log message: New test shows a bug in method Polyhedron::is_universe(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/universe7.cc?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src SatMatrix.cc SatMatrix.inlines.hh
by Enea Zaffanella 08 Nov '04

08 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-11-08 17:13:31 Modified files: src : SatMatrix.cc SatMatrix.inlines.hh Log message: Reimplemented SatMatrix::sorted_contains() usiong binary search (instead of linear-search). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.inlines.hh.diff…

1 0

ppl/src Linear_System.cc Linear_System.defs.hh ...
by Enea Zaffanella 08 Nov '04

08 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-11-08 14:01:19 Modified files: src : Linear_System.cc Linear_System.defs.hh Linear_System.inlines.hh Makefile.am SatMatrix.cc SatMatrix.defs.hh SatMatrix.inlines.hh Added files: src : swapping_sort.icc Log message: Added a simplified version of the STL sorting algorithm that avoids (almost all) copies of objects by performing more swaps. The new algorithm is used when sorting Linear_System and SatMatrix objects. The same algorithm is also used to provide a new implementation of method Linear_System::sort_and_remove_with_sat(SatMatrix& sat); by defining an iterator on Linear_System that mimics on the SatMatrix all the swaps made on the Linear_System. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/swapping_sort.icc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.inlines.hh.diff…

1 0