March 2005 - PPL-devel - BUGSENG Mailman

ppl/src BD_Shape.defs.hh
by Roberto Bagnara 04 Mar '05

04 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-04 21:29:17 Modified files: src : BD_Shape.defs.hh Log message: Comments for CC76_extrapolation_assign(const BD_Shape& y) and CC76_extrapolation_assign(const BD_Shape& y, Iterator first, Iterator last) revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

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

04 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-04 16:33:19 Modified files: src : Polyhedron.defs.hh Log message: Misleading variable name changed in the Polyhedron class documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/debian control
by Roberto Bagnara 03 Mar '05

03 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-03 18:56:03 Modified files: debian : control Log message: Now libppl-dev depends on libppl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/control.diff?cvsroot=p…

1 0

ppl/debian control
by Roberto Bagnara 03 Mar '05

03 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-03 12:33:57 Modified files: debian : control Log message: Packages named `libppl*' instead of `ppl*'. Dependency from g++ fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/control.diff?cvsroot=p…

2 1

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

03 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-03 15:29:10 Modified files: src : BD_Shape.inlines.hh Log message: BD_Shape::generalized_affine_image(const Linear_Expression&, const Relation_Symbol, const Linear_Expression&) improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

PPL Homepage
by Janet Casey 03 Mar '05

03 Mar '05

Can you tell me ehat the current homepage is for PPL, please? Thanks! -- Janet Casey Maintainer, FSF Directory of Free Software http://www.gnu.org/directory/ jcasey(a)gnu.org

2 1

ppl/debian libppl-dev.dirs libppl-dev.install ...
by Roberto Bagnara 03 Mar '05

03 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-03 12:37:31 Added files: debian : libppl-dev.dirs libppl-dev.install libppl.dirs libppl.install Log message: Directories and installed files for packages libppl and libppl-dev. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-dev.dirs?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-dev.install?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl.dirs?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl.install?cvsroot…

1 0

ppl/doc definitions.dox
by Roberto Bagnara 03 Mar '05

03 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-03 12:02:50 Modified files: doc : definitions.dox Log message: Some headings properly capitalized. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

debian/control - syntax error
by Michael Tautschnig 02 Mar '05

02 Mar '05

Hello! I'm afraid, the dependancy-information in debian/control still demands some changes: - To depend on a single version '(= <version>)' is the correct syntax (instead of '(== <version>)' ) - instead of g++ (= 3.4), g++-3.4 must be writter - there is no version 3.4 of the g++ -package Thanks, Michael

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 15:20:04 Modified files: src : BD_Shape.inlines.hh Log message: Simplified the logic 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