October 2001 - PPL-devel - BUGSENG Mailman

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

ppl/src GenSys.defs.hh ConSys.defs.hh
by Enea Zaffanella 22 Oct '01

22 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-22 19:13:00 Modified files: src : GenSys.defs.hh ConSys.defs.hh Log message: When using the doxygen command \code, indentation really matters and, for consistency, we should start with a 2-spaces indentation. 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/ConSys.defs.hh.diff?cvsro…

1 0

ppl/src Generator.defs.hh
by Enea Zaffanella 22 Oct '01

22 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-22 19:11:12 Modified files: src : Generator.defs.hh Log message: Example on how to build vertices split into two parts: the first one shows how to build a generic vertex and, in particular, the origin of the space; the second one shows how to use the optional denominator argument. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv…

1 0

ppl/src Status.defs.hh Status.cc
by Enea Zaffanella 22 Oct '01

22 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-22 19:07:51 Modified files: src : Status.defs.hh Status.cc Log message: An annoying warning about an unused argument dealt with by exploiting pre-processing macro NDEBUG. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.cc.diff?cvsroot=pp…

1 0

ppl/src Polyhedron.cc conversion.cc simplify.cc
by Elisa Ricci 22 Oct '01

22 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-22 16:18:25 Modified files: src : Polyhedron.cc conversion.cc simplify.cc Log message: Used the notation of "vect{..}" for all the vectors that are in the comments. The definitions and the rules must be seen in the "Introduction" instead of "definitions.dox" or "user_definitions.dox". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Enea Zaffanella 22 Oct '01

22 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-22 16:08:26 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: Now the argument `denominator' for methods Polyhedron::assign_variable and Polyhedron::substitute_variable is a _const_ Integer&, optional and with a default value of 1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0