January 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/GNU ppl_gprolog_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:41:03 Modified files: interfaces/Prolog/GNU: ppl_gprolog_sd.cc Log message: Avoid a compiler warning. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr…

1 0

ppl/interfaces/Prolog/Ciao ppl_ciao.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:40:34 Modified files: interfaces/Prolog/Ciao: ppl_ciao.cc Log message: Define Prolog_min_integer. Avoid a compiler warning. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl/interfaces/Prolog/Ciao ppl_ciao.pl
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 09:57:32 Modified files: interfaces/Prolog/Ciao: ppl_ciao.pl Log message: Implementation of ppl_Coefficient_is_bounded/0 improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl/tests/Polyhedron Makefile.am lpproblem3.cc
by Andrea Cimino 15 Jan '06

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-01-15 03:29:46 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: lpproblem3.cc Log message: Added another test for LP_Problem. 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.…

1 0

ppl/doc definitions.dox
by Matthew Mundell 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-14 22:48:28 Modified files: doc : definitions.dox Log message: Revert last change. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

2 1

ppl/doc definitions.dox
by Matthew Mundell 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-14 22:17:12 Modified files: doc : definitions.dox Log message: Replace "there exist a matrix" with "there exists a matrix" in subsection "Images and Preimages of Affine Transfer Relations". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

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

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-14 21:15:57 Modified files: interfaces/Prolog/XSB: ppl_xsb.cc Log message: In XSB 2.7.1, <cinterf.h> no longer pollutes the namespace with `min' and `max'. However, in XSB 2.7.1, <error_xsb.h> still does not come with the extern "C" wrapper. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb…

1 0

ppl/doc definitions.dox
by Matthew Mundell 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-14 20:30:36 Modified files: doc : definitions.dox Log message: Change the first \leq in the affine relation definition in subsection Generalized_Affine_Relations to \relsym. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

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

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-14 20:28:00 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Removed an obsolete (and actually misleading) sentence about the XSB interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/src Checked_Number.defs.hh
by Roberto Bagnara 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-14 19:13:55 Modified files: src : Checked_Number.defs.hh Log message: Two corrections to the documentation of input(): acceptable bases are in the range 2-36; bases (as well as exponents) are always written as plain base-10 integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di…

1 0