May 2007 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Java/tests ppl_interface_genera ...
by Andrea Cimino 29 May '07

29 May '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2007-05-29 08:05:12 Modified files: interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 Log message: In the generated Java tests, for each method that returns a non void type, a corresponding variable of the appropriate type is declared and assigned to the value that the method returns. Removed a redundant `ppl_@TOPOLOGY@@CLASS@_@UB_EXACT@_code section. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int…

1 0

ppl NEWS
by Roberto Bagnara 28 May '07

28 May '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-05-28 14:05:05 Modified files: . : NEWS Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.20…

1 0

ppl/interfaces/Java/ppl_java ppl_interface_gen ...
by Roberto Bagnara 28 May '07

28 May '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-05-28 14:04:33 Modified files: interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java_code.m4 Log message: Fixed the generation of relation_with() methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_…

1 0

ppl/src MIP_Problem.defs.hh MIP_Problem.inlines.hh
by Roberto Bagnara 28 May '07

28 May '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-05-28 06:28:57 Modified files: src : MIP_Problem.defs.hh MIP_Problem.inlines.hh Log message: Removed method hash_code(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.inlines.hh.di…

1 0

ppl/interfaces/Java/tests ppl_interface_genera ...
by Andrea Cimino 24 May '07

24 May '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2007-05-24 07:56:03 Modified files: interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 Log message: Using `hashcode' instead of `hash'. Spurious blank space removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int…

1 0

ppl/interfaces/Java/tests ppl_interface_genera ...
by Andrea Cimino 23 May '07

23 May '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2007-05-23 23:11:55 Modified files: interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 Log message: Fixed a typo. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int…

1 0

ppl/interfaces/Java ppl_interface_generator_ja ...
by Andrea Cimino 23 May '07

23 May '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2007-05-23 23:07:07 Modified files: interfaces/Java: ppl_interface_generator_java_dat.m4 interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 Log message: In the Java interface provided, for most of the PPL classes, the methods `equals(Object y)' and `hashCode()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int…

1 0

ppl/src Any_Pointset.defs.hh Ask_Tell.defs.hh ...
by Roberto Bagnara 23 May '07

23 May '07

1 0

[Fwd: Re: question about PPL]
by Roberto Bagnara 22 May '07

22 May '07

-------- Original Message -------- Subject: Re: question about PPL Date: Tue, 22 May 2007 11:43:53 +0200 (CEST) From: letallec(a)i3s.unice.fr To: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <57939.83.197.255.233.1179760473.squirrel(a)webmail.i3s.unice.fr> <465282ED.6000103(a)cs.unipr.it> Dear Roberto, Thanks for all. Be sure that i'll : -let you know how it goes -use ppl-devel(a)cs.unipr.it for my next mail. :-) Thanks again and have a good day. yours sincerely, LE TALLEC Jean-François > Dear Jean-François, > > in the (yet to be released) version 0.10 of the PPL, the polyhedra classes > will have a method > > > /*! \brief > Returns <CODE>true</CODE> if and only if \p *this > contains at least one integer point. > */ > bool contains_integer_point() const; > > For your convenience, I have prepared a snapshot of what will > become PPL 0.10. You can find the tarballs at > > ftp://ftp.cs.unipr.it/pub/ppl/snapshots > > Please note that the version of PPL contained in the tarballs > is unreleased/experimental/unstable. Said that, we will try > to help in case you run into problems. > Please let us know how it goes and direct all correspondence > 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 > -- 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

Re: [PPL-devel] question about PPL
by Roberto Bagnara 22 May '07

22 May '07

letallec(a)i3s.unice.fr wrote: > But i would know if it is possible to > determinate if there is an integer solution in a domain describe with a > NNC polyhedron. i.e. : in the square x<0 ; x>1 ; y<0 ; y>1 with strict > inequality > i wasn't able to show that there is no solution. > i tried some manipulation with "grid" and the determinate<PH> function, > tried to intersect 2 NNC poly (first with the constraints and the second > with the congruence) but that did nothing. > So i wondered if you could explain to me how to do that if it's possible. Dear Jean-François, in the (yet to be released) version 0.10 of the PPL, the polyhedra classes will have a method /*! \brief Returns <CODE>true</CODE> if and only if \p *this contains at least one integer point. */ bool contains_integer_point() const; For your convenience, I have prepared a snapshot of what will become PPL 0.10. You can find the tarballs at ftp://ftp.cs.unipr.it/pub/ppl/snapshots Please note that the version of PPL contained in the tarballs is unreleased/experimental/unstable. Said that, we will try to help in case you run into problems. Please let us know how it goes and direct all correspondence 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