URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95aa5c9f987b9... Merge: 636f1db00bb3ae68ffbcdfbe22bc56c03f9cfdbd 79dac5cc0b03dec162bdcca40e01828a52371765 Author: Roberto Bagnara <bagnara@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=79dac5cc0b03d... Author: Enea Zaffanella <zaffanella@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=252f8ae1ac62d... Author: Roberto Bagnara <bagnara@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=9037c88e5adb8... Author: Roberto Bagnara <bagnara@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=5b72ef21ddc5a... Author: Roberto Bagnara <bagnara@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=d9e719ff0f062... Author: Roberto Bagnara <bagnara@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=df0492a0d7973... Author: Roberto Bagnara <bagnara@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=661fc6e75fa6a... Author: Enea Zaffanella <zaffanella@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=81e816d83312c... Author: Enea Zaffanella <zaffanella@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=56f8b01231e0a... Author: Enea Zaffanella <zaffanella@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=abce61709cfc9... Author: Enea Zaffanella <zaffanella@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=b1c68544454e4... Author: Enea Zaffanella <zaffanella@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=de88902aff578... Author: Enea Zaffanella <zaffanella@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=9a391d71c0cd0... Author: Enea Zaffanella <zaffanella@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=c165032ea5b17... Author: Abramo Bagnara <abramo.bagnara@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=ececf3c3476d1... Author: Abramo Bagnara <abramo.bagnara@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=2071de104d8f1... Author: Patricia Hill <p.m.hill@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=20168eb89529f... Author: Roberto Bagnara <bagnara@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=4086134c0c521... Author: Patricia Hill <p.m.hill@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=7f4c56724b1b8... Author: Roberto Bagnara <bagnara@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=ec293cdd3d5b3... Author: Roberto Bagnara <bagnara@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=d50a679f90cf1... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Tue Apr 21 21:33:32 2009 +0200 Made the checks for HAVE_FENV_H systems more robust.