February 2002 - PPL-devel - BUGSENG Mailman

ppl/src GenSys.cc
by Enea Zaffanella 14 Feb '02

14 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-14 11:32:33 Modified files: src : GenSys.cc Log message: In method remove_invalid_lines_and_rays(), we do not need to keep the generators sorted (this saves efficiency, since we were always calling it with a possibly non-sorted system). Using remove_invalid_lines_and_rays() in affine_image. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/src Generator.cc
by Elisa Ricci 14 Feb '02

14 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-02-14 10:04:23 Modified files: src : Generator.cc Log message: Changed the error message and the comment in function Generator::OK(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot…

1 0

ppl/src GenSys.cc Polyhedron.cc
by Enea Zaffanella 14 Feb '02

14 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-14 09:50:15 Modified files: src : GenSys.cc Polyhedron.cc Log message: Avoiding all shadowing of the space_dim member of a Polyhedron. Now using the accessor Polyhedron::space_dimension() only when needed. Fixed a few comments. Patches: 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/Polyhedron.cc.diff?cvsroo…

1 0

ppl src/Polyhedron.cc tests/Makefile.am tests/ ...
by Elisa Ricci 14 Feb '02

14 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-02-14 09:37:16 Modified files: src : Polyhedron.cc tests : Makefile.am Added files: tests : includes1.cc Log message: Erased the abort() at the end of function Polyhedron::includes(g) and added a test for this function. 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/tests/includes1.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

Memory allocation [Was: RE: Other issues]
by Roberto Bagnara 14 Feb '02

14 Feb '02

Matt Carter wrote: > > nisse(a)lysator.liu.se (Niels Möller) writes: > > > > There should be a list somewhere of "these are the things we want to > > change next time we make a new version that isn't 100% compatible", > > and deleting gmp_errno should be on that list. IMHO. > > Add to that list, the ability to recover from memory allocation failures. > > Currently, the GMP functions that call __gmp_allocate_func() generally do > not check the return value for NULL. Further, many of them return void, so > changing them to return an out-of-memory error code would change the GMP > API. > > We use GMP in a mission critical system which regularly hits the limits of > available memory, so GMP's behavior of requiring the application to > terminate when out of memory was unacceptable. This is indeed unacceptable in many situations. And now that GMP provides a C++ interface, it is really desirable that a bad_alloc exception is thrown on memory allocation failure. I would say that it is desirable _independently_ from the application (in our specific application we cannot simply afford not to have it). What we do now is to provide our own exception-throwing, C++ allocation functions, installing them with mp_set_memory_functions(cxx_malloc, cxx_realloc, cxx_free); and making sure GMP has been compiled with the "-fexceptions" flag of GCC, something that can be done by configuring GMP with a command like CPPFLAGS=-fexceptions my/path/to/gmp-4.0.1/configure ... This seems to work quite well for us. I know this solution is not blessed by the GMP maintainers but, as far as I can tell, there is no other option at the moment. All the best Roberto -- Prof. 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 configure.ac
by Roberto Bagnara 13 Feb '02

13 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-13 23:45:55 Modified files: . : configure.ac Log message: Bump version number. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src GenSys.cc GenSys.defs.hh
by Roberto Bagnara 13 Feb '02

13 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-13 23:42:54 Modified files: src : GenSys.cc GenSys.defs.hh Log message: Overload the output operator for GenSys_Con_Rel. Patches: 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/GenSys.defs.hh.diff?cvsro…

1 0

ppl/tests Makefile.am affine_image1.cc satisfi ...
by Roberto Bagnara 13 Feb '02

13 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-13 23:41:59 Modified files: tests : Makefile.am Added files: tests : affine_image1.cc satisfies1.cc Log message: New test programs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affine_image1.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/satisfies1.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src GenSys.cc Polyhedron.cc
by Elisa Ricci 13 Feb '02

13 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-02-13 19:08:58 Modified files: src : GenSys.cc Polyhedron.cc Log message: Modified the function Polyhedron::satisfies(...). In function GenSys::affine_image(...) we erase the rows that have all the terms equal to zero. Patches: 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/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src minimize.cc
by Elisa Ricci 13 Feb '02

13 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: ericci(a)cs.unipr.it 2002-02-13 12:07:54 Modified files: src : minimize.cc Log message: In functions minimize() and add_and_minimize(), to obtain the system of constraints in the case !con_to_gen now we use conversion(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…

1 0