November 2006 - PPL-devel - BUGSENG Mailman

ppl/src checked.inlines.hh
by Abramo Bagnara 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-09 10:24:55 Modified files: src : checked.inlines.hh Log message: Added support for safe comparisons. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c…

1 0

ppl/tests/Polyhedron polydifference2.cc
by Patricia Hill 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-09 10:21:23 Modified files: tests/Polyhedron: polydifference2.cc Log message: Added test shows a bug in poly_difference_assign() when the polyhedron to be subtracted is empty and not in minimal form. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polydifferen…

1 0

ppl configure.ac
by Abramo Bagnara 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-09 08:39:35 Modified files: . : configure.ac Log message: Added two more SIZEOF. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/tests BD_Shape/max_min2.cc Octagonal_Shape ...
by Patricia Hill 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-09 08:06:28 Modified files: tests/BD_Shape : max_min2.cc tests/Octagonal_Shape: max_min2.cc Log message: Added 2 tests to both test files showing a bug in minimize() (with point) for both BD_Shape and Octagonal_Shape. One of these tests shows the bug (the denominator is 0) while the second shows that a similar bug does not occur with maximize() (with point). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/max_min2.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/max_min…

1 0

ppl ./TODO doc/Makefile.am interfaces/Makefile ...
by Roberto Bagnara 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-09 08:00:10 Modified files: . : TODO doc : Makefile.am interfaces : Makefile.am interfaces/C : Makefile.am interfaces/Prolog: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am interfaces/Prolog/YAP: Makefile.am interfaces/Prolog/tests: Makefile.am Log message: Clean automatically generated files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.20… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?c… 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/Makefile.am… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makef…

1 0

ppl/demos/ppl_lpsol/examples Makefile.am
by Roberto Bagnara 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-09 07:14:43 Modified files: demos/ppl_lpsol/examples: Makefile.am Log message: Distribute all examples. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/examples/Make…

1 0

ppl/src BD_Shape.templates.hh
by Elena Mazzi 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-11-08 18:24:41 Modified files: src : BD_Shape.templates.hh Log message: Removed some lines not-necessary in the following methods: - bounds(); - max_min(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/src MIP_Problem.cc
by Andrea Cimino 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-08 18:13:38 Modified files: src : MIP_Problem.cc Log message: Fixed a bug: return the origin with the right space dimension if the input Constraint_System is universal and the problem is unbounded. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/src BD_Shape.templates.hh
by Elena Mazzi 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-11-08 17:52:56 Modified files: src : BD_Shape.templates.hh Log message: Corrected the method max_min(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl src/Octagonal_Shape.templates.hh tests/Oct ...
by Barbara Quartieri 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-11-08 17:51:46 Modified files: src : Octagonal_Shape.templates.hh tests/Octagonal_Shape: Makefile.am Added files: tests/Octagonal_Shape: max_min2.cc Log message: Corrected a bug in the method max_min() and added some tests. 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/tests/Octagonal_Shape/max_min… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil…

1 0