September 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron foldspacedims2.cc membyte ...
by Roberto Bagnara 29 Sep '06

29 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-29 14:16:00 Modified files: tests/Polyhedron: foldspacedims2.cc membytes1.cc Log message: Adjusted tests that no longer fail with 8-bit coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/foldspacedim… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/membytes1.cc…

1 0

ppl ./configure.ac ./instchk.hh interfaces/Mak ...
by Roberto Bagnara 29 Sep '06

29 Sep '06

1 0

ppl/interfaces/Prolog Makefile.am
by Roberto Bagnara 29 Sep '06

29 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: bagnara(a)cs.unipr.it 2006-09-29 11:59:20 Modified files: interfaces/Prolog: Makefile.am Log message: Temporarily disable the YAP interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am…

1 0

ppl/interfaces/C ppl_interface_generator_c_cc. ...
by Enea Zaffanella 29 Sep '06

29 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: zaffanella(a)cs.unipr.it 2006-09-29 11:47:34 Modified files: interfaces/C : ppl_interface_generator_c_cc.m4 ppl_interface_generator_c_cc_preamble ppl_interface_generator_c_h.m4 ppl_interface_generator_c_h_preamble Log message: Added support for interfacing MIP_problem class and for ascii_dump methods, as done in the main trunk. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/interfaces/Prolog/YAP yap_cfli.cc
by Roberto Bagnara 29 Sep '06

29 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: bagnara(a)cs.unipr.it 2006-09-29 11:38:01 Added files: interfaces/Prolog/YAP: yap_cfli.cc Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_cfl…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 29 Sep '06

29 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-29 11:16:39 Modified files: src : Polyhedron_public.cc Log message: Added a workaround to the implementation of contains_integer_point(), so as to correctly handle the case of NNC polyhedra and also avoid a few trivial cases where the polyhedron is known to be empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/interfaces C/ppl_interface_generator_c_cc_ ...
by Patricia Hill 29 Sep '06

29 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-09-29 09:25:16 Modified files: interfaces/C : ppl_interface_generator_c_cc_preamble ppl_interface_generator_c_h_preamble interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_preamble interfaces/Prolog/tests: pl_check.pl Log message: Updated for changes from the Trunk. Now C and Prolog interfaces compile with the "Polyhedron" for the --enable-instantiation. Only SICStus and SWI Prolog interfaces tested. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/src LP_Problem.defs.hh MIP_Problem.defs.hh
by Andrea Cimino 29 Sep '06

29 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-29 00:42:41 Modified files: src : LP_Problem.defs.hh MIP_Problem.defs.hh Log message: Other doxygen comments fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.defs.hh.diff?…

1 0

ppl ./CREDITS ./ChangeLog ./INSTALL ./NEWS ./S ...
by Roberto Bagnara 28 Sep '06

28 Sep '06

1 0

ppl/interfaces/Prolog/YAP ppl_interface_genera ...
by Roberto Bagnara 28 Sep '06

28 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: bagnara(a)cs.unipr.it 2006-09-28 22:12:41 Modified files: interfaces/Prolog/YAP: ppl_interface_generator_yap_cc.m4 yap_cfli.h yap_cfli.ic Log message: Started a revision of the YAP interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_cfl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_cfl…

1 0