October 2006 - PPL-devel - BUGSENG Mailman

ppl/src MIP_Problem.cc
by Andrea Cimino 11 Oct '06

11 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-11 16:38:23 Modified files: src : MIP_Problem.cc Log message: Removed a spurious line to allow compiling if the heuristic is disabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/demos/ppl_lpsol Makefile.am expected_int16 ...
by Andrea Cimino 11 Oct '06

11 Oct '06

1 0

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

11 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-11 10:58:15 Modified files: interfaces : Makefile.am Log message: OCaml subdirectory enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?c…

1 0

ppl/demos/ppl_lpsol Makefile.am
by Andrea Cimino 10 Oct '06

10 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-10 19:32:14 Modified files: demos/ppl_lpsol: Makefile.am Log message: Keep problems sorted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d…

1 0

ppl/demos/ppl_lpsol Makefile.am examples/ex11. ...
by Andrea Cimino 10 Oct '06

10 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-10 19:30:13 Modified files: demos/ppl_lpsol: Makefile.am demos/ppl_lpsol/examples: ex11.mps Added files: demos/ppl_lpsol/examples: ex12.mps Log message: Renamed ex11.mps as ex12.mps and restored the old ex11.mps. Modified Makefile.am to skip ex12.mps checking. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/examples/ex12… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/examples/ex11…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Enea Zaffanella 10 Oct '06

10 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-10 19:12:21 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_icc_preamble Log message: No longer rely on an operator recently removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/tests/Grid congruence1.cc
by Enea Zaffanella 10 Oct '06

10 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-10 19:11:45 Modified files: tests/Grid : congruence1.cc Log message: No longer rely on an operator recently removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruence1.cc.dif…

1 0

ppl/src Congruence.defs.hh Congruence.inlines.hh
by Enea Zaffanella 10 Oct '06

10 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-10 19:10:56 Modified files: src : Congruence.defs.hh Congruence.inlines.hh Log message: Removed operator building a Congruence object from a Coefficient and a Linear_Expression (in that order) as it was clashing with a template member of class Checked_Number. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.dif…

1 0

ppl/src Linear_Expression.defs.hh
by Enea Zaffanella 10 Oct '06

10 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-10 19:08:57 Modified files: src : Linear_Expression.defs.hh Log message: Removed redundant declarations (with repeated documentation). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Andrea Cimino 10 Oct '06

10 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-10 18:59:00 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0