June 2005 - PPL-devel - BUGSENG Mailman

ppl/src Row.defs.hh
by Matthew Mundell 07 Jun '05

07 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-07 12:43:25 Modified files: src : Row.defs.hh Log message: Temporarily befriend operator==(gr,gr) and Grid, and make method capacity public, for tracing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/src fpu-c99.inlines.hh
by Roberto Bagnara 07 Jun '05

07 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-07 12:16:53 Modified files: src : fpu-c99.inlines.hh Log message: Temporary kludge for Darwin that may turn out to be the right thing to do on any system. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-c99.inlines.hh.diff?c…

1 0

ppl configure.ac
by Roberto Bagnara 07 Jun '05

07 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-07 11:40:51 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 checked.inlines.hh
by Roberto Bagnara 07 Jun '05

07 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-07 11:12:31 Modified files: src : checked.inlines.hh Log message: Include "compiler.hh". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c…

1 0

Re: some questions about PPL
by Roberto Bagnara 07 Jun '05

07 Jun '05

Jie Ouyang wrote: > I started a thread on the news group comp.lang.prolog about anonymous > variables in prolog language. Thank you very much for your reply. Here > I have some newbie questions about PPL since I just started to use it > to do some logic program analysis. Say a predicate, P(A,B,C), appears > in the body of another predicate, e.g. P1(...):- ...,P(D,E,F). It is > easy to see that the variables of P are renamed and they correspond to > different space dimensions. If we have the constaints of P defined on > A,B,C, is there an easy way to map the constaints to the space > dimensions D,E,F? The way I handle this now is to first use > ppl_Polyhedron_map_space_dimensions to do the mapping: A-D,B-E,C-F. > Then get the constraints which are defined on A,B,C,D,E,F. Since I > don't want the effect of A,B,C after the mapping, I have to remove all > constaints defined on A,B,C only and get the constraints system > defined on D,E,F eventually. This procedure seems tedious and easily > to miss something. So I'd like to find a better way to do it. Dear Jie, when you say "I have to remove all constaints defined on A,B,C" you mean that you are projecting away the space dimensions corresponding to A, B and C, right? If so, what you do does not seem wrong. I do not understand what you mean by "this procedure seems tedious and easily to miss something": if you coude your analyzer correctly, it will not miss anything. More generally, the point is not the handling of polyhedra but rather the abstact semantics construction you are employing. You should first define this in a clear and unambiguous way: then we can discuss about how to use the PPL polyhedra as efficiently as possible. To be more specific, notice that your example above is quite special. What if you have p1(A, B, C) :- ..., p(C, E, A), ... or p1(A, B, C) :- ..., p(E, f(A, B), g(B, C)), ... ? Are you employing a top-down or a bottom-up analysis framework? > I hope this question does not disturb you and look forward to your > reply. I am sorry if I missed some thing in the manual about this > issue. You are welcome. Please address your messages to ppl-devel(a)cs.unipr.it 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

1 0

[Fwd: some questions about PPL]
by Roberto Bagnara 07 Jun '05

07 Jun '05

-------- Original Message -------- Subject: some questions about PPL Date: Tue, 7 Jun 2005 00:58:20 -0400 From: Jie Ouyang <ouyang.jie(a)gmail.com> Reply-To: Jie Ouyang <ouyang.jie(a)gmail.com> To: bagnara(a)cs.unipr.it Hello Dr. Bagnara, I started a thread on the news group comp.lang.prolog about anonymous variables in prolog language. Thank you very much for your reply. Here I have some newbie questions about PPL since I just started to use it to do some logic program analysis. Say a predicate, P(A,B,C), appears in the body of another predicate, e.g. P1(...):- ...,P(D,E,F). It is easy to see that the variables of P are renamed and they correspond to different space dimensions. If we have the constaints of P defined on A,B,C, is there an easy way to map the constaints to the space dimensions D,E,F? The way I handle this now is to first use ppl_Polyhedron_map_space_dimensions to do the mapping: A-D,B-E,C-F. Then get the constraints which are defined on A,B,C,D,E,F. Since I don't want the effect of A,B,C after the mapping, I have to remove all constaints defined on A,B,C only and get the constraints system defined on D,E,F eventually. This procedure seems tedious and easily to miss something. So I'd like to find a better way to do it. I hope this question does not disturb you and look forward to your reply. I am sorry if I missed some thing in the manual about this issue. cheers, Jie Ouyang -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/src Grid_public.cc Grid_nonpublic.cc Grid. ...
by Matthew Mundell 01 Jun '05

01 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-01 20:26:47 Modified files: src : Grid_public.cc Grid_nonpublic.cc Grid.inlines.hh Grid.defs.hh Log message: Take out method add_low_level_congruences. 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_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src Generator_System.cc
by Matthew Mundell 01 Jun '05

01 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-01 20:25:26 Modified files: src : Generator_System.cc Log message: Update comments. Re-enable the ascii_load comparison between actual and declared types. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?…

1 0

ppl/src Congruence_System.defs.hh Congruence_S ...
by Matthew Mundell 01 Jun '05

01 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-01 20:23:59 Modified files: src : Congruence_System.defs.hh Congruence_System.cc Log message: Update comments. In OK add a message for the number of columns check and take out an old test. 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

ppl/src Congruence.inlines.hh
by Matthew Mundell 01 Jun '05

01 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-01 20:21:35 Modified files: src : Congruence.inlines.hh Log message: Update comments. Add a modulus method that returns a writable reference. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.dif…

1 0