September 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid affineimage2.cc generalizedaffi ...
by Patricia Hill 26 Sep '06

26 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-09-26 10:48:43 Modified files: tests/Grid : affineimage2.cc generalizedaffineimage1.cc generalizedaffineimage2.cc generalizedaffinepreimage1.cc generalizedaffinepreimage2.cc Log message: Updated for the revisions to the methods generalized_affine_image() and generalized_affine_preimage(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affineimage2.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinei… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinei… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinep… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinep…

1 0

ppl/src Grid.defs.hh Grid_public.cc
by Patricia Hill 26 Sep '06

26 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-09-26 10:47:16 Modified files: src : Grid.defs.hh Grid_public.cc Log message: Revised generalized_affime_image() and generalized_affime_preimage() for the Grid domain to include the relation symbol. Current version only handles the case when this is EQUAL which also denotes a congruence relation. The default value for the modulus is now zero. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

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

26 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-26 10:41:12 Modified files: src : Any_Pointset.defs.hh Log message: Debugging declarations commented out. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Any_Pointset.defs.hh.diff…

1 0

ppl/demos/ppl_lpsol Makefile.am ppl_lpsol.c
by Andrea Cimino 26 Sep '06

26 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-26 10:21:40 Modified files: demos/ppl_lpsol: Makefile.am ppl_lpsol.c Log message: ppl_lpsol modified to use the MIP_Problem class instead of LP_Problem. Now ppl_lpsol can handle also MIP problems optimizing them and finding feasible points. 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/ppl_lpsol.c.d…

1 0

ppl/src Any_Pointset.defs.hh
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 21:55:56 Modified files: src : Any_Pointset.defs.hh Log message: More methods added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Any_Pointset.defs.hh.diff…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh O ...
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 21:51:10 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh Octagonal_Shape.defs.hh Octagonal_Shape.inlines.hh Log message: Added BD_Shape::is_topologically_closed() and Octagonal_Shape::is_topologically_closed(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.h…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.templates.hh ...
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 21:38:12 Modified files: src : BD_Shape.defs.hh BD_Shape.templates.hh Octagonal_Shape.defs.hh Octagonal_Shape.templates.hh Log message: Added declarations and fake implementations of BD_Shape::is_disjoint_from(), Octagonal_Shape::is_disjoint_from(), BD_Shape::is_discrete() and Octagonal_Shape::is_discrete(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src Checked_Number.defs.hh
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 19:57:15 Modified files: src : Checked_Number.defs.hh Log message: Comments revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di…

1 0

ppl/src MIP_Problem.cc
by Andrea Cimino 25 Sep '06

25 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-25 19:45:48 Modified files: src : MIP_Problem.cc Log message: Fixed a bug: if we are solving real MIP problems, remember to always store a feasible point. This avoids a bug shown if a problem is unbounded and we are asked for a feasible point. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h.in
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 13:07:30 Modified files: interfaces/C : ppl_c.cc ppl_c.h.in Log message: Added ascii_dump functions to the C interface. 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