January 2006 - PPL-devel - BUGSENG Mailman

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

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-15 14:41:07 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Tried to specify which versions of XSB can be expected to work and which not. It is a disaster, but there is little we can do about that. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/tests/Polyhedron Makefile.am lpproblem1.cc ...
by Enea Zaffanella 15 Jan '06

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-15 14:27:53 Modified files: tests/Polyhedron: Makefile.am lpproblem1.cc Added files: tests/Polyhedron: lpproblem3.cc Log message: Added another test for LP_Problem. Avoid redundnat inclusion in lpproblem1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/lpproblem3.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/lpproblem1.c…

1 0

ppl/interfaces/Prolog/XSB ppl_xsb.cc
by Roberto Bagnara 15 Jan '06

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-15 13:11:19 Modified files: interfaces/Prolog/XSB: ppl_xsb.cc Log message: Backtracking: XSB does not support 32-bit integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 15 Jan '06

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-15 12:35:19 Modified files: doc : definitions.dox Log message: Corrected the result for the example on affine preimages as well as a typo, both signaled by Matthew. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 15 Jan '06

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-15 11:59:03 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Revised tests for ppl_Coefficient_max/1 and ppl_Coefficient_min/1. Reduced the maximum and minimum integer that can be handled by XSB to 2^28-1 and -2^28 respectively. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 15 Jan '06

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-15 10:45:38 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Predicates ppl_Coefficient_min/1 and ppl_Coefficient_max/1 now fail if the respective values are not representable as Prolog integers. Avoid compiler warnings. Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

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

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-15 10:43:47 Modified files: interfaces/Prolog/YAP: ppl_yap.cc Log message: Declare and initialize Prolog_min_integer. Avoid a compiler warning. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl/interfaces/Prolog/XSB ppl_xsb.cc
by Roberto Bagnara 15 Jan '06

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-15 10:43:14 Modified files: interfaces/Prolog/XSB: ppl_xsb.cc Log message: Avoid a compiler warning. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus_sd.cc
by Roberto Bagnara 15 Jan '06

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-15 10:42:45 Modified files: interfaces/Prolog/SICStus: ppl_sicstus_sd.cc Log message: Declare and initialize Prolog_min_integer. Avoid a compiler warning. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/interfaces/Prolog/SWI ppl_swiprolog.cc
by Roberto Bagnara 15 Jan '06

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-15 10:42:13 Modified files: interfaces/Prolog/SWI: ppl_swiprolog.cc Log message: Initialize Prolog_min_integer and Prolog_max_integer. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0