CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@cs.unipr.it 2008-10-28 16:08:20 Modified files: demos/ppl_lcdd : ppl_lcdd.cc demos/ppl_lpsol: ppl_lpsol.c doc : libppl.3 src : Init.cc tests/Polyhedron: memory1.cc memory2.cc Log message: The C function name `set_GMP_memory_allocation_functions()' was breaking our namespace promise: renamed `ppl_set_GMP_memory_allocation_functions()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl.3.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&r... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory1.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory2.cc.di...