September 2006 - PPL-devel - BUGSENG Mailman

ppl/demos/ppl_lpsol ppl_lpsol.c
by Roberto Bagnara 25 Sep '06

25 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-25 12:22:30 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Added 'r' to OPTION_LETTERS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/tests/BD_Shape timeelapse1.cc
by Elena Mazzi 25 Sep '06

25 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-09-25 11:56:52 Modified files: tests/BD_Shape : timeelapse1.cc Log message: Renamed the variables `oc' with `bd' in many tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/timeelapse1.cc…

1 0

ppl/src iterator_to_const.defs.hh
by Enea Zaffanella 25 Sep '06

25 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-25 11:04:17 Modified files: src : iterator_to_const.defs.hh Log message: Documentation of class iterator_to_const revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/iterator_to_const.defs.hh…

1 0

ppl/src Any_Pointset.defs.hh
by Roberto Bagnara 24 Sep '06

24 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-24 23:19:04 Modified files: src : Any_Pointset.defs.hh Log message: Debugging code commented out. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Any_Pointset.defs.hh.diff…

1 0

ppl/src Any_Pointset.defs.hh
by Roberto Bagnara 24 Sep '06

24 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-24 23:16:18 Modified files: src : Any_Pointset.defs.hh Log message: Added more methods to Any_Pointset and its subclasses. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Any_Pointset.defs.hh.diff…

1 0

ppl/src MIP_Problem.defs.hh
by Enea Zaffanella 24 Sep '06

24 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-24 21:47:25 Modified files: src : MIP_Problem.defs.hh Log message: Declarations of integer variables get/add methods moved to better places; drafted documentation for the setting of integer variables. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.defs.hh.diff?…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Enea Zaffanella 24 Sep '06

24 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-24 21:46:11 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Optimization modes are specified at library level, not inside LP_Problem class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h.in
by Enea Zaffanella 24 Sep '06

24 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-24 21:45:16 Modified files: interfaces/C : ppl_c.cc ppl_c.h.in Log message: First draft at interfacing class MIP_Problem. Patches: 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 MIP_Problem.cc
by Andrea Cimino 24 Sep '06

24 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-24 18:07:04 Modified files: src : MIP_Problem.cc Log message: If we add integer space dimensions to an unsatisfiable problem, it remains unsatisfiable. 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 24 Sep '06

24 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-24 18:00:50 Modified files: src : MIP_Problem.cc Log message: set_integer_space_dimensions() now throws a valid error message. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0