[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): New commits

Sun Apr 26 16:44:16 CEST 2009

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95aa5c9f987b912197ec3b3b1387eec580a504d6
Merge: 636f1db00bb3ae68ffbcdfbe22bc56c03f9cfdbd 79dac5cc0b03dec162bdcca40e01828a52371765
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Apr 26 16:43:28 2009 +0200

    Merge branch 'master' into bounded_arithmetic

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=79dac5cc0b03dec162bdcca40e01828a52371765
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat Apr 25 16:34:17 2009 +0200

    Started caching jclass objects using JNI global references.
    Cached other method IDs and optimized helper function build_linear_expression
    by introducing a new constructor for Linear_Expression_Times.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=252f8ae1ac62d5d64e22986dacd4cac87b9bb012
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Apr 25 14:49:22 2009 +0200

    Use the macros OCAMLC, OCAMLOPT and OCAMLLIB.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9037c88e5adb824dc896eeb3f65d7167d1536063
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Apr 25 14:48:38 2009 +0200

    One obsolete item removed.  Other items partially scheduled.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b72ef21ddc5a6e8f055f9e83ea6b19145c0c5fc
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Apr 25 14:07:17 2009 +0200

    DO_TEST_F now produces a more sensible output.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9e719ff0f062c245a79ae8de69d94df473969df
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Apr 25 09:19:18 2009 +0200

    Use the macros OCAMLC, OCAMLOPT and OCAMLDOC instead of hardcoded names.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df0492a0d79730e4b2efc5e61c34bf8b5d2de87b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Apr 25 08:34:02 2009 +0200

    Use the ocaml-autoconf macros for configuration of the OCaml interface.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=661fc6e75fa6a63230e5f366bb00c4ad9d74ad9a
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Apr 24 21:51:31 2009 +0200

    Improved jni helper functions set_coefficient, set_generator, set_by_reference.
    Cached anther few Java method IDs.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81e816d83312c7ca68c455f663d4e31a82bb08a2
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Apr 24 19:57:52 2009 +0200

    In Java, avoid useless repeated copies in Coefficient and Linear_Expression.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56f8b01231e0ad8251e56a8f0c9e00cf0ebc3c75
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Apr 24 12:10:04 2009 +0200

    Caching other Java field/method IDs.
    Also corrected a latent bug in helper function j_long_to_j_long_class.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abce61709cfc9643bd9f3e5b508006f2a457fda5
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Apr 24 09:56:40 2009 +0200

    Started caching Java field/method IDs for jni callbacks.
    Improved the translation from Java Coefficient to PPL Coefficient
    objects by providing the former with a toString method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b1c68544454e49a25a446e3344d2657cbf15c786
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Apr 23 20:45:46 2009 +0200

    Corrected Java Generator private method void set(Generator).
    We were not correctly setting the divisor for the generator.
    Also got rid of unused jni method set_grid_generator().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de88902aff57879b54b8d43957f49d4250f1ba7b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Apr 23 19:59:49 2009 +0200

    Got rid of (unnecessarily involved) method is_null.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a391d71c0cd009dfe2c3c345a92ad996cb284c8
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Apr 23 18:25:04 2009 +0200

    Prefer passing jobject, jint and jlong by value.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c165032ea5b1736061c110240c22c972732db98b
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Thu Apr 23 16:36:00 2009 +0200

    Added missing checks.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ececf3c3476d18d1a87795e3334f9b372ea658cb
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Thu Apr 23 12:23:41 2009 +0200

    Avoid use of anonymous enum.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2071de104d8f13d2109487512d2ae74e7fa888e1
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Thu Apr 23 07:16:52 2009 +0100

    Avoid unused variable warning.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=20168eb89529fe9be101fa6a9a459bf83d667d9a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Apr 22 21:22:19 2009 +0200

    Warnings avoided.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4086134c0c521d493e804794ca3d69d67f2e9631
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Wed Apr 22 07:50:17 2009 +0100

    Tests 11 fails with checked-int32 coefficients.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f4c56724b1b865aa8d8fc6ef563467d105ba609
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Apr 21 21:53:44 2009 +0200

    Use of PPL_ARM_CAN_CONTROL_FPU made safer.
    
    When the PPL has been configured with CPPFLAGS="-DPPL_ARM_CAN_CONTROL_FPU=1",
    the library initialization procedure checks that the FPU can indeed be
    controlled and fails if that is not the case.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec293cdd3d5b33b1ba04947b000a98febf19056e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Apr 21 21:44:41 2009 +0200

    Formatting improved.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d50a679f90cf1a0f7ded6026f069f98d1428924e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Apr 21 21:33:32 2009 +0200

    Made the checks for HAVE_FENV_H systems more robust.