October 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 02 Oct '06

02 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-02 21:49:44 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Previous commit for this file reversed and test file restored. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/interfaces/Prolog/tests pl_check.pl ppl_in ...
by Enea Zaffanella 02 Oct '06

02 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-02 21:21:32 Modified files: interfaces/Prolog/tests: pl_check.pl ppl_interface_generator_predicate_check_code.m4 Log message: Corrected a few typos. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/interfaces/C ppl_interface_generator_c_dat.m4
by Enea Zaffanella 02 Oct '06

02 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-02 19:29:28 Modified files: interfaces/C : ppl_interface_generator_c_dat.m4 Log message: Corrected an m4 macro call. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/src MIP_Problem.cc
by Roberto Bagnara 02 Oct '06

02 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-02 19:04:17 Modified files: src : MIP_Problem.cc Log message: Comments revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/interfaces Makefile.am ppl_interface_gener ...
by Patricia Hill 02 Oct '06

02 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-02 18:03:49 Modified files: interfaces : Makefile.am ppl_interface_generator_common.m4 Log message: Two more changes made for the change to the m4 builtins. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/src MIP_Problem.cc MIP_Problem.defs.hh
by Andrea Cimino 02 Oct '06

02 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-02 17:45:16 Modified files: src : MIP_Problem.cc MIP_Problem.defs.hh Log message: Added a new heuristic that selects a branching variable when a MIP_Problem feasibility has to be proofed. Modified the prototype for `is_satisfied' to allow the checking of `active constraints'. The new heuristic is turned on by default. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.defs.hh.diff?…

1 0

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Patricia Hill 02 Oct '06

02 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-02 17:38:49 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_h.m4 Log message: Fixed a couple of bugs where the m4 builtin had not been revised to m4_builtin. 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…

1 0

ppl/interfaces Makefile.am
by Roberto Bagnara 02 Oct '06

02 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-02 17:24:42 Modified files: interfaces : Makefile.am Log message: Skip the OCaml directory, for the time being. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?c…

1 0

ppl/tests ppl_test.hh Polyhedron/dualhypercubes.cc
by Enea Zaffanella 02 Oct '06

02 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-02 17:19:37 Modified files: tests : ppl_test.hh tests/Polyhedron: dualhypercubes.cc Log message: Test Polyhedron/dualhypercubes.cc fails on 64 bits checked integers when assertions are turned on. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/dualhypercub…

1 0

ppl/interfaces C/Makefile.am C/ppl_interface_g ...
by Patricia Hill 02 Oct '06

02 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-02 17:19:09 Modified files: interfaces/C : Makefile.am ppl_interface_generator_c_h.m4 interfaces/Prolog: Makefile.am interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am ppl_interface_generator_swiprolog_cc.m4 interfaces/Prolog/XSB: Makefile.am interfaces/Prolog/YAP: Makefile.am Log message: Corrections where some builtins for m4 were not changed as required. The Makefile.am files now have m4 --prefix-builtin in the m4 commands. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff… 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/Makefile.am… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… 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/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0