March 2005 - PPL-devel - BUGSENG Mailman

ppl/debian libppl-dev.doc-base
by Matthew Mundell 29 Mar '05

29 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-03-29 11:45:50 Modified files: debian : libppl-dev.doc-base Log message: Make the fields in the first section contiguous. Update HTML directory name. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-dev.doc-base.di…

1 0

ppl/debian control
by Matthew Mundell 29 Mar '05

29 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-03-29 11:43:10 Modified files: debian : control Log message: Add automake1.4 build conflict. Update interface short descriptions. As per Developers Reference: take leading "The"'s out of short descriptions, add homepage field to long descriptions, take mention of Free Software out of the long descriptions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/control.diff?cvsroot=p…

1 0

ppl/src Checked_Number.defs.hh checked.defs.hh ...
by Abramo Bagnara 26 Mar '05

26 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-03-26 10:45:33 Modified files: src : Checked_Number.defs.hh checked.defs.hh checked_ext.inlines.hh checked_float.inlines.hh checked_int.inlines.hh Log message: Cosmetic fix to conform to usual C++ guidelines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 26 Mar '05

26 Mar '05

1 0

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

25 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-25 20:50:55 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh Log message: Pass arguments of type Coefficient using Coefficient_traits::const_reference instead of plain const reference. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

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

25 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-25 15:45:01 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh Log message: Some unwanted const qualifiers have been removed. Some desirable const qualifiers have been added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

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

25 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-25 12:42:41 Modified files: src : BD_Shape.inlines.hh Log message: Use the proper constructor when building a BDS from a polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/tests/BD_Shape exceptions3.cc
by Roberto Bagnara 25 Mar '05

25 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-25 10:25:02 Modified files: tests/BD_Shape : exceptions3.cc Log message: Reflect the recent changes in the behavior of BDS methods for affine images and preimages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/exceptions3.cc…

1 0

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

25 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-25 10:17:20 Modified files: src : BD_Shape.defs.hh Log message: The documentation of generalized_affine_image(const Linear_Expression&, const Relation_Symbol, const Linear_Expression&) is now consistent with the implementation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

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

25 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-25 10:04:18 Modified files: src : BD_Shape.inlines.hh Log message: Comments of generalized_affine_image(Variable, Relation_Symbol, Linear_Expression&, const Coefficient&) somewhat cleaned up. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0