October 2008 - PPL-devel - BUGSENG Mailman

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

01 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-01 11:34:43 Modified files: interfaces/Prolog/GNU: Makefile.am Log message: Further revisions - to the code for the generated tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil…

1 0

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

01 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-01 11:14:27 Modified files: interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am swi_prolog_generated_test.pl interfaces/Prolog/XSB: Makefile.am interfaces/Prolog/YAP: Makefile.am interfaces/Prolog/tests: ppl_interface_generator_prolog_generated_test_pl_code.m4 Added files: interfaces/Prolog/GNU: gnu_prolog_generated_test.pl interfaces/Prolog/YAP: yap_prolog_generated_test.pl interfaces/Prolog/tests: expected_pgt Log message: Revised the code for running the generated tests. The expected result (OK) is in expected_pgt. Some coefficients in the generated tests have been simplified to avoid unintended overflows. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gnu_pro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_pro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil… 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/ppl_i…

1 0

ppl/tests/BD_Shape closure1.cc
by Enea Zaffanella 01 Oct '08

01 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-01 10:51:34 Modified files: tests/BD_Shape : closure1.cc Log message: test02 will not overflow if using exact BD instances; test03 will overflow on 8bit configurations when using exact BD instances. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/closure1.cc.di…

1 0

Library core, C and C++ interfaces quasi-frozen
by Roberto Bagnara 01 Oct '08

01 Oct '08

Please, consult with me before making any semantic (i.e., non documentation or code formatting) change to those. Work can continue normally on all the other interfaces, with priority given to the Java interface, which will be the next one to be put in the quasi-frozen state. Thanks, 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