July 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid relations2.cc
by Matthew Mundell 27 Jul '05

27 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-07-27 13:18:35 Modified files: tests/Grid : relations2.cc Log message: Add test4 to test8. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations2.cc.diff…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 27 Jul '05

27 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-07-27 13:17:41 Modified files: src : Grid_public.cc Log message: Update relation_with(cg) to handle any grid representation, instead of requiring a minimized representation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

Equivalent dimensions
by Mario Mendez 26 Jul '05

26 Jul '05

Hi again, I wonder if there is any way (by using the API) to discover which dimensions are equal. Right now, I inspect the constraint system looking for 1*X + -1 *Y = 0, but that 'ad-hoc' solution simply does not look right. Can you help me? Thanks!

5 7

ppl/tests/Polyhedron Makefile.am
by Roberto Bagnara 24 Jul '05

24 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-07-24 20:12:20 Modified files: tests/Polyhedron: Makefile.am Log message: Added boundedaffineimage2 and nnc_boundedaffineimage2 to XFAIL_WITH_INT8. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

Prolog documentation incorrect
by Mario Mendez 20 Jul '05

20 Jul '05

Hi everybody, I just notice a small error in the documentation about the Prolog interface (http://www.cs.unipr.it/ppl/Documentation/user/group__PrologInterface.html) It says " ppl_Polyhedron_contains_Polyhedron(+Handle_1, +Handle_2) Succeeds if and only if the polyhedron referenced by Handle_1 is included in or equal to the polyhedron referenced by Handle_2" when it works in the opposite way: ?- ?- ppl_initialize, ppl_new_Polyhedron_from_constraints(c,['$VAR'(0)>=2,'$VAR'(0)=<4],Poly1), ppl_new_Polyhedron_from_constraints(c,['$VAR'(0)>=0,'$VAR'(0)=<8],Poly2), ppl_Polyhedron_contains_Polyhedron(Poly1,Poly2), ppl_finalize. no ?- ?- ppl_initialize, ppl_new_Polyhedron_from_constraints(c,['$VAR'(0)>=2,'$VAR'(0)=<4],Poly1), ppl_new_Polyhedron_from_constraints(c,['$VAR'(0)>=0,'$VAR'(0)=<8],Poly2), ppl_Polyhedron_contains_Polyhedron(Poly2,Poly1), ppl_finalize. Poly1 = '$address'(268012696), Poly2 = '$address'(268013120) ? Maybe the situation is the same in the main API or in the C interface, though I didn't check them. Mario

2 1

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 20 Jul '05

20 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2005-07-20 09:03:41 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Corrected documentation for the Prolog interface where the specifications for the predicates ppl_Polyhedron_contains_Polyhedron/2 and ppl_Polyhedron_strictly_contains_Polyhedron/2 referred to their arguments the wrong way round. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/tests/Grid expandspacedim1.cc
by Matthew Mundell 14 Jul '05

14 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-07-14 20:53:12 Modified files: tests/Grid : expandspacedim1.cc Log message: Indent the copyright line. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/expandspacedim1.cc…

1 0

ppl/tests/Grid Makefile.am relations2.cc relat ...
by Matthew Mundell 14 Jul '05

14 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-07-14 20:52:43 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : relations2.cc relations1.cc Log message: Add relations1 and relations2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations2.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations1.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/src Grid_public.cc Grid_chdims.cc Grid.defs.hh
by Matthew Mundell 14 Jul '05

14 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-07-14 20:51:12 Modified files: src : Grid_public.cc Grid_chdims.cc Grid.defs.hh Log message: Enable and convert relation_with(cg) and relation_with(g), adding an optional divisor argument to relations_with(g). Patches: 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/Grid_chdims.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src Congruence_System.defs.hh Congruence_S ...
by Matthew Mundell 14 Jul '05

14 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-07-14 20:47:43 Modified files: src : Congruence_System.defs.hh Congruence_System.cc Log message: Add method insert_verbatim. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0