August 2008 - PPL-devel - BUGSENG Mailman

ppl/tests/Powerset interspreservenlarge1.cc
by Enea Zaffanella 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-21 00:51:39 Modified files: tests/Powerset : interspreservenlarge1.cc Log message: Test test05() now succeeds. New test test08() shows a bug due to the uncorrect handling of inequalities that happen to imply equalities in parts of the given powerset context. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/interspreserve…

1 0

ppl/src Polyhedron_public.cc
by Roberto Bagnara 20 Aug '08

20 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-20 22:04:24 Modified files: src : Polyhedron_public.cc Log message: Implemented the announced heuristics in Polyhedron::intersection_preserving_enlarge_assign(const Polyhedron&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src Bit_Row.inlines.hh
by Roberto Bagnara 20 Aug '08

20 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-20 17:27:56 Modified files: src : Bit_Row.inlines.hh Log message: For the declaration of ffs(3), include <strings.h> and not <cstring> (note that in configure.ac we correctly have AC_CHECK_DECLS([ffs], , , [#include <strings.h>]). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.inlines.hh.diff?c…

1 0

ppl/tests/Powerset interspreservenlarge1.cc
by Enea Zaffanella 20 Aug '08

20 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-20 12:48:07 Modified files: tests/Powerset : interspreservenlarge1.cc Log message: Added three more tests, one (temporarily) known to fail. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/interspreserve…

1 0

ppl/tests/Polyhedron interspreservenlarge1.cc
by Enea Zaffanella 20 Aug '08

20 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-20 12:46:58 Modified files: tests/Polyhedron: interspreservenlarge1.cc Log message: Added another test (test05). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/interspreser…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.templates.hh ...
by Enea Zaffanella 20 Aug '08

20 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-20 12:45:51 Modified files: src : BD_Shape.defs.hh BD_Shape.templates.hh Box.defs.hh Box.templates.hh Grid.defs.hh Grid_public.cc Octagonal_Shape.defs.hh Octagonal_Shape.templates.hh Pointset_Powerset.defs.hh Pointset_Powerset.templates.hh Polyhedron.defs.hh Polyhedron_public.cc Log message: The method intersection_preserving_enlarge_assign() now returns a boolean: if false is returned the intersection is empty. Using the new return value, improved the implementation for Pointset_Powerset by dropping those disjuncts that have empty intersection with all of the disjunct of the context. Corrected a bug in the Polyhedron method regarding the correct handling of equality constraints. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… 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/Octagonal_Shape.defs.hh.d… 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_Powerset.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/tests/Powerset Makefile.am interspreserven ...
by Enea Zaffanella 19 Aug '08

19 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-19 19:58:16 Modified files: tests/Powerset : Makefile.am Added files: tests/Powerset : interspreservenlarge1.cc Log message: Added a few tests for method intersection_preserving_enlarge_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/interspreserve… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/Makefile.am.di…

1 0

ppl/tests/Polyhedron interspreservenlarge1.cc
by Enea Zaffanella 19 Aug '08

19 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-19 19:54:09 Modified files: tests/Polyhedron: interspreservenlarge1.cc Log message: Added new test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/interspreser…

1 0

ppl/src Pointset_Powerset.defs.hh Pointset_Pow ...
by Enea Zaffanella 19 Aug '08

19 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-19 19:52:35 Modified files: src : Pointset_Powerset.defs.hh Pointset_Powerset.templates.hh Log message: Drafted a generic implementation (better, an executable specification) for method intersection_preserving_enlarge_assign(const Pointset_Powerset&); the code is based on an auxiliary method void intersection_preserving_enlarge(PS& y) const; that enlarges argument y wrt context *this. Patches: 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/Pointset_Powerset.templat…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 19 Aug '08

19 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-19 19:48:30 Modified files: src : Polyhedron_public.cc Log message: Corrected an error in method intersection_preserving_enlarge_assign() and applied a few efficiency enhancements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0