January 2006 - PPL-devel - BUGSENG Mailman

ppl/src LP_Problem.inlines.hh
by Enea Zaffanella 10 Jan '06

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-10 16:12:17 Modified files: src : LP_Problem.inlines.hh Log message: Dealt with another FIXME. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.inlines.hh.dif…

1 0

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

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-10 16:12:00 Modified files: src : LP_Problem.cc Log message: When resizing the tableau, make sure we never try to go beyond Matrix::max_num_columns(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/tests/BD_Shape run_tests
by Roberto Bagnara 10 Jan '06

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-10 16:02:41 Modified files: tests/BD_Shape : run_tests Log message: Allow to override the `make' command used: invoke "$MAKE" instead of "make". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/run_tests.diff…

1 0

ppl/src Saturation_Matrix.defs.hh Saturation_M ...
by Matthew Mundell 10 Jan '06

10 Jan '06

1 0

ppl/src globals.defs.hh
by Matthew Mundell 10 Jan '06

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-10 15:46:53 Modified files: src : globals.defs.hh Log message: Add macros PPL_STR(s), PPL_XSTR(s), PPL_OUTPUT_DECLARATIONS, PPL_OUTPUT_DEFINITIONS(class_name), PPL_OUTPUT_DEFINITIONS_ASCII_ONLY(class_name), PPL_OUTPUT_TEMPLATE_DEFINITIONS(type_symbol, class_prefix), PPL_OUTPUT_TEMPLATE_DEFINITIONS_ASCII_ONLY(type_symbol, class_prefix). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsr…

1 0

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

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-10 15:43:33 Modified files: interfaces/Prolog/YAP: ppl_yap.cc Log message: Prolog_get_long() fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl ./NEWS interfaces/C/ppl_c.cc interfaces/C/ ...
by Roberto Bagnara 10 Jan '06

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-10 14:15:04 Modified files: . : NEWS interfaces/C : ppl_c.cc ppl_c.h.in Log message: New functions added to the C interface: int ppl_Coefficient_is_bounded(void), int ppl_Coefficient_min(mpz_t min), int ppl_Coefficient_max(mpz_t max) allow C applications to obtain information about the Coefficient integer numerical type. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.17… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?…

1 0

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

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-10 13:11:03 Modified files: src : LP_Problem.cc Log message: An anonymous FIXME turned into a meaningful comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

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

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-10 12:37:31 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: The large integer tests for Prolog systems with bounded integers improved so that they check the maximum and minimum integers at the interface. The exception testing for Prolog also improved and a bug fixed when testing the Prolog_unsigned_out_of_range exception. The exception testing for Prolog systems with bounded integers improved. We explicitly exclude XSB from these tests as it does not throw an exception when the numbers are out-of-range. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl ppl.lsm.in ppl.spec.in
by Roberto Bagnara 10 Jan '06

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-10 11:38:43 Modified files: . : ppl.lsm.in ppl.spec.in Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.lsm.in.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0