September 2007 - PPL-devel - BUGSENG Mailman

ppl/src MIP_Problem.cc
by Enea Zaffanella 15 Sep '07

15 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-09-15 15:26:47 Modified files: src : MIP_Problem.cc Log message: Added a missing space. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/interfaces/Java/ppl_java Makefile.am
by Enea Zaffanella 15 Sep '07

15 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-09-15 15:24:09 Modified files: interfaces/Java/ppl_java: Makefile.am Log message: noinst_JAVA has to be defined only when building the Java interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make…

1 0

ppl/src MIP_Problem.cc
by Andrea Cimino 15 Sep '07

15 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2007-09-15 13:38:40 Modified files: src : MIP_Problem.cc Log message: FIXME dealt with. A feasible point is returned correctly if the status of the problem is `UNBOUNDED_MIP_PROBLEM'. When the status `UNBOUNDED_MIP_PROBLEM' is detected in `solve_mip', a feasible point is set. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/src MIP_Problem.cc
by Andrea Cimino 15 Sep '07

15 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2007-09-15 13:19:48 Modified files: src : MIP_Problem.cc Log message: Comment fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/tests/Polyhedron Makefile.am
by Enea Zaffanella 14 Sep '07

14 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-09-14 22:54:15 Modified files: tests/Polyhedron: Makefile.am Log message: Test randphull2 is no longer built. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/tests Ask_Tell/Makefile.am Grid/Makefile.a ...
by Enea Zaffanella 14 Sep '07

14 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-09-14 22:18:55 Modified files: tests/Ask_Tell : Makefile.am tests/Grid : Makefile.am tests/MIP_Problem: Makefile.am Log message: Removed old style handling of tests that are known to fail on some configurations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Ask_Tell/Makefile.am.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/Makefile.am…

1 0

ppl/src Grid_public.cc
by Roberto Bagnara 14 Sep '07

14 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-14 21:18:06 Modified files: src : Grid_public.cc Log message: FIXME resolved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/tests/Polyhedron Makefile.am randphull1.cc ...
by Enea Zaffanella 14 Sep '07

14 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-09-14 18:50:18 Modified files: tests/Polyhedron: Makefile.am randphull1.cc smm1.cc Removed files: tests/Polyhedron: randphull2.cc Log message: Tests randphull[12] and smm1 now conforms to the STANDARDS for test programs; randphull2 merged into randphull1; the old machinery in Makefile.am for tests failing with bounded coefficients is no longer needed. Patches: 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/randphull1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/smm1.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/randphull2.c…

1 0

ppl/interfaces/Prolog Ciao/Makefile.am GNU/Mak ...
by Enea Zaffanella 14 Sep '07

14 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-09-14 16:01:12 Modified files: interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am interfaces/Prolog/YAP: Makefile.am Log message: Cleanup made independent from the configuration chosen by the user. Patches: 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/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0

ppl/interfaces/Prolog/tests Makefile.am
by Enea Zaffanella 14 Sep '07

14 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-09-14 15:59:04 Modified files: interfaces/Prolog/tests: Makefile.am Log message: Build source file ppl_predicate_check.pl is only required when the user asks for some Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makef…

1 0