October 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/SWI swi_prolog_generated ...
by Patricia Hill 09 Oct '08

09 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-09 14:46:29 Modified files: interfaces/Prolog/SWI: swi_prolog_generated_test.pl Log message: Include the directive :- use_module(library(lists), [member/2, append/2]). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pro…

1 0

ppl/src Octagonal_Shape.defs.hh
by Enea Zaffanella 09 Oct '08

09 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-09 14:36:08 Modified files: src : Octagonal_Shape.defs.hh Log message: Class Octagonal_Shape is in the C++ interface documentation group. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d…

1 0

ppl/interfaces/OCaml Makefile.am tests/Makefile.am
by Enea Zaffanella 09 Oct '08

09 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-09 14:32:42 Modified files: interfaces/OCaml: Makefile.am interfaces/OCaml/tests: Makefile.am Log message: When compiling using ocamlc, set the stack limit to 1 MB. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/Makefi…

1 0

ppl/interfaces/Prolog/GNU Makefile.am
by Patricia Hill 09 Oct '08

09 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-09 14:19:44 Modified files: interfaces/Prolog/GNU: Makefile.am Log message: Test ppl_prolog_generated_test added to check-local. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil…

1 0

ppl/interfaces/Prolog/GNU Makefile.am
by Patricia Hill 09 Oct '08

09 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-09 11:13:13 Modified files: interfaces/Prolog/GNU: Makefile.am Log message: Include ppl_prolog_generated_test in check-local Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil…

1 0

ppl/interfaces/Prolog/YAP Makefile.am
by Patricia Hill 09 Oct '08

09 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-09 08:43:08 Modified files: interfaces/Prolog/YAP: Makefile.am Log message: Include ppl_prolog_generated_test in check-local. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0

ppl/interfaces/Prolog/tests Makefile.am
by Roberto Bagnara 09 Oct '08

09 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-09 08:36:59 Modified files: interfaces/Prolog/tests: Makefile.am Log message: Keep the expected files together in EXTRA_DIST. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makef…

1 0

Is there a way to make SWI-Prolog Valgrind-clean?
by Roberto Bagnara 09 Oct '08

09 Oct '08

Here is what I observe (note that I simply typed Control-D at the prompt): $ export VALGRIND=yes $ valgrind --tool=memcheck -q --trace-children=yes --leak-check=yes --num-callers=100 --leak-resolution=high --suppressions=/home/roberto/ppl/ppl/tests/valgrind_suppressions /usr/local/bin/pl Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 5.6.61) Copyright (c) 1990-2008 University of Amsterdam. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions. Please visit http://www.swi-prolog.org for details. For help, use ?- help(Topic). or ?- apropos(Word). ?- % halt ==6515== ==6515== 24 bytes in 1 blocks are definitely lost in loss record 16 of 61 ==6515== at 0x40054E5: malloc (vg_replace_malloc.c:149) ==6515== by 0x806904F: SinitStreams (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80E6B69: PL_initialise (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x8050D91: main (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== ==6515== ==6515== 24 bytes in 1 blocks are definitely lost in loss record 17 of 61 ==6515== at 0x40054E5: malloc (vg_replace_malloc.c:149) ==6515== by 0x806901D: SinitStreams (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80E6B69: PL_initialise (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x8050D91: main (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== ==6515== ==6515== 24 bytes in 1 blocks are definitely lost in loss record 18 of 61 ==6515== at 0x40054E5: malloc (vg_replace_malloc.c:149) ==6515== by 0x8068FE3: SinitStreams (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80E6B69: PL_initialise (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x8050D91: main (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== ==6515== ==6515== 1,024 bytes in 1 blocks are definitely lost in loss record 49 of 61 ==6515== at 0x40054E5: malloc (vg_replace_malloc.c:149) ==6515== by 0x805546F: PL_malloc (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x8057A4B: codeToAtom (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80B8DD2: simple_term (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80B71AA: complex_term (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80BB6A7: read_term (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80BC8AF: read_clause (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80BCAEA: pl_read_clause_va (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x8064063: PL_next_solution (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80AA604: callProlog (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80DA15B: pl_with_mutex (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x805A9F1: callForeign (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x8061D6C: PL_next_solution (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80AA233: prologToplevel (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80E705F: PL_initialise (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x8050D91: main (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== ==6515== ==6515== 2,596 (44 direct, 2,552 indirect) bytes in 1 blocks are definitely lost in loss record 54 of 61 ==6515== at 0x40054E5: malloc (vg_replace_malloc.c:149) ==6515== by 0x805546F: PL_malloc (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80D8546: allocSimpleMutex (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x8098B66: _lookupModule (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80991A8: lookupModule (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x8055736: PL_predicate (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80E5702: PL_cleanup (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x8054A41: PL_halt (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x8050DB6: main (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) $ Is there a way to configure/compile/execute SWI-Prolog so that it deallocates all memory before exiting? 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/interfaces/Prolog/tests Makefile.am
by Patricia Hill 09 Oct '08

09 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-09 08:18:54 Modified files: interfaces/Prolog/tests: Makefile.am Log message: Distribute expected_pgt Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makef…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 09 Oct '08

09 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-09 07:55:24 Modified files: interfaces/Prolog/tests: ppl_interface_generator_prolog_generated_test_pl_code.m4 Log message: add_disjuncts test corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0