January 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/tests expected_pchk_int1 ...
by Patricia Hill 05 Jan '06

05 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-05 18:08:56 Modified files: interfaces/Prolog/tests: expected_pchk_int16 expected_pchk_int16_a expected_pchk_int32 expected_pchk_int32_a expected_pchk_int64 expected_pchk_int64_a expected_pchk_int8 expected_pchk_int8_a pl_check.pl Log message: Revised expected files and avoid error message when there is an overflow exception for the large numbers in the C++. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/interfaces/Prolog/YAP ppl_yap.cc
by Roberto Bagnara 05 Jan '06

05 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-05 17:46:24 Modified files: interfaces/Prolog/YAP: ppl_yap.cc Log message: Fixed integer_term_to_Coefficient(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl/interfaces/Prolog/YAP ppl_yap.cc
by Roberto Bagnara 05 Jan '06

05 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-05 17:34:25 Modified files: interfaces/Prolog/YAP: ppl_yap.cc Log message: Prolog_is_integer() updated to support the newest versions of YAP. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl/interfaces/Prolog/tests expected_pchk_int1 ...
by Patricia Hill 05 Jan '06

05 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-05 13:28:53 Modified files: interfaces/Prolog/tests: expected_pchk_int16 expected_pchk_int16_a expected_pchk_int32 expected_pchk_int32_a expected_pchk_int64 expected_pchk_int64_a Log message: Revised expected results for pl_check to allow for tests for large numbers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0

ppl/interfaces/Prolog/tests expected_pchk_int8 ...
by Patricia Hill 05 Jan '06

05 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-05 11:43:10 Modified files: interfaces/Prolog/tests: expected_pchk_int8 expected_pchk_int8_a Log message: Updated expected results for the large number tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0

ppl/interfaces/Prolog Ciao/ciao_pl_check.pl GN ...
by Patricia Hill 05 Jan '06

05 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-05 11:16:50 Modified files: interfaces/Prolog/Ciao: ciao_pl_check.pl interfaces/Prolog/GNU: gnu_pl_check.pl interfaces/Prolog/SICStus: sp_pl_check.pl interfaces/Prolog/SWI: swi_pl_check.pl interfaces/Prolog/XSB: xsb_pl_check.P interfaces/Prolog/YAP: yap_pl_check.pl interfaces/Prolog/tests: pl_check.pl Log message: Added to the system dependent files prolog_system(...). Added tests to pl_check.pl for testing large numbers. When prolog_system(xsb) holds, these tests are omitted. Bugs in maximize and minimize test code fixed. typo in exception message fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gnu_pl_… 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_pl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_pl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/interfaces/Prolog Prolog_interface.dox YAP ...
by Roberto Bagnara 05 Jan '06

05 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-05 10:27:00 Modified files: interfaces/Prolog: Prolog_interface.dox interfaces/Prolog/YAP: ppl_yap.cc Log message: Use (and require) the new YAP interface for arbitrary precision integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

Problems compiling current CVS HEAD version
by Roberto Bagnara 05 Jan '06

05 Jan '06

Hi there, since we are still having problem with bignums, I have tried compiling the current CVS HEAD version of YAP. However, the make process fails at this point: ... $ gcc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM ./C/adtdefs.c -o adtdefs.o ./C/adtdefs.c:309: warning: no previous prototype for ‘Yap_GetOpProp’ ./C/adtdefs.c: In function ‘Yap_GetOpProp’: ./C/adtdefs.c:317: error: ‘struct <anonymous>’ has no member named ‘OpModule’ ./C/adtdefs.c:318: error: ‘struct <anonymous>’ has no member named ‘OpModule’ make: *** [adtdefs.o] Error 1 I am using GCC 4.0.2 on a fully-updated Fedora Core 4 system. Cheers, 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 1

ppl/src LP_Problem.cc
by Enea Zaffanella 05 Jan '06

05 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: zaffanella(a)cs.unipr.it 2006-01-05 00:02:01 Modified files: src : LP_Problem.cc Log message: Added a few calls to ascii_dump() in the OK method to help in debugging. Corrected a bug in incremental() whereby an illegal dim_map was built. Corrected another bug whereby last_generator was not updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/interfaces/Prolog/YAP ppl_yap.cc
by Roberto Bagnara 04 Jan '06

04 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-04 22:30:15 Modified files: interfaces/Prolog/YAP: ppl_yap.cc Log message: Use a single temporary mpz_class object. Added a missing test to Coefficient_to_integer_term(). Use direct assignment instead of assign_r() in integer_term_to_Coefficient(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0