December 2004 - PPL-devel - BUGSENG Mailman

ppl NEWS
by Roberto Bagnara 06 Dec '04

06 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-06 17:51:27 Modified files: . : NEWS Log message: Restored an item erased by mistake. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.12…

1 0

ppl NEWS
by Roberto Bagnara 06 Dec '04

06 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-06 17:47:19 Modified files: . : NEWS Log message: Improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.12…

1 0

ppl ./NEWS ./TODO src/C_Polyhedron.defs.hh src ...
by Roberto Bagnara 06 Dec '04

06 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-06 17:02:45 Modified files: . : NEWS TODO src : C_Polyhedron.defs.hh C_Polyhedron.inlines.hh NNC_Polyhedron.defs.hh NNC_Polyhedron.inlines.hh Log message: New methods C_Polyhedron& C_Polyhedron::operator=(const NNC_Polyhedron& y) and NNC_Polyhedron& NNC_Polyhedron::operator=(const C_Polyhedron& y). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.12… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.11… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh…

1 0

ppl/src C_Polyhedron.cc
by Roberto Bagnara 06 Dec '04

06 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-06 16:51:02 Modified files: src : C_Polyhedron.cc Log message: Efficiency bug fixed in C_Polyhedron::C_Polyhedron(const NNC_Polyhedron&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.cc.diff?cvsr…

1 0

ppl TODO
by Roberto Bagnara 06 Dec '04

06 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-06 16:36:52 Modified files: . : TODO Log message: All the public classes of the library have been endowed with methods total_memory_in_bytes() and external_memory_in_bytes(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.11…

1 0

ppl/src LinExpression.defs.hh Variable.defs.hh
by Roberto Bagnara 06 Dec '04

06 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-06 16:34:57 Modified files: src : LinExpression.defs.hh Variable.defs.hh Log message: Comments fixed/improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvs…

1 0

ppl src/Polyhedra_Powerset.defs.hh src/Polyhed ...
by Roberto Bagnara 06 Dec '04

06 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-06 16:12:50 Modified files: src : Polyhedra_Powerset.defs.hh Polyhedra_Powerset.inlines.hh Powerset.defs.hh Powerset.inlines.hh tests : membytes2.cc Log message: Added methods Powerset<CS>::external_memory_in_bytes() and Powerset<CS>::total_memory_in_bytes(). Added methods Polyhedra_Powerset<PH>::external_memory_in_bytes() and Polyhedra_Powerset<PH>::total_memory_in_bytes(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/membytes2.cc.diff?cvsro…

1 0

ppl src/Determinate.defs.hh src/Determinate.in ...
by Roberto Bagnara 06 Dec '04

06 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-06 10:43:10 Modified files: src : Determinate.defs.hh Determinate.inlines.hh tests : Makefile.am Added files: tests : membytes2.cc Log message: Added methods Determinate<PH>::external_memory_in_bytes() and Determinate<PH>::total_memory_in_bytes(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/membytes2.cc?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Determinate.defs.hh
by Roberto Bagnara 06 Dec '04

06 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-06 09:14:37 Modified files: src : Determinate.defs.hh Log message: Useless declarations removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?…

1 0

ppl/src Variable.cc Variable.defs.hh
by Roberto Bagnara 05 Dec '04

05 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-05 22:05:20 Modified files: src : Variable.cc Variable.defs.hh Log message: New method Variable::OK(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvs…

1 0