October 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/SWI Makefile.am ppl_inte ...
by Roberto Bagnara 10 Oct '06

10 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-10 07:34:53 Modified files: interfaces/Prolog/SWI: Makefile.am ppl_interface_generator_swiprolog_cc.m4 Added files: interfaces/Prolog/SWI: swi_cfli.hh Removed files: interfaces/Prolog/SWI: swi_cfli.cc swi_cfli.h swi_cfli.ic Log message: Reorganized the SWI Prolog Common Foreign Language Interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_cfl… 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/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_cfl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_cfl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_cfl…

1 0

ppl/interfaces/Prolog/GNU Makefile.am
by Roberto Bagnara 09 Oct '06

09 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-09 20:28:49 Modified files: interfaces/Prolog/GNU: Makefile.am Log message: Copy-and-paste mistake fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil…

1 0

ppl/tests/Polyhedron membytes1.cc
by Roberto Bagnara 09 Oct '06

09 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-09 20:11:45 Modified files: tests/Polyhedron: membytes1.cc Log message: test01() is expected to result in underflow with 8-bit coefficients also with assertions disabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/membytes1.cc…

1 0

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 09 Oct '06

09 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-09 16:03:18 Modified files: interfaces : ppl_interface_generator_common.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_extra_code ppl_interface_generator_predicate_check_pl.m4 Log message: Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… 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/Prolog Makefile.am
by Roberto Bagnara 09 Oct '06

09 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-09 12:10:47 Modified files: interfaces/Prolog: Makefile.am Log message: YAP subdirectory re-enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am…

1 0

ppl/interfaces/Prolog/XSB ppl_interface_genera ...
by Roberto Bagnara 09 Oct '06

09 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-09 12:10:07 Modified files: interfaces/Prolog/XSB: ppl_interface_generator_xsb_cc.m4 Log message: Copy-and-paste mistake fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_int…

1 0

ppl/tests/Polyhedron variablesset1.cc
by Roberto Bagnara 09 Oct '06

09 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-09 10:53:36 Modified files: tests/Polyhedron: variablesset1.cc Log message: Work around a bug in GCC 3.3.3. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/variablesset…

1 0

ppl/interfaces/Prolog/XSB xsb_cfli.hh
by Roberto Bagnara 09 Oct '06

09 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-09 09:21:11 Added files: interfaces/Prolog/XSB: xsb_cfli.hh Log message: New implementation of the XSB Prolog Common Foreign Language Interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_cfl…

1 0

ppl/tests/Octagonal_Shape generalizedaffinepre ...
by Roberto Bagnara 09 Oct '06

09 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-09 09:03:50 Modified files: tests/Octagonal_Shape: generalizedaffinepreimage1.cc Log message: Thresholds for test12() updated to reflect the precision attainable on the Alpha processor. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/general…

1 0

ppl/tests/Octagonal_Shape disjoint1.cc
by Roberto Bagnara 09 Oct '06

09 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-09 08:51:47 Modified files: tests/Octagonal_Shape: disjoint1.cc Log message: Spurious ASCII-dumps removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/disjoin…

1 0