November 2006 - PPL-devel - BUGSENG Mailman

ppl/src checked.inlines.hh checked_float.inlin ...
by Abramo Bagnara 22 Nov '06

22 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-22 11:56:04 Modified files: src : checked.inlines.hh checked_float.inlines.hh checked_mpq.inlines.hh checked_mpz.inlines.hh Log message: Added force_integer implementation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

ppl interfaces/Prolog/ppl_interface_generator_ ...
by Patricia Hill 22 Nov '06

22 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-22 11:13:51 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_pl.m4 src : Grid.defs.hh tests/BD_Shape : relations3.cc tests/Octagonal_Shape: relatwithgen1.cc Log message: Comment corrected in src/Grid.defs.hh Redundant code removed in added tests in tests/Octagonal_Shape/relatwithgen1.cc and tests/BD_Shape/relations3.cc Bug corrected in interfaces/Prolog/ppl_interface_generator_prolog_icc_code.m4 Generation of tests simplified (and made faster) in interfaces/Prolog/tests/ppl_interface_generator_predicate_check_pl.m4 Temporarily suppressed failing tests in interfaces/Prolog/tests/ppl_interface_generator_predicate_check_code.m4 Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations3.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/relatwi…

1 0

ppl/tests BD_Shape/relations3.cc Octagonal_Sha ...
by Patricia Hill 22 Nov '06

22 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-22 10:06:00 Modified files: tests/BD_Shape : relations3.cc tests/Octagonal_Shape: relatwithgen1.cc Log message: Added 2 tests to each of these test files. The first of these (13 in BD_Shape/relations3.cc and 20 in Octagonal_Shape/relatwithgen1.cc) throw an exception but the call to these is commented for now. The second of these (14 in BD_Shape/relations3.cc and 21 in Octagonal_Shape/relatwithgen1.cc) fail indicating a possible bug. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations3.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/relatwi…

1 0

ppl/interfaces/Prolog tests/Makefile.am tests/ ...
by Patricia Hill 21 Nov '06

21 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-21 22:55:25 Modified files: interfaces/Prolog/tests: Makefile.am ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_pl.m4 Added files: interfaces/Prolog/SICStus: sp_predicate_check.pl interfaces/Prolog/SWI: swi_predicate_check.pl interfaces/Prolog/tests: ppl_predicate_check_common.pl Removed files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_extra_code Log message: The fixed part of the code containing the test data is now a separate Prolog file called tests/ppl_predicate_check_common.pl This is included with the generated code by the top-level test files: SICStus/sp_predicate_check.pl and SWI/swi_predicate_check.pl. Similar files will be needed by the other Prolog systems before they can run these generated tests. The code generator no longer attempts to generate tests for the fixed MIP and version predicates. The file tests/ppl_interface_generator_predicate_check_extra_code which contained the fixed data is now replaced by ppl_predicate_check_common.pl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pre… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makef… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 21 Nov '06

21 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-21 18:41:39 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: It is upper_bound_assign_if_exact and not as I had it: upper_bound_if_exact. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/interfaces/Java jni/ppl_interface_generato ...
by Andrea Cimino 21 Nov '06

21 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-21 18:37:35 Modified files: interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 ppl_java_tests_common Log message: Some fixes to the interface. Extended the m4 generated test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_jav…

1 0

Re: [PPL-devel] [Yap-users] Interfacing Yap with a C++ library
by Roberto Bagnara 21 Nov '06

21 Nov '06

Vitor Santos Costa wrote: > - The second possibility is that C++ needs a dynamic library, which is > weird. You can try > > configure --enable-dynamic-loading > make clean > make install > > That should have a .so file. > > Please tell me if you can't still make it work. Dear Vitor, since I have stumbled on exactly the same problem encountered by Pat, I have tried the above suggestion. This solves the problem indicated by "usr/bin/ld: /usr/local/lib/libYap.a(c_interface.o): relocation R_X86_64_32S against `Yap_REGS' can not be used when making a shared object; recompile with -fPIC". However, now there is another problem: % Restoring file /usr/local/lib/Yap/startup YAP version Yap-5.1.1 % reconsulting /home/roberto/ppl/ppl/interfaces/Prolog/YAP/yap_pl_check.pl... % reconsulting /home/roberto/ppl/ppl/interfaces/Prolog/YAP/ppl_yap.pl... % % % YAP OOOPS: tried to access illegal address 0x8!!!!. % % 1725KB of Code Space (0x8800000--0x89af4b0) 1KB of Global Stack (0x89b4000--0x89b4598) 2KB of Local Stack (0x8b3f768--0x8b40000) 0KB of Trail (0x8b40008--0x8b40088) Performed 0 garbage collections Running code at clause 1 of prolog:load_foreign_files/3 Continuation is at clause 1 of prolog:load_foreign_files/3 clause 1 of prolog:load_foreign_files/3 clause 2 of prolog:$do_yes_no/2 clause 6 of prolog:$process_directive/3 clause 5 of prolog:$execute_command/4 indexing code of prolog:$catch/3 (*) clause 1 of prolog:$system_catch/4 clause 1 of prolog:$loop/2 clause 1 of prolog:$do_lf/9 clause 7 of prolog:$lf/13 clause 1 of prolog:$load_files/3 clause 5 of prolog:$execute_command/4 indexing code of prolog:$catch/3 (*) clause 1 of prolog:$system_catch/4 clause 1 of prolog:$loop/2 clause 1 of prolog:$do_lf/9 clause 7 of prolog:$lf/13 clause 1 of prolog:$load_files/3 indexing code of prolog:$catch/3 (*) clause 1 of prolog:$system_catch/4 clause 1 of prolog:$do_startup_reconsult/1 clause 1 of prolog:$init_system/0 clause 1 of prolog:$live/0 Exiting .... The problem disappears if I configure with configure --enable-dynamic-loading --enable-debug-yap I have tried to disable all optimizations in order to better understand what is going on using gdb, but with optimizations turned off, making Yap dies at this point: gcc -rdynamic -Wl,-R,NONE/lib -o yap yap.o libYap.so -lgmp -lreadline -lncurses -ltermcap -lm -ldl -lnsl /usr/bin/ld: yap: hidden symbol `stat' in /usr/lib64/libc_nonshared.a(stat.oS) is referenced by DSO /usr/bin/ld: final link failed: Nonrepresentable section on output collect2: ld returned 1 exit status By configuring with CFLAGS="-g -O" ./configure --enable-dynamic-loading I can use gdb to see where the illegal access at address 0x8 occurs: % Restoring file /usr/local/lib/Yap/startup YAP version Yap-5.1.1 % reconsulting /home/roberto/ppl/ppl/interfaces/Prolog/YAP/yap_pl_check.pl... % reconsulting /home/roberto/ppl/ppl/interfaces/Prolog/YAP/ppl_yap.pl... Program received signal SIGSEGV, Segmentation fault. Yap_NewPredPropByFunctor (fe=0x89af410, cur_mod=142656577) at ./C/adtdefs.c:532 532 p->KindOfPE = PEProp; (gdb) list 527 Prop p0; 528 PredEntry *p = (PredEntry *) Yap_AllocAtomSpace(sizeof(*p)); 529 530 INIT_RWLOCK(p->PRWLock); 531 INIT_LOCK(p->PELock); 532 p->KindOfPE = PEProp; 533 p->ArityOfPE = fe->ArityOfFE; 534 p->cs.p_code.FirstClause = p->cs.p_code.LastClause = NULL; 535 p->cs.p_code.NOfClauses = 0; 536 p->PredFlags = 0L; (gdb) print p $1 = (PredEntry *) 0x0 (gdb) print &(p->KindOfPE) $2 = (PropFlags *) 0x8 (gdb) Does this shed any light? Please let me know if I can do more to help locate the sources of the problems. 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

2 3

ppl/src BD_Shape.templates.hh
by Elena Mazzi 21 Nov '06

21 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-11-21 16:16:22 Modified files: src : BD_Shape.templates.hh Log message: Removed an useless variable `space_dim' in refine(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 21 Nov '06

21 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-21 15:29:48 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Allow the relation_with_generator procedrure for BD_Shape. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/interfaces/Java/ppl_java MIP_Problem_Statu ...
by Andrea Cimino 21 Nov '06

21 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-21 13:35:23 Added files: interfaces/Java/ppl_java: MIP_Problem_Status.java Log message: Added a missing enum declaration. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/MIP_…

1 0