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.