- PPL-devel - BUGSENG Mailman

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

ppl/src ConSys.cc Constraint.cc Constraint.inl ...
by Roberto Bagnara 23 Oct '01

23 Oct '01

1 0

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 23 Oct '01

23 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-23 08:32:24 Modified files: htdocs/Download: requirements.raw Log message: We no longer depend on kgcc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

ppl ./config.h.in ./configure.ac doc/user-brow ...
by Roberto Bagnara 23 Oct '01

23 Oct '01

1 0

ppl/src Status.cc
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 08:14:25 Modified files: src : Status.cc Log message: Do not fight against emacs indentation rules. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.cc.diff?cvsroot=pp…

1 0

Feature request: optionally compile with support for exceptions
by Roberto Bagnara 23 Oct '01

23 Oct '01

Torbjorn Granlund wrote: > We're working hard on the new release. When we are ready, > we will release. Hi there, 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'. If you give me access to the sources I will be happy to provide a patch to that effect. Since there is a new release scheduled and this release has a C++ interface to the library, I believed this was the right time to raise the issue. Keep up the great work, Roberto -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0