September 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/LP_Problem Makefile.am
by Roberto Bagnara 22 Sep '06

22 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-22 18:03:31 Modified files: tests/LP_Problem: Makefile.am Log message: Added missing definitions for mipproblem*_SOURCES. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/LP_Problem/Makefile.am.…

1 0

ppl src/MIP_Problem.inlines.hh tests/LP_Proble ...
by Andrea Cimino 22 Sep '06

22 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-22 17:23:15 Modified files: src : MIP_Problem.inlines.hh tests/LP_Problem: Makefile.am Added files: tests/LP_Problem: mipproblem1.cc mipproblem2.cc Log message: Solved a bug in MIP_Problem. Added some tests for MIP_Problem. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/LP_Problem/mipproblem1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/LP_Problem/mipproblem2.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/LP_Problem/Makefile.am.…

1 0

ppl/src MIP_Problem.cc MIP_Problem.defs.hh MIP ...
by Andrea Cimino 22 Sep '06

22 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-22 16:45:33 Modified files: src : MIP_Problem.cc MIP_Problem.defs.hh MIP_Problem.inlines.hh Log message: Implemented is_satisfiable for the `MIP' case. 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 STANDARDS
by Roberto Bagnara 22 Sep '06

22 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-22 16:33:02 Modified files: . : STANDARDS Log message: Added a point covering tests programs that require auxiliary functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

ppl/src MIP_Problem.defs.hh MIP_Problem.templa ...
by Roberto Bagnara 22 Sep '06

22 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-22 15:49:33 Modified files: src : MIP_Problem.defs.hh MIP_Problem.templates.hh globals.types.hh Log message: Redundant MIP_Problem constructor removed. Removed also the Variables_Integrality enumeration. Patches: 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.templates.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.types.hh.diff?cvs…

1 0

ppl/tests/BD_Shape mapspacedims1.cc
by Elena Mazzi 22 Sep '06

22 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-09-22 15:41:46 Modified files: tests/BD_Shape : mapspacedims1.cc Log message: Rewritten test04 using the method BD_Shape::minimized_constraints(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/mapspacedims1.…

1 0

ppl/tests/BD_Shape universe1.cc
by Elena Mazzi 22 Sep '06

22 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-09-22 15:40:09 Modified files: tests/BD_Shape : universe1.cc Log message: Added two new tests on the method BD_Shape::is_universe(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/universe1.cc.d…

1 0

ppl/tests/BD_Shape removespacedims1.cc
by Elena Mazzi 22 Sep '06

22 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-09-22 15:39:14 Modified files: tests/BD_Shape : removespacedims1.cc Log message: Added two new tests on the method BD_Shape::remove_space_dimensions() and BD_Shape::remove_higher_space_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/removespacedim…

1 0

ppl/tests/BD_Shape intersection1.cc
by Elena Mazzi 22 Sep '06

22 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-09-22 15:38:03 Modified files: tests/BD_Shape : intersection1.cc Log message: Added two new tests on the method BD_Shape::intersection_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/intersection1.…

1 0

ppl/tests/BD_Shape contains1.cc
by Elena Mazzi 22 Sep '06

22 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-09-22 15:36:16 Modified files: tests/BD_Shape : contains1.cc Log message: Added two new tests on the method BD_Shape::contains(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/contains1.cc.d…

1 0