October 2001 - PPL-devel - BUGSENG Mailman

ppl/src GenSys.defs.hh GenSys.inlines.hh
by Enea Zaffanella 23 Oct '01

23 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-23 14:08:17 Modified files: src : GenSys.defs.hh GenSys.inlines.hh Log message: Inserting a generator in a GenSys automatically adjust the dimensions. Specialization of std:swap for GenSys's added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cv…

1 0

ppl/src ConSys.defs.hh ConSys.inlines.hh
by Enea Zaffanella 23 Oct '01

23 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-23 14:07:05 Modified files: src : ConSys.defs.hh ConSys.inlines.hh Log message: Better documented the fact that, when inserting constraints in a ConSys, dimensions are automatically adjusted. Added the specialization of function std:swap for ConSys's. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cv…

1 0

ppl/doc definitions.dox ppl.sty
by Patricia Hill 23 Oct '01

23 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-23 13:40:17 Modified files: doc : definitions.dox ppl.sty Log message: Changes to allow for a decomposition when there are no vertices. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl.sty.diff?cvsroot=ppl&…

1 0

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 23 Oct '01

23 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-23 11:42:07 Modified files: src : Polyhedron.defs.hh Log message: Brackets closing a namespace should be marked as in namespace Parma_Polyhedra_Library { ... } // namespace Parma_Polyhedra_Library Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src SatMatrix.inlines.hh
by Roberto Bagnara 23 Oct '01

23 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-23 11:40:33 Modified files: src : SatMatrix.inlines.hh Log message: Must include <cassert>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.inlines.hh.diff…

1 0

ppl/src maxmin.hh
by Roberto Bagnara 23 Oct '01

23 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-23 11:39:18 Modified files: src : maxmin.hh Log message: Put everything in our namespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/maxmin.hh.diff?cvsroot=pp…

1 0

Re: Feature request: optionally compile with support for exceptions
by nisse＠lysator.liu.se 23 Oct '01

23 Oct '01

Roberto Bagnara <bagnara(a)cs.unipr.it> writes: > it would be nice to be able to write `--enable-exceptions' in the > GMP configure command line so that, if GMP is compiled with GCC, > the `-fexceptions' option is used. This is necessary to have, > e.g., `bad_alloc' thrown when virtual memory is exhausted and most > serious C++ GMP users will want to do that. Of course, the default > can/should be `--disable-exceptions'. I think that having compile time options that change these kinds of behaviour is asking for trouble. Sooner or later you'll have a system where GMP is installed, and you don't know which way it was compiled, or you have both variants installed in different places and accidentally link with the wrong one. And it probably gets even worse with dynamic linking. If you want exception raising to be optional, I think you should put the two variants into different namespaces, and then you can have compile time options for building either or both variants. An alternative is of course to "always" build with exceptions, and say that the GMP C++ ABI includes raising exceptions under certain circumastances. You could leave a compile time option for disabling exceptions (changing the ABI), but then you'd have to shoot any distributor that ships GMP libraries compiled in that incompatible way. (And at last, you should be able to get what you want with CXXFLAGS=-fexceptions && ./configure && make without using any new configure options). /Niels

2 1

ppl/doc definitions.dox
by Patricia Hill 23 Oct '01

23 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-23 10:58:27 Modified files: doc : definitions.dox Log message: Changes to user introduction to clarify why a polyhedron represented by a system of generators needs a vertex. On-going improvements to the developer's guide including the removal of some repeated definitions. Minor bugs fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/tests Makefile.am
by Roberto Bagnara 23 Oct '01

23 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-23 10:02:16 Modified files: tests : Makefile.am Log message: INCLUDES now includes @extra_includes@. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src ConSys.cc GenSys.cc simplify.cc
by Elisa Ricci 23 Oct '01

23 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-23 09:53:47 Modified files: src : ConSys.cc GenSys.cc simplify.cc Log message: For the definitions and the rules, we must see the Introduction instead of the file definitions.dox. In the functions assign_variable and substitute_variable, the parameter "expr" is the "numerator" of affine expression. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0