September 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/XSB Makefile.am
by Patricia Hill 05 Sep '08

05 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-05 15:56:41 Modified files: interfaces/Prolog/XSB: Makefile.am Log message: Added code for generating ppl_xsb.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

ppl/interfaces/Prolog/XSB ppl_interface_genera ...
by Patricia Hill 05 Sep '08

05 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-05 15:53:15 Modified files: interfaces/Prolog/XSB: ppl_interface_generator_xsb_cc.m4 Added files: interfaces/Prolog/XSB: ppl_interface_generator_xsb_hh.m4 Log message: Split the generating file so as to generate 2 C++ files, ppl_xsb.hh (containing only the "defines") and ppl_xsb.cc for the rest. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_int…

1 0

ppl/interfaces/Prolog/XSB xsb_cfli.hh
by Roberto Bagnara 05 Sep '08

05 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-05 14:31:17 Modified files: interfaces/Prolog/XSB: xsb_cfli.hh Log message: Added a missing `inline' qualifier. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_cfl…

1 0

ppl/doc Makefile.am
by Roberto Bagnara 05 Sep '08

05 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-05 14:29:12 Modified files: doc : Makefile.am Log message: Updated the definition of DEVREF_PROLOG_INTERFACE_STUFF. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

tests/Polyhedron/memory1 not workin on Mac OS X
by Roberto Bagnara 05 Sep '08

05 Sep '08

Dear Dominique and Jack, can you please try the following on your machines? My guess is that you will not see the "bad_alloc caught" output from a.out, in which case the question becomes: Why isn't setrlimit working on Mac OS X? All the best, Roberto $ cat bug.cc #include <new> #include <cstring> #include <cerrno> #include <sys/types.h> #include <sys/time.h> #include <sys/resource.h> #include <unistd.h> #include <iostream> #include <cstdlib> #define LIMIT(WHAT) \ do { \ if (getrlimit(WHAT, &t) != 0) { \ std::cerr << "getrlimit failed: " << strerror(errno) << std::endl; \ exit(1); \ } \ t.rlim_cur = bytes; \ if (setrlimit(WHAT, &t) != 0) { \ std::cerr << "setrlimit failed: " << strerror(errno) << std::endl; \ exit(1); \ } \ } while (0) void limit_memory(unsigned long bytes) { struct rlimit t; // Limit heap size. LIMIT(RLIMIT_DATA); // Limit resident set size. LIMIT(RLIMIT_RSS); // Limit mapped memory (brk + mmap). //LIMIT(RLIMIT_VMEM); // Limit virtual memory. LIMIT(RLIMIT_AS); } int main() try { limit_memory(10000); (void) new char[20000]; std::cout << "no exception thrown" << std::endl; } catch (std::bad_alloc) { std::cout << "bad_alloc caught" << std::endl; } catch (...) { std::cout << "unknown exception thrown" << std::endl; } $ g++ -W -Wall bug.cc $ a.out bad_alloc caught $ -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 2

ppl/interfaces/Prolog/XSB ppl_interface_genera ...
by Patricia Hill 05 Sep '08

05 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-05 13:28:40 Modified files: interfaces/Prolog/XSB: ppl_interface_generator_xsb_cc.m4 Log message: Reorder the lines for the divert(1) and divert(2) and #include ... Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_int…

1 0

ppl/src Bit_Matrix.cc checked.cc conversion.cc
by Roberto Bagnara 05 Sep '08

05 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-05 13:11:41 Modified files: src : Bit_Matrix.cc checked.cc conversion.cc Log message: Added missing inclusions of <climits>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Matrix.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.cc.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/interfaces/Prolog/XSB xsb_efli.cc
by Roberto Bagnara 05 Sep '08

05 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-05 13:07:58 Modified files: interfaces/Prolog/XSB: xsb_efli.cc Log message: Removed some unwanted PPL:: qualifications. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_efl…

1 0

ppl/interfaces/Prolog/XSB ppl_interface_genera ...
by Patricia Hill 05 Sep '08

05 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-05 10:52:53 Modified files: interfaces/Prolog/XSB: ppl_interface_generator_xsb_cc.m4 Log message: Restored some divert(n)'s. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_int…

1 0

ppl/tests/Box ascii_dump_load1.cc
by Enea Zaffanella 05 Sep '08

05 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-05 10:50:44 Modified files: tests/Box : ascii_dump_load1.cc Log message: Corrected test04. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/ascii_dump_load1.cc…

1 0