December 2008 - PPL-devel - BUGSENG Mailman

ppl/src Box.templates.hh
by Enea Zaffanella 22 Dec '08

22 Dec '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-12-22 10:36:59 Modified files: src : Box.templates.hh Log message: Method upper_bound_assign_if_exact() corrected and its efficiency improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/tests/Box upperboundifexact1.cc
by Enea Zaffanella 22 Dec '08

22 Dec '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-12-22 10:31:31 Modified files: tests/Box : upperboundifexact1.cc Log message: Adapted to test the method on the Box domain. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/upperboundifexact1.…

1 0

ppl src/Boundary.defs.hh src/Box.inlines.hh sr ...
by Roberto Bagnara 21 Dec '08

21 Dec '08

1 0

Re: [PPL-devel] Failures in the PPL testsuite configured with gcc 4.4
by Sebastian Pop 19 Dec '08

19 Dec '08

On Tue, Dec 16, 2008 at 12:12 PM, Dominique Dhumieres <dominiq(a)lps.ens.fr> wrote: > Hi Sebastian, > > I have done a "make check" in PPL with both gcc 4.3 and 4.4. I got 4 failing > tests with 4.4. Before I fill a pr, did you see that? I do not know of these problems. In general, if there are problems with PPL, please CC the PPL-devel mailing list. Thanks, Sebastian

2 3

ppl configure.ac
by Roberto Bagnara 18 Dec '08

18 Dec '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-12-18 11:39:06 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

Re: [PPL-devel] PPL compiled with native integers
by Roberto Bagnara 18 Dec '08

18 Dec '08

Fausto Spoto wrote: > In general one should not define new > instances of RuntimeException but nevermind. Enea has checked the following document: http://www.j2ee.me/docs/books/tutorial/essential/exceptions/runtime.html Here it is said: Runtime exceptions represent problems that are the result of a programming problem, and as such, the API client code cannot reasonably be expected to recover from them or to handle them in any way. Such problems include arithmetic exceptions, such as dividing by zero; pointer exceptions, such as trying to access an object through a null reference; and indexing exceptions, such as attempting to access an array element through an index that is too large or too small. Hence, it seems that it is meaningful to throw a runtime exception when we have an overflow. Below in the same document it is also said: One case where it is common practice to throw a RuntimeException is when the user calls a method incorrectly. For example, a method can check if one of its arguments is incorrectly null. If an argument is null, the method might throw a NullPointerException, which is an unchecked exception. Hence, it also seem that it is meaningful to throw a runtime exception when the PPL is called by passing in an invalid argument. Don't you agree? Cheers, 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/interfaces/Java/jni ppl_interface_generato ...
by Enea Zaffanella 18 Dec '08

18 Dec '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-12-18 09:56:00 Modified files: interfaces/Java/jni: ppl_interface_generator_java_classes_cc_code.m4 Log message: Added several missing try { ... } CATCH_ALL blocks. Now all interfaced functions should be able to translate any C++ exception into a Java exception. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter…

1 0

ppl/interfaces/Java/jni ppl_java_common.defs.hh
by Enea Zaffanella 18 Dec '08

18 Dec '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-12-18 09:53:57 Modified files: interfaces/Java/jni: ppl_java_common.defs.hh Log message: The CATCH_ALL macro should not end with a semicolon. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_…

1 0

ppl/interfaces/Java/jni ppl_java_common.cc
by Enea Zaffanella 18 Dec '08

18 Dec '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-12-18 09:52:06 Modified files: interfaces/Java/jni: ppl_java_common.cc Log message: Added a newline for readability. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_…

1 0

ppl/interfaces/Java/parma_polyhedra_library pp ...
by Enea Zaffanella 17 Dec '08

17 Dec '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-12-17 18:10:57 Modified files: interfaces/Java/parma_polyhedra_library: ppl_interface_generator_java_classes_java_code.m4 Log message: Corrected a typo in the naming of a parameter. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhed…

1 0