September 2006 - PPL-devel - BUGSENG Mailman

ppl/src LP_Problem.defs.hh
by Andrea Cimino 28 Sep '06

28 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-28 21:06:55 Modified files: src : LP_Problem.defs.hh Log message: Other little English inaccuracy fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?c…

1 0

ppl/src LP_Problem.cc LP_Problem.defs.hh MIP_P ...
by Andrea Cimino 28 Sep '06

28 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-28 21:03:52 Modified files: src : LP_Problem.cc LP_Problem.defs.hh MIP_Problem.cc MIP_Problem.defs.hh Log message: Some English inaccuracies fixed. Properly renamed also `unsplit()' to `merge_split_variables()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?c… 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?…

1 0

ppl/tests/BD_Shape Makefile.am disjoint1.cc
by Elena Mazzi 28 Sep '06

28 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-09-28 17:21:17 Modified files: tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : disjoint1.cc Log message: Added new tests on the method BD_Shape::is_disjoint_from(y). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/disjoint1.cc?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/src BD_Shape.templates.hh
by Elena Mazzi 28 Sep '06

28 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-09-28 17:19:54 Modified files: src : BD_Shape.templates.hh Log message: Defined the method: BD_Shape::is_disjoint_from(const BD_Shape& y). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/tests/Polyhedron intersection1.cc
by Roberto Bagnara 28 Sep '06

28 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-28 14:31:30 Modified files: tests/Polyhedron: intersection1.cc Log message: test01() never fails. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/intersection…

1 0

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

28 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-09-28 14:12:55 Modified files: src : Grid.defs.hh Grid_public.cc tests/Grid : Makefile.am Added files: tests/Grid : boundedaffineimage1.cc boundedaffinepreimage1.cc Log message: Added methods bounded_affine_image() and bounded_affine_preimage() for Grids and tests to test them. 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/tests/Grid/boundedaffineimage… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/boundedaffinepreim… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/tests/Polyhedron intersection1.cc
by Roberto Bagnara 28 Sep '06

28 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-28 14:05:43 Modified files: tests/Polyhedron: intersection1.cc Log message: Print also known_result in test01(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/intersection…

1 0

ppl/src Linear_Expression.defs.hh
by Enea Zaffanella 28 Sep '06

28 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-28 11:47:56 Modified files: src : Linear_Expression.defs.hh Log message: Removed annoying trailing whitespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh…

1 0

ppl/tests/Polyhedron membytes1.cc
by Roberto Bagnara 28 Sep '06

28 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-28 09:44:53 Modified files: tests/Polyhedron: membytes1.cc Log message: test02() should never fail. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/membytes1.cc…

1 0

ppl/tests/Octagonal_Shape Makefile.am
by Roberto Bagnara 28 Sep '06

28 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-28 06:46:36 Modified files: tests/Octagonal_Shape: Makefile.am Log message: Disable valgrind checking. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil…

1 0