July 2007 - PPL-devel - BUGSENG Mailman

ppl/interfaces/OCaml Makefile.am
by Enea Zaffanella 06 Jul '07

06 Jul '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-07-06 15:51:40 Modified files: interfaces/OCaml: Makefile.am Log message: Added option -f to cp and rm commands. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.…

1 0

ppl/interfaces/Java/jni Makefile.am
by Enea Zaffanella 06 Jul '07

06 Jul '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-07-06 13:57:29 Modified files: interfaces/Java/jni: Makefile.am Log message: File ppl_java_classes.cc is generated, hence should not be distributed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/Makefile.…

1 0

ppl/interfaces/Java/ppl_java Makefile.am
by Enea Zaffanella 06 Jul '07

06 Jul '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-07-06 13:21:57 Modified files: interfaces/Java/ppl_java: Makefile.am Log message: Exploit macros is already available. Remove wrong dependency from Polyhedron.java. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make…

1 0

ppl/interfaces C/Makefile.am OCaml/Makefile.am ...
by Enea Zaffanella 06 Jul '07

06 Jul '07

1 0

ppl ppl.spec.in
by Roberto Bagnara 06 Jul '07

06 Jul '07

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: bagnara(a)cs.unipr.it 2007-07-06 10:26:53 Modified files: . : ppl.spec.in Log message: Bug 246815 had been fixed: YAP support enabled again. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 06 Jul '07

06 Jul '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-07-06 09:16:11 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Small improvements - mainly to comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 06 Jul '07

06 Jul '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-07-06 08:27:36 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Improved the code testing large integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 05 Jul '07

05 Jul '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-07-05 22:32:53 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Modified the test for large integers in the case that current_prolog_flag(bounded, true) holds. In this case, the generated large integer may wrap and any comparison with Max_int - obtained with current_prolog_flag(max_integer, Max_int) meaningless. So we also compare the generated integer with another number that is generated to be about half its size (and therefore already tested). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

Fedora 7 Test Update: ppl-0.9-12.fc7
by Roberto Bagnara 05 Jul '07

05 Jul '07

Version 0.9 of the Parma Polyhedra Library has been successfully pushed for Fedora 7 testing: https://www.redhat.com/archives/fedora-test-list/2007-July/msg00102.html This means ppl-0.9-12.fc7 is one of the proposed updates of Fedora 7. It will remain in the updates-testing repository for at least one week: I would appreciate if people (also those using FC6) could test the packages and let me know how they go. The packages are being propagated to the mirrors right now. You can find them already, e.g., at ftp://alviss.et.tudelft.nl/pub/fedora/linux/updates/testing/7/ If everything is OK, in one week the PPL packages will be moved to the regular updates repository from where they will be available to all Fedora 7 users. Thanks for your cooperation, 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 ppl.spec.in
by Roberto Bagnara 05 Jul '07

05 Jul '07

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: bagnara(a)cs.unipr.it 2007-07-05 14:48:43 Modified files: . : ppl.spec.in Log message: Disable YAP support until bug 246815 is fixed. Bug 243084 has been fixed: `ppl-swiprolog' dependency on `readline-devel' removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0