October 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Java/tests C_Polyhedron_test1.j ...
by Patricia Hill 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-02 11:42:22 Modified files: interfaces/Java/tests: C_Polyhedron_test1.java MIP_Problem_test1.java Makefile.am NNC_Polyhedron_test1.java Parma_Polyhedra_Library_test1.java Test_Executor.java ppl_interface_generator_java_test_java.m4 ppl_interface_generator_java_test_java_code.m4 ppl_java_tests_common Added files: interfaces/Java/tests: PPL_Test.java Log message: Each test only outputs the results of the subtests if the environment variable PPL_NOISY_TESTS or PPL_VERY_NOISY_TESTS is defined. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/PPL_Tes… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/C_Polyh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/MIP_Pro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/NNC_Pol… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Parma_P… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Test_Ex… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_jav…

1 0

ppl/interfaces/Prolog/tests Makefile.am pl_gri ...
by Patricia Hill 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-02 10:18:12 Modified files: interfaces/Prolog/tests: Makefile.am Removed files: interfaces/Prolog/tests: pl_grid_check.pl Log message: Removed pl_grid_check,pl as it is not being used or maintained. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makef… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_gr…

1 0

ppl/tests/Grid Makefile.am addconstraints1.cc ...
by Patricia Hill 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-02 10:02:18 Modified files: tests/Grid : Makefile.am addconstraints1.cc addgenerators1.cc approximatepartition1.cc generator1.cc partition1.cc removespacedims2.cc Log message: Removed useless commented out tests that were mainly testing methods that were private. Removed also some other commented out code in tests. Tests renumbered to be consecutive. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraints1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addgenerators1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/approximatepartiti… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generator1.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partition1.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims2.c…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-02 09:38:34 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Removed tests for exceptions for non-existent predicates. Modified the exception testing so as to check for the kind of exception that is thrown. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/interfaces/OCaml/tests ppl_ocaml_tests_common
by Roberto Bagnara 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-02 09:14:02 Modified files: interfaces/OCaml/tests: ppl_ocaml_tests_common Log message: Several improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_oc…

1 0

Generating Autotools files without autoreconf
by Roberto Bagnara 02 Oct '08

02 Oct '08

Hi there, GCC developers that also track the Parma Polyhedra Library (PPL, http://www.cs.unipr.it/ppl/) are in a situation whereby, while the GCC compiler is requiring Autoconf version 2.59 (precisely that one), the PPL requires a version >= 2.61. This is annoying, because they are forced to use at least two different versions of Autoconf. Basile Starynkevitch (in CC) suggested we put a generated configure script on the CVS repository. Thus we now have configure.repo in the repository, the idea being that a simple mv configure.repo configure could be used as an alternative to autoconf. However, the problem remains how to perform the update of all the other generated configuration files. In other words, we would need something that acts like autoreconf except for the fact that it would not attempt to build configure from configure.ac. Probably a small shell script invoking libtool, aclocal, automake in the right order and recursing to subdirectories is what is needed, but we are not sure. What is the right solution? 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

3 3

ppl/tests/Powerset pointsetpowerset2.cc
by Roberto Bagnara 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-02 08:42:19 Modified files: tests/Powerset : pointsetpowerset2.cc Log message: Comments fixed. Commented-out code removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowers…

1 0

ppl/interfaces/Prolog ppl_prolog_common.cc
by Roberto Bagnara 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-02 08:28:59 Modified files: interfaces/Prolog: ppl_prolog_common.cc Log message: More commented-out code removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_…

1 0

ppl/interfaces/Prolog ppl_prolog_common.defs.hh
by Roberto Bagnara 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-02 08:26:49 Modified files: interfaces/Prolog: ppl_prolog_common.defs.hh Log message: Commented-out code removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_…

1 0

ppl/interfaces/Prolog ppl_prolog_common.cc ppl ...
by Roberto Bagnara 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-02 07:59:35 Modified files: interfaces/Prolog: ppl_prolog_common.cc ppl_prolog_common.defs.hh Log message: PROLOG_TRACK_ALLOCATION revived. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_…

1 0