September 2008 - PPL-devel - BUGSENG Mailman

ppl/doc Makefile.am
by Enea Zaffanella 22 Sep '08

22 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-22 20:29:20 Modified files: doc : Makefile.am Log message: Corrected a couple of typos. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/interfaces/Java/tests Makefile.am
by Enea Zaffanella 22 Sep '08

22 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-22 20:09:53 Modified files: interfaces/Java/tests: Makefile.am Log message: Call libtool when compiling NNC_Polyhedron_test1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Makefil…

1 0

ppl/interfaces/Java/jni Makefile.am
by Enea Zaffanella 22 Sep '08

22 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-22 20:06:32 Modified files: interfaces/Java/jni: Makefile.am Log message: CLEANFILES moved out of conditional. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/Makefile.…

1 0

ppl/interfaces/Java Makefile.am
by Enea Zaffanella 22 Sep '08

22 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-22 20:02:54 Modified files: interfaces/Java: Makefile.am Log message: Target Java_interface.dox placed out of #if BUILD_JAVA_INTERFACE conditional and listed in dist_noinst_DATA. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/Makefile.am.d…

1 0

ppl/interfaces/Prolog Makefile.am
by Roberto Bagnara 22 Sep '08

22 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-22 19:36:55 Modified files: interfaces/Prolog: Makefile.am Log message: BUILT_SOURCES must contain ppl_prolog_domains.cc.stamp. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am…

1 0

New PPL packages available
by Roberto Bagnara 22 Sep '08

22 Sep '08

http://packages.debian.org/sid/main/libppl7 http://packages.gentoo.org/package/dev-libs/ppl We should remember to update our download web pages so as to link to all of those. 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/Prolog Makefile.am
by Roberto Bagnara 22 Sep '08

22 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-22 18:00:50 Modified files: interfaces/Prolog: Makefile.am Log message: Actually build ppl_prolog_domains.cc.stamp. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 22 Sep '08

22 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-22 17:02:32 Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/Prolog: Makefile.am ppl_interface_generator_prolog_cc_files.m4 ppl_interface_generator_prolog_hh_files.m4 Log message: The file ppl_prolog_domains.cc is not needed. Ensure that in the generated tests a powerset of grids is built by default from congruences and not constraints. This fixes a bug when testing ppl_predicate_check_test for the Pointset_Powerset_Grid domain. 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/Prolog/Makefile.am… 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/m4 ac_cxx_ieee_inexact_flag.m4
by Roberto Bagnara 22 Sep '08

22 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-22 16:40:03 Modified files: m4 : ac_cxx_ieee_inexact_flag.m4 Log message: Made consistent with our code for controlling the FPUs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_ieee_inexact_flag.m…

1 0

ppl/interfaces/Java/jni ppl_interface_generato ...
by Andrea Cimino 22 Sep '08

22 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2008-09-22 16:07:33 Modified files: interfaces/Java/jni: ppl_interface_generator_java_classes_cc_code.m4 Log message: Apply the previous fix also in the jni directory. Now the `make check' should pass. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter…

1 0