March 2005 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 02 Mar '05

02 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-02 15:17:45 Modified files: src : Polyhedron.defs.hh Log message: Befriend template <typename T> class BD_Shape. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 02 Mar '05

02 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-02 13:41:17 Modified files: src : Polyhedron.inlines.hh Log message: Use of simplex temporarily disabled in Polyhedron::shrink_bounding_box() until we have an efficient way to compute the topological closure of a constraint system. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 02 Mar '05

02 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-02 11:26:23 Modified files: src : BD_Shape.inlines.hh Log message: Added an initial, very rough implementation of BD_Shape<T>::BD_Shape(const Polyhedron&, Complexity_Class). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/tests/Polyhedron affinetrans.cc
by Roberto Bagnara 01 Mar '05

01 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-01 22:44:07 Modified files: tests/Polyhedron: affinetrans.cc Log message: Misleading variable name changed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affinetrans.…

1 0

ppl/tests/BD_Shape affineimage1.cc affineimage ...
by Roberto Bagnara 01 Mar '05

01 Mar '05

1 0

ppl src/BD_Shape.inlines.hh tests/BD_Shape/Mak ...
by Roberto Bagnara 01 Mar '05

01 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-01 20:41:53 Modified files: src : BD_Shape.inlines.hh tests/BD_Shape : Makefile.am generalizedaffineimage1.cc generalizedaffineimage4.cc generalizedaffineimage5.cc Added files: tests/BD_Shape : generalizedaffineimage13.cc Log message: BD_Shape<T>::generalized_affine_image() can now handle any expression. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff…

1 0

debian/control: build-depends
by Michael Tautschnig 01 Mar '05

01 Mar '05

Hello! I just checked out the debian/control file and found - dependencies on g++ *Version 3.4.2* - why does it depend on exactly this single version - missing dependencies on automake1.9 and autoconf Thanks, Michael

2 5

ppl src/BD_Shape.inlines.hh tests/BD_Shape/Mak ...
by Roberto Bagnara 01 Mar '05

01 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-01 11:55:46 Modified files: src : BD_Shape.inlines.hh tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : affinepreimage5.cc Log message: BD_Shape<T>::affine_preimage() can now handle any expression. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl src/BD_Shape.inlines.hh tests/BD_Shape/Mak ...
by Roberto Bagnara 01 Mar '05

01 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-01 10:29:39 Modified files: src : BD_Shape.inlines.hh tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : affineimage8.cc affineimage9.cc Log message: BD_Shape<T>::affine_image() can now handle any expression. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage8.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage9.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl ppl.spec.in
by Roberto Bagnara 01 Mar '05

01 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-01 10:21:12 Modified files: . : ppl.spec.in Log message: Wrong dependency fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0