September 2006 - PPL-devel - BUGSENG Mailman

ppl src/Grid_public.cc tests/Grid/containsinte ...
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 14:04:16 Modified files: src : Grid_public.cc tests/Grid : containsintegerpoint1.cc Log message: Grid::contains_integer_point() fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/containsintegerpoi…

1 0

ppl/tests/Grid Makefile.am containsintegerpoin ...
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 13:51:39 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : containsintegerpoint1.cc Removed files: tests/Grid : onepoint1.cc Log message: Test program renamed. Comment revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/containsintegerpoi… 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/Grid/onepoint1.cc.diff?…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
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 13:50:11 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Some improvements when `no-optimization' is involved. Now the enumeration solving method accepts the `no-optimization' parameter. Some fixes in maybe_check_result(): do not forget that the `no_optimization' flag exists. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

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

24 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-09-24 12:34:25 Modified files: src : Grid.defs.hh Grid_public.cc Grid.templates.hh tests/Grid : Makefile.am Added files: tests/Grid : onepoint1.cc Log message: Revised comment in src/Grid.templates.hh Added Grid::contains_integer_point() method. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/onepoint1.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/src MIP_Problem.cc MIP_Problem.defs.hh MIP ...
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 12:24:02 Modified files: src : MIP_Problem.cc MIP_Problem.defs.hh MIP_Problem.inlines.hh Log message: Moved all throwing exceptions methods from MIP_Problems.inlines.hh to MIP_Problems.cc, removing the `inline' directive for each method. Added the method `const Variables_Set& integer_space_dimensions() const'. 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?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.inlines.hh.di…

1 0

ppl/tests/Octagonal_Shape writeoctagon1.cc
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 11:45:26 Modified files: tests/Octagonal_Shape: writeoctagon1.cc Log message: New test test04() shows an inaccuracy of the output procedure when dealing with octagons having integer coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/writeoc…

1 0

ppl/tests/Grid grid1.cc grid2.cc widening2.cc
by Patricia Hill 24 Sep '06

24 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-09-24 10:52:16 Modified files: tests/Grid : grid1.cc grid2.cc widening2.cc Log message: Revised comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid2.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening2.cc.diff?…

1 0

ppl TODO
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 10:19:29 Modified files: . : TODO Log message: The ask-and-tell generic construction has been reimplemented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.19…

1 0

ppl/tests ppl_test.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 10:17:55 Modified files: tests : ppl_test.hh Log message: Useless template function copy_compare() removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/src Octagonal_Shape.templates.hh Pointset_ ...
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 10:14:19 Modified files: src : Octagonal_Shape.templates.hh Pointset_Ask_Tell.defs.hh Pointset_Powerset.defs.hh Polyhedron_public.cc Polyhedron_widenings.cc Log message: Standardize on tags: CHECKME (with no space), FIXME, and TODO are the only tags we use. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Ask_Tell.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d…

1 0