February 2006 - PPL-devel - BUGSENG Mailman

ppl/src LP_Problem.cc LP_Problem.defs.hh
by Andrea Cimino 01 Feb '06

01 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-02-01 22:56:40 Modified files: src : LP_Problem.cc LP_Problem.defs.hh Log message: Major improvements to the class: now the incrementality process handles a Constraint_System in one shot instead of a single Constraint. Added other useful tests in OK(). Minor changes in the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?c…

1 0

ppl configure.ac
by Roberto Bagnara 01 Feb '06

01 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-01 20:19:57 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src Float.inlines.hh
by Abramo Bagnara 01 Feb '06

01 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2006-02-01 20:06:22 Modified files: src : Float.inlines.hh Log message: Constant is 64 bit long. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.inlines.hh.diff?cvs…

1 0

ppl/src Float.inlines.hh
by Abramo Bagnara 01 Feb '06

01 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2006-02-01 19:35:33 Modified files: src : Float.inlines.hh Log message: Clear most significant bit of the mantissa. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.inlines.hh.diff?cvs…

1 0

ppl/src Float.inlines.hh
by Roberto Bagnara 01 Feb '06

01 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-01 18:41:42 Modified files: src : Float.inlines.hh Log message: Added missing semicolon. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.inlines.hh.diff?cvs…

1 0

ppl NEWS
by Roberto Bagnara 01 Feb '06

01 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-01 18:40:39 Modified files: . : NEWS Log message: Added some items (to be filled in). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.18…

1 0

Confusion about "space dimension"
by Roberto Bagnara 01 Feb '06

01 Feb '06

Now that the PPL is no longer limited to ordinary convex polyhedra and many new abstractions are finding their way to the library, I believe that the distinction between syntax and semantics is fundamental. According to this view, the PPL would support a set of "syntactic objects" (variables, linear expressions, constraints, congruences, generators, grid-generators, ... and finite systems of such things) and a set of "semantic objects" (polyhedra, grids, bounded-difference shapes, octagons, bounding boxes, ..., powersets of the above, ..., linear programming problems, ...). I think this distinction must be kept as clear as possible. We are already doing it, to some extent, but the fact that some syntactic objects are directly used in the implementation of semantic objects has caused some of our syntactic objects to expose some inner details of their role in the implementation of semantic objects. To clarify, this program #include <ppl.hh> using namespace Parma_Polyhedra_Library; using namespace Parma_Polyhedra_Library::IO_Operators; using namespace std; int main() { Variable x(0); Variable y(1); Variable z(2); Linear_Expression e = x+y+z; cout << e << " has space dimension " << e.space_dimension() << endl; e -= z; cout << e << " has space dimension " << e.space_dimension() << endl; return 0; } prints A + B + C has space dimension 3 A + B has space dimension 3 whereas it should print A + B + C has space dimension 3 A + B has space dimension 2 The same sin is committed by Constraint, Generator and so forth. I believe we should stick to one, unambiguous definition of "space dimension" and be consistent with it throughout the library. We know what "space dimension" is for a semantic object: it is also clearly stated in the documentation. We need to find a similar definition that works for syntactic objects (such as the minimum space dimension for which the object makes sense) or conclude that the notion of "space dimension" should be reserved to semantic objects only and find another name for this other concept. Feedback is welcome on all these points. Ciao, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

3 3

ppl/sicstus/segmentation violation
by Samir Genaim 01 Feb '06

01 Feb '06

ppl_delete_Polyhedron/1 cause "segmentation violation" when using ppl_sicstus. For example, the following query results in segmentation violation: ?- ppl_initialize, A='$VAR'(0), B='$VAR'(1),ppl_new_NNC_Polyhedron_from_constraints([A>B,B>=A],X),ppl_delete_Polyhedron(X). I am running SICStus "3.10.0 (x86-Linux-glibc2.2)" with ppl-0.8. Note that it works fine in other Prolog, e.g., Ciao. any idea what could be the problem ? Thanks. -- Samir

2 4

Big problems with not-so-big numbers
by Roberto Bagnara 01 Feb '06

01 Feb '06

Below the signature is everything needed to reproduce the problem under GNU/Linux. I have checked the YAP sources, but did not succeed in finding what may cause this behavior. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it $ cat bug.c #include <Yap/YapInterface.h> #include <limits.h> YAP_Bool long_min(YAP_Term t) { return YAP_Unify(t, YAP_MkIntTerm(LONG_MIN)); } YAP_Bool yap_stub_long_min() { YAP_Term arg1 = YAP_A(1); return long_min(arg1); } void init() { YAP_UserCPredicate("long_min", (int(*)())(yap_stub_long_min), 1); } $ gcc -c -shared -fPIC bug.c $ ld -shared -o bug.so bug.o $ yap % Restoring file /usr/local/lib/Yap/startup YAP version Yap-5.1.0 ?- load_foreign_files(['bug'],[],init). yes ?- long_min(M). M = -2147483648 ? yes ?- long_min(M), M == -2147483648. no ?- long_min(M), M = -2147483648. no ?- long_min(M), M is 0 - 2147483648. no ?- long_min(M), M1 is abs(M). M = M1 = -2147483648 ? yes ?- $

2 3

ppl/tests/Grid affineimage1.cc grid1.cc grid2. ...
by Patricia Hill 01 Feb '06

01 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-02-01 12:36:17 Modified files: tests/Grid : affineimage1.cc grid1.cc grid2.cc join1.cc widening1.cc Log message: Removed 3 "FIX "'s in grid2.cc and widening1.cc. Added tests based on example in Muller-Olm and Seidl SAS paper to grid1.cc, join1.cc and affineimage1.cc. Added tests based on Example 8 in the technical report on the grids domain in widening1.cc. Reordered tests in widening1.cc so that those based on examples 8 and 9 are together. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affineimage1.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid2.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join1.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening1.cc.diff?…

1 0