June 2006 - PPL-devel - BUGSENG Mailman

[Fwd: Re: [PPL-devel] PPL Query]
by Roberto Bagnara 13 Jun '06

13 Jun '06

-------- Original Message -------- Subject: Re: [PPL-devel] PPL Query Date: Tue, 13 Jun 2006 14:22:28 +0200 (CEST) From: Vishal Lahoti <lahoti(a)liafa.jussieu.fr> To: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <Pine.LNX.4.64.0606081415080.7045(a)liafa0q.liafa.jussieu.fr> <4489133D.9080700(a)cs.unipr.it> <Pine.LNX.4.64.0606091245360.14548(a)liafa0q.liafa.jussieu.fr> <448AC555.5030302(a)cs.unipr.it> <Pine.LNX.4.64.0606121052440.2730(a)liafa0q.liafa.jussieu.fr> <448D7B7B.1040706(a)cs.unipr.it> Dear Roberto, Thanks a lot for your attention. The problem was in the order of linking of the libraries which is now sorted and i have it running now. Good luck and Best Regards, Vishal On Mon, 12 Jun 2006, Roberto Bagnara wrote: > Vishal Lahoti wrote: >> I did send the attatchment. It is a tar ball of files. Perhaps the mailing >> list did not accept the attatchment I suppose. So I am resending the mail >> to your account. The changes were made in PPL 0.9. Other information >> >> Archietecture iX86 >> OS Fedora Core 4 >> GCC version 4.0.2 >> GMP version 4.1.4 >> >> Please find the file attatched. Once again, Thanks for your response. > > Dear Vishal, > > the files you sent look strange: > > 1) new2.cc uses the same macros used by the PPL tests and is based > on exactly the same assumptions. So it should be added to > tests/Makefile.am to be compiled and linked properly. > > 2) makefile suggests that the intention is to use it as a stand-alone > program. > > Assuming that 2) is what you want, I have edited new2.cc so as to > obtain new3.cc (below the signature). It can be compiled and executed > as follows: > > $ g++ -W -Wall new3.cc -lppl -lgmpxx -lgmp > $ a.out > *** ph1 *** > A - B + C + E >= 0, A - B + D >= 0, C - D >= 0, -D + E >= 0, D >= 0 > *** ph1 after one affine image *** > A - B + 2*C + E >= 2, A - B + C + D >= 2, C - D >= 0, -D + E >= 0, D >= 0 > *** ph1 after two affine image *** > A - B + 3*C + E >= 4, A - B + 2*C + D >= 4, C - D >= 0, -D + E >= 0, D >= 0 > > extrapolation failed > > You will have to add the needed -L and -I options to the compilation command, > if you install GMP and/or the PPL into a non standard place. > 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

ppl tests/Grid/directproduct2.cc src/Direct_Pr ...
by Matthew Mundell 12 Jun '06

12 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-12 19:00:51 Modified files: tests/Grid : directproduct2.cc src : Direct_Product.types.hh Direct_Product.templates.hh Direct_Product.inlines.hh Direct_Product.defs.hh Log message: Introduce Reduced_Product. Move most Direct_Product reduce methods into Reduced_Product. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct2.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.types.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.templates.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.di…

1 0

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 12 Jun '06

12 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-12 18:28:44 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc.m4 ppl_interface_generator_prolog_icc_code.m4 Log message: Revised the way the pattern replacements are defined and revised the code for replacement. Extended the prolog_dat.m4 list of predicates that can generate code for BD_Shape to match that of the C interface (and removed a bug that prevented BD_Shape widening compiling). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/tests/Grid directproduct1.cc Makefile.am d ...
by Matthew Mundell 12 Jun '06

12 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-12 17:27:37 Modified files: tests/Grid : directproduct1.cc Makefile.am Added files: tests/Grid : directproduct2.cc Log message: Add tests of time_elapse_assign(dp) and topological_closure_assign() to directproduct1. Add directproduct2. Move directproduct1 reduce tests into directproduct2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct2.cc?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/src Direct_Product.inlines.hh Direct_Produ ...
by Matthew Mundell 12 Jun '06

12 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-12 17:26:40 Modified files: src : Direct_Product.inlines.hh Direct_Product.defs.hh Log message: Declare Generator_System constructors. Implement time_elapse_assign(dp) and topological_closure_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.di…

1 0

PPL Query
by Vishal Lahoti 12 Jun '06

12 Jun '06

Hello, I am a fellow researcher and am working on the PPL library and using it for some extrapolation techniques. I have modified the source code and now when I compile this it seems to give some linking problems. More appropriately, its giving a symbol lookup error and undefined reference. Could you help me out with a solution to the above problem and let me know how to re compile the PPL library if I have made some modifications into it. Thanks and Regards, Vishal Lahoti.

2 5

ppl/tests/Octagon generalizedaffineimage1.cc g ...
by Barbara Quartieri 12 Jun '06

12 Jun '06

1 0

ppl/tests/Grid directproduct1.cc
by Matthew Mundell 12 Jun '06

12 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-12 16:03:51 Modified files: tests/Grid : directproduct1.cc Log message: Add tests of difference_assign(y) and of the affine transformation methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.…

1 0

ppl/src Direct_Product.templates.hh Direct_Pro ...
by Matthew Mundell 12 Jun '06

12 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-12 16:03:24 Modified files: src : Direct_Product.templates.hh Direct_Product.inlines.hh Direct_Product.defs.hh Log message: Declare Generator adding methods. Implement difference_assign(y) and the affine transformation methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.templates.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.di…

1 0

ppl/tests/Grid generalizedaffinepreimage2.cc g ...
by Matthew Mundell 12 Jun '06

12 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-12 16:02:52 Modified files: tests/Grid : generalizedaffinepreimage2.cc generalizedaffinepreimage1.cc Log message: Move generalizedaffinepreimage2 test06 into generalizedaffinepreimage1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinep… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinep…

1 0