September 2006 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 27 Sep '06

27 Sep '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-09-27 20:02:59 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Avoid non-ASCII characters. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

ppl/tests/BD_Shape Makefile.am
by Roberto Bagnara 27 Sep '06

27 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-27 19:22:03 Modified files: tests/BD_Shape : Makefile.am Log message: Disable valgrind checking. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

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

27 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-27 18:45:14 Modified files: src : MIP_Problem.cc MIP_Problem.defs.hh Log message: solve_mip() and is_mip_satisfiable() declared static. Avoided a lot of copies involed when a mip problem has to be solved / checked for satisfiability. Added a sketch of code in OK() that has to proof the satisfiability of a solution found that is constrained to have integer coefficients. 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?…

1 0

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

27 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-09-27 16:08:04 Modified files: src : Grid.defs.hh Grid_public.cc tests/Grid : Makefile.am Added files: tests/Grid : generalizedaffineimage3.cc generalizedaffinepreimage3.cc Log message: Added an implementation for generalizedaffineimage() and generalizedaffinepreimage() in the case that resym is not EQUAL. Added tests to test this. 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/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/Makefile.am.diff?c…

1 0

ppl Watchdog/src/Makefile.am interfaces/C/Make ...
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 22:00:51 Modified files: Watchdog/src : Makefile.am interfaces/C : Makefile.am interfaces/Prolog/SWI: Makefile.am tests/BD_Shape : Makefile.am tests/Octagonal_Shape: Makefile.am Log message: Typos fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil…

1 0

ppl/Watchdog/src EList.defs.hh Handler.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 21:52:59 Modified files: Watchdog/src : EList.defs.hh Handler.defs.hh Pending_Element.defs.hh Watchdog.cc Watchdog.defs.hh Log message: Comments improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/EList.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Handler.defs.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Pending_Element.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Watchdog.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Watchdog.defs.hh…

1 0

ppl/demos/ppl_lpsol 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 19:07:11 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Fixed a bug in `maybe_check_results': no_optimization flag was not properly handled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/src MIP_Problem.inlines.hh
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 18:56:24 Modified files: src : MIP_Problem.inlines.hh Log message: Copy operator fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.inlines.hh.di…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 26 Sep '06

26 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-26 15:37:34 Modified files: src : Polyhedron_public.cc Log message: In method OK(), do not attempt minimizing the constraint description, unless the constraints are claimed to be already minimized (so as to check for the correctness of the claim) or if explicitly required to check for emptyness. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/tests/Octagonal_Shape containsintegerpoint1.cc
by Barbara Quartieri 26 Sep '06

26 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-09-26 15:16:59 Modified files: tests/Octagonal_Shape: containsintegerpoint1.cc Log message: Added some tests on the method bool Octagonal_Shape<T>::contains_integer_point() const. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/contain…

1 0