[PPL-devel] [GIT] ppl/ppl(products): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Wed Apr 29 14:45:42 CEST 2009
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d9d2424b6b45115d3460e6584f28e416677e163
Merge: 71893349245baa11c7fa1dd9b0a793606b4bce4c 827e54079b1ec6528dd5d185c8d8d0694c891587
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Apr 29 14:44:49 2009 +0200
Merge branch 'master' into products
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=827e54079b1ec6528dd5d185c8d8d0694c891587
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Apr 28 09:36:30 2009 +0200
Fixed a typo causing improper cleaning of Java interface files.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c74abbd831d16868fabb6b90d1b57578e164cda
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 27 19:06:12 2009 +0200
Use LT_PREREQ to ensure a recent-enough version of Libtool is used.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb1f4a6bc8f719a28b9a26bf817f064c348a2d36
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Apr 27 14:16:31 2009 +0200
Fixed a few residual issue in Java interface method ID caching.
Factored away common code in helper functions build_cxx_*_system.
Inlined a few helper functions.
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.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd10d9cbc12869eb3f2c1538cf466a9dd0f715af
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Apr 21 09:08:45 2009 +0200
Corrected silly typo in compile-time check.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b5167c49d1ea70388b3340cd16d3b6a1d895c29
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Apr 21 08:21:15 2009 +0200
Typos fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac1770aa59f14266f2c6e712d529b09cd583e11f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Apr 21 08:07:47 2009 +0200
Typos fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c817701410d0653fa368359c9ad9ed54f0536005
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 20 22:35:51 2009 +0200
Mentioned the speed improvements committed today.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e21f9ce03b4f36e9d367fb346ddaf3c68c8fc498
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 20 22:25:50 2009 +0200
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1038f1af5ecbe0a9ed6c7406160dd86a17a62d8d
Merge: d0e5a4edbf54e3a14ba44b27d34ab24f101cb118 6d7e265c238bcc62cff25ded4f134882114d91d7
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 20 22:18:24 2009 +0200
Merge branch 'deprecated_0_11_removal'
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0e5a4edbf54e3a14ba44b27d34ab24f101cb118
Merge: 0dbad6c0854d82ebeed8d0ab04bd915f3699a005 45e1e7e6e2f671988a8b6d6f4e1acc054f0d5653
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 20 22:10:48 2009 +0200
Merge branch 'ppl-0_10-branch'
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0dbad6c0854d82ebeed8d0ab04bd915f3699a005
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 20 22:06:33 2009 +0200
Bit_Row iterators reimplemented more efficiently.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13ef1bd74112c763825dc481b93b00837bd36f56
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Apr 20 14:01:46 2009 +0200
The exact integer upper bound methods for shapes are now under Git control. The methods are named integer_upper_bound_assign_if_exact; they can only be instantiated if the template parameter T is an integer datatype.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2956e3e5df7090d8f92bf5337f40249a3732981c
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Apr 20 16:48:58 2009 +0200
Added assert to check for possible overflow.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88284403410adf0226853028becf67551778060c
Merge: 12dc53fb2a829b9ae88c49c5a5dd796df4cc8ced f4152242e68e80d38a8ed790fdfd23116c79b1f3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 20 16:24:53 2009 +0200
Merge branch 'master' of ssh://bagnara@git.cs.unipr.it/git/ppl/ppl.
Resolved conflicts:
src/Bit_Row.inlines.hh
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12dc53fb2a829b9ae88c49c5a5dd796df4cc8ced
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 20 16:15:22 2009 +0200
Improved set_union(const Bit_Row&, const Bit_Row&, Bit_Row&).
Used the new Bit_Row set-union constructor wherever possible.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4152242e68e80d38a8ed790fdfd23116c79b1f3
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Apr 20 15:21:57 2009 +0200
Size has to be specified in bits.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03552e3fe4336c7c194c8b8decd092794e0977c8
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 20 14:43:58 2009 +0200
New constructor Bit_Row::Bit_Row(const Bit_Row& y, const Bit_Row& z).
Constructs an object containing the set-union of y and z.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ead61e70bbce24c517afc3f79d2285b8abcfdb4c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 20 13:50:09 2009 +0200
Further improved subset_or_equal(const Bit_Row&, const Bit_Row&, bool&).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73047e08667ebca99b0262dd03c07f100f3c2925
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 20 12:18:05 2009 +0200
Avoid useless allocations by only adding recycled rows to Bit_Matrix.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5959eedc504b636abadb642035680a78627b21a0
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 20 10:49:44 2009 +0200
Significantly speeded up the construction of `new_satrow'.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33cd6b46113c1db583a43eccf9e0a9076018948a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 20 10:37:36 2009 +0200
Improved subset_or_equal(const Bit_Row&, const Bit_Row&, bool&).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d7e265c238bcc62cff25ded4f134882114d91d7
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Sun Apr 19 20:42:46 2009 +0100
Removed tests for the deprecated *and_minimize() predicates.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee3078871418fbb8d3bc57c6fb0bbcd7ebdf00fe
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Sat Apr 18 22:19:12 2009 +0100
Removed deprecated methods *and_minimize().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c6f088f403eb8630960ab019f07d7c7bb205014
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 18 15:11:52 2009 +0200
Mark package ppl-yap as obsoleting ppl-yap-static.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=45e1e7e6e2f671988a8b6d6f4e1acc054f0d5653
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 18 07:03:20 2009 +0200
Update version.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03010d53fc628655cd8464e5f6b5325bb295d6cb
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 18 07:03:20 2009 +0200
Mark ChangeLog.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16e540d9a5fbdb4eb8106e63a2907f7913e49710
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 18 07:03:19 2009 +0200
Mark ChangeLog.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=089cc703e60fc5717f5651f7292d3b60f4f32918
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 17 20:46:19 2009 +0200
No longer use ppl_Polyhedron_add_constraints_and_minimize/2.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca295d6ed7b39cb13c96eff02786df923ab308dd
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 17 19:12:46 2009 +0200
More changes related to the removal of the *_and_minimize() methods.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a9b293e53d065d58c2f0d7e2fbb6469f93effca
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 17 18:47:18 2009 +0200
Tests adapted to check the "non-and_minimize" versions.
Several comments and one bug fixed in the process.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6fcfd54c39f8b8932aa5f1f630bcea1bcf90473
Merge: 51a19a2a50729a16573d6577717d39432ffce921 205889d57ad9e727b202b560a69bab47a871e8a4
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 17 15:02:35 2009 +0200
Merge branch 'master' into deprecated_0_11_removal.
Resolved conflicts:
NEWS
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d9dccfb35624f7a3efd99cfea738306b147a473
Merge: 083f3ea586048ba416ce6bea34a9d702d1d57989 205889d57ad9e727b202b560a69bab47a871e8a4
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 17 12:55:06 2009 +0200
Merge branch 'master' into ppl-0_10-branch.
Resolved conflicts:
ChangeLog
Watchdog/ChangeLog
configure.ac
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=205889d57ad9e727b202b560a69bab47a871e8a4
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 16 19:53:32 2009 +0200
Changed `__s390x' to `__s390x__' in conditional exclusion of this test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5cac12e98ccfe3ced20cb26c3a3d6be2d0a9459
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 16 13:28:34 2009 +0200
Updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74c1907444a19b1756711623d779b7eea9bb3be3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 16 13:15:49 2009 +0200
Updated for PPL 0.10.2.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bd0dba00f786220d773edba1b9a09c591056aab
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 16 12:10:11 2009 +0200
Version numbers fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a5a53ecbeb4eecf23682cb98bbdea1d42dd286b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 16 12:02:03 2009 +0200
Updated for PPL 0.10.2.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=196f2de7fe79d67450109628d144b9b8f4ec2e3e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 16 11:15:41 2009 +0200
Added targets to have `make -n dist' work as expected.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8a9cfe7cf1e6ddeaf08b4647a3f29d88f9f924b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 16 10:57:35 2009 +0200
Usage string fixed: ppl_lcdd accepts at most one input file.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5c7c849dc491e2057c5da89b777ab61377df240
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 16 08:37:12 2009 +0200
Added rules so that `make -n' and `make -n check' work.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d77b6ad1c7ddac3a8ff4168114975e2c894caeb3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 16 07:47:21 2009 +0200
Updated BHZ09b.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4302923d1a3d4fe2ba32f24108bd2b9484950d3a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Apr 15 22:56:56 2009 +0200
Test program tests/Polyhedron/memory1 disabled on the zSeries s390x platform.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4df86f705b1581500006ecdf29851919cf02968
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Apr 15 22:30:20 2009 +0200
Updated for PPL 0.10.2.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18ff016b92d1564dc761a0a1dcc528d8c2c4915b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Apr 15 22:21:41 2009 +0200
Libtool -version-info updated for PPL 0.10.2.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5596eca02f2dea09e57ea22a240c2f3eab8be9e5
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Apr 15 16:03:44 2009 +0200
Accommodate version 4.3.0 of GMP.
Starting from GMP version 4.3.0 (released a few hours after PPL 0.10.1),
the gmp_version variable always contains three parts. In previous
versions the patchlevel was omitted if it was 0. This change broke our
GMP detection procedure.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51a19a2a50729a16573d6577717d39432ffce921
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Apr 14 22:13:49 2009 +0200
Initiated the removal of the methods deprecated in PPL 0.10.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23cb7dad8cf9db38bca9ac8e59c5602edb860910
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Apr 14 14:09:48 2009 +0200
Improved.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0a1463d9ba42c938bbaf8fb6c88f3078581c4ea
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Apr 14 14:03:33 2009 +0200
Updated to refer to git and to mention possible names of TeX config files.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=083f3ea586048ba416ce6bea34a9d702d1d57989
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Apr 14 07:08:18 2009 +0200
Update version.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a84a159282df8aeaefb90e298f128e2ec8abd96
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Apr 14 07:08:18 2009 +0200
Mark ChangeLog.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7b33daac43d366b73df51e7f49264e819caba136
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Apr 14 07:08:18 2009 +0200
Mark ChangeLog.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53fa697c6edf5c123d8c3603159ca92a14e46300
Merge: 291c4d184c4ba91cb54e6e40d74b884290db99ca d3f29a9c56e680f46428916490d4ec2c00210c66
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 13 16:43:09 2009 +0200
Merge branch 'master' into ppl-0_10-branch
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3f29a9c56e680f46428916490d4ec2c00210c66
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 13 16:41:28 2009 +0200
Updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c4abf8f114e92a2cd8867f40b51568fa2444703
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 13 13:10:55 2009 +0000
Disabled test10() on the Alpha.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=291c4d184c4ba91cb54e6e40d74b884290db99ca
Merge: 1c505504340feee5bab77299170ee9f3c802f9f6 64d70efe40c253409d12f0159eadb4b95a1f105f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Apr 12 10:43:10 2009 +0200
Merge branch 'master' into ppl-0_10-branch
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64d70efe40c253409d12f0159eadb4b95a1f105f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Apr 12 10:39:55 2009 +0200
Updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ac6a88a25b74badf7626f7e8c87da43aecd42a3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Apr 12 09:31:41 2009 +0200
Bibliography updated.
The generated bibliography required manual intervention in a few
places, also because of a couple of Doxygen bugs and limitations (see
http://bugzilla.gnome.org/show_bug.cgi?id=578739 and
http://bugzilla.gnome.org/show_bug.cgi?id=578740).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1687ed375515c088c7ee6929dc49742ff3b5e998
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 11 19:20:17 2009 +0200
Added missing patterns. Removed obsolete ones.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb03520297061e1c8f938704aa1bc5ec1b004e2f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 11 19:11:57 2009 +0200
Added missing patterns.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d4313732d680e17705c0e300b7c7e9a864508f66
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 11 18:14:12 2009 +0200
Updated for PPL 0.10.1.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c505504340feee5bab77299170ee9f3c802f9f6
Merge: 5594ca8902abf172edcb6ac835491d47a0b8837a 8707f62b598769d6802282c5f762b63b607ed109
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 11 08:40:14 2009 +0200
Merge branch 'master' into ppl-0_10-branch
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8707f62b598769d6802282c5f762b63b607ed109
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 11 08:37:36 2009 +0200
Updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f636cea7494dc4d149293a3298809530fd3f411
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 11 08:25:21 2009 +0200
Fixed reference to CLPQ_TESTS.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5594ca8902abf172edcb6ac835491d47a0b8837a
Merge: 34817d8d83a0046ed7f4966da3ab3a391b930342 8e9f007fa2a5491ee1810e83fc24a6daa2829516
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 10 22:40:15 2009 +0200
Merge branch 'master' into ppl-0_10-branch
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e9f007fa2a5491ee1810e83fc24a6daa2829516
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 10 22:32:54 2009 +0200
Updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=753671e93149e0d82aef0afcd6279e78711f2cfe
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 10 22:24:18 2009 +0200
Only use fmaf(), fma() and fmal() if they are fast.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c75c07f7c12f89fa9c7c408e4ac946ea46f8e9f9
Author: Roberto Bagnara <roberto at freebsd.homenet.telecomitalia.it>
Date: Fri Apr 10 21:33:33 2009 +0200
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b6a0450ea6bdef2e4aaac3184f0ff42045eb5781
Author: Roberto Bagnara <roberto at freebsd.homenet.telecomitalia.it>
Date: Fri Apr 10 21:31:37 2009 +0200
Do not use fma(), fmaf() and fmal() on FreeBSD.
fma() does not respect rounding, fmaf() and fmal() may have the same problem.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a786a3fa3e3f0d6b0522dd9dbe16c4a2066faac6
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 9 21:41:10 2009 +0200
Mentioned the AIDA 2007 project.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e4bc90a2bcaef22c139f0bd18b16f89e8885841
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 9 21:23:41 2009 +0200
Acknowledge the contribution of HiPEAC.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11e028c0bff9d5060fde44011e47eb70c8006266
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 9 20:59:40 2009 +0200
Acknowledge the contribution of INRIA.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96604f4f9f42cee268d6ef6c9635e6c7f3f9940c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 9 19:10:05 2009 +0200
Acknowledge the contribution of AMD. Fixed mistaked of previous commit.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7b0e03047aaed1baadf9582b6f6e9ddada4a515
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 9 18:28:11 2009 +0200
Acknowledge the contribution of Kenneth MacKenzie.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11f285e07ccecfd5cb7ba99745b056b842bebe00
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Apr 7 06:04:44 2009 +0000
Disabled test07() on the Alpha.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=34817d8d83a0046ed7f4966da3ab3a391b930342
Merge: 2a99071b3d238884e1120d34c994684671a6221f 52d769bff2e50c45330bdca9a955e33c9526337e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 6 22:02:39 2009 +0200
Merge branch 'master' into ppl-0_10-branch.
Conflicts (resolved):
ChangeLog
TODO
Watchdog/ChangeLog
configure.ac
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52d769bff2e50c45330bdca9a955e33c9526337e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 6 20:21:25 2009 +0200
Updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b99a2467787d6aec0373aa32fa877db84e40dfe3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 6 19:59:56 2009 +0200
Machinery to generate ChangeLog adapted to Git.
This is still highly unsatisfactory, as it requires manual intervention.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ddc68784afea4b9510944bbdbc7ca5b879575ba
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 6 18:55:14 2009 +0200
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a81262c763ea7b4f9d6da3a82ee5a8e3a0c63a2
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Apr 6 15:17:16 2009 +0200
Avoid differences generated by locale.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2da0f6fec2663e13c9e9b657f80bca8d9f84a34
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 6 15:11:47 2009 +0200
Set LC_COLLATE=C in addition to LANG=C.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d38cfbdcfa92ca251472db240fb1d84b981f9791
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 3 10:21:01 2009 +0000
Disabled test04() on the Alpha.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3446585afd620538d427e65d333b62a78f58c3c4
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Apr 5 18:54:13 2009 +0200
Disabled a couple of tests on the Alpha.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bd8f56859bb8614a7988213f4ae73bf00881639
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 4 08:17:57 2009 +0200
Updated for PWL 0.7.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb648ef680b398188f0ff22076841e6b148a001e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 4 08:17:31 2009 +0200
Updated for PPL 0.10.1.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59aa0521574a5c2238966d8238283770b13a7cd1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 4 08:05:10 2009 +0200
More NEWS items added. Tentative release date set to April 14, 2009.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e00dfb7f0c56a757e19168e83f5535050e42271e
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Apr 3 16:28:37 2009 +0200
Do not use the same object to play different roles in the same method call.
In calls to methods Box::difference_assign and Box::concatenate_assign
we were binding the very same Box object both to the (modifiable) implicit
argument *this and to the (const) explicit argument y.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec81d249f91bcdeb6fafacf682dedd0219e0c19f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Apr 3 16:09:25 2009 +0200
Fixed a missing initialization bug in Box::concatenate_assign.
Also improved methods add_space_dimensions*: instead of adding new
uninitialized intervals and later initialize them, we now directly add
properly initialized intervals.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4127a9caaaa69f0f3de086404f2a967f20052f02
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Fri Apr 3 10:34:38 2009 +0100
Avoid warning of unused variable space_dim.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db1ced1c1d7a1fb34b2b82a095e962100dd74680
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 3 05:20:30 2009 +0000
Work around a bug affecting some versions of <stdio.h>.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6faf694d166b72703e204699a38cebb440ac1c48
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 2 22:11:02 2009 +0200
Added missing uses of AC_REQUIRE; removed a spurious one.
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3b959163da9e982568db53698e377a72c1f95da7
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Apr 2 18:37:45 2009 +0200
Use @mlgmp_dir@ instead of +gmp for the -I option of ocamldoc.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab09fc64171cec6b1571b5a6e01411ce1c91bd58
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Thu Apr 2 16:34:17 2009 +0200
Fixed parallel make.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=237c520ccf6e8e9d864227c2b626d4c1e3fae4e0
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Apr 2 14:42:01 2009 +0200
Added a couple of items.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50fce16879df400d242a515505de079a5f50c5cd
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Apr 2 13:36:06 2009 +0200
We no longer have FIXME's for 0.10.1.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=111862b03b7104fbc82949ea22af69a37ec66daa
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Apr 2 13:31:29 2009 +0200
Another FIXME postponed to 0.11.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1160320355348e63c84b906fdd02af56983a2720
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Apr 2 13:23:20 2009 +0200
A couple of FIXME postponed to 0.11.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c7a8ef09f6d4cd46b25a40b1566535b1c7358ca
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Apr 1 22:32:00 2009 +0200
Code duplication and useless bitwise manipulation avoided.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5bd4e05f5300713e790f3336cbbedc439b3f9b7e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Apr 1 21:13:44 2009 +0200
FIXME resolved.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91794cd12b1f4cbe2ca219992f3cb9f41060dc1d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Apr 1 16:57:30 2009 +0000
Disabled test19() on the Alpha.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c37da79744061b6c73f9c854297cd8e2d6610d2e
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Apr 1 16:27:16 2009 +0200
Adapted test Box/ascii_dump_load1.cc and FIXME removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be841361f1f4897750044e44447b1f26b4c398b9
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Wed Apr 1 14:15:57 2009 +0100
Typo fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f73f6b6af1deb322d9ad299612e99e673b202860
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Wed Apr 1 13:27:14 2009 +0100
Revised the implementation for
Box<ITV>::limited_cc76_extrapolation_assign()
so as to use the limiting constraint system to limit the widened box.
The FIXME(0.10.1) there is now removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e0d0b4b32c01d0bcbc257d415b0ad07e95eaf23
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Apr 1 14:23:34 2009 +0200
Test adapted and fixme removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6e74285860c8db3cd382da208e9c9042df406099
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Wed Apr 1 09:31:06 2009 +0100
Changes to deal with //FIXME(0.10.1): the following is a bug!
in src/Pointset_Powerset.templates.hh
As Grids are non-convex, the constructor for a powerset of nnc
polyhedra from a powerset of grids has been implemented separately
from the generic case. A test added to show that there was a bug which
is now fixed.
The "//FIXME(0.10.1): ..." has been removed but a new FIXME added
indicating this code will break if other non-convex or non-linear
domains are added
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0da4a56d73827f16d6d32af6aa2e2d44232edec
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Apr 1 10:41:21 2009 +0200
Updated for PPL 0.10.1.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0fd5be627f295dd9745620188a894774c1ea95da
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Apr 1 10:40:10 2009 +0200
New items for PPL 0.11 added. Other items scheduled for PPL 0.11.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1826e6cd378ec51530b262c7f65a489b1341bdf8
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Tue Mar 31 20:18:44 2009 +0200
Made ascii_load more restrictive.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=432d03e6ab06dcad0455c9504a2661ab1ada431a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 31 20:30:09 2009 +0200
Indentation fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ac85b56ba1b4277e27a28a5384121931f7f6e52
Merge: ccc5ce00a303af09a7e37d120695a2c1cbb37834 21f7acf730e5ebf68eca6bcf9034b19098375b67
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 31 17:38:30 2009 +0000
Merge branch 'master' of ssh://bagnara@git.cs.unipr.it/git/ppl/ppl
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccc5ce00a303af09a7e37d120695a2c1cbb37834
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 31 17:37:40 2009 +0000
Disabled one more test on the Alpha.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21f7acf730e5ebf68eca6bcf9034b19098375b67
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Tue Mar 31 17:35:39 2009 +0200
Postponed FIXME.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=337302a6e28fd7e7200b1d80bf65021d66cfa449
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Tue Mar 31 17:02:11 2009 +0200
Removed FIXME and documented the default value.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53bc728c443c710132e714cf9faae2825890bcf1
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Tue Mar 31 16:52:25 2009 +0200
Added TODO item.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=265df2a955aa24edb49c42d53f866460ef265308
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Tue Mar 31 16:48:05 2009 +0200
Postponed FIXME.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a3eb98fc9cdfc1b2ce00dc6c8b1fb901e4aa5217
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Tue Mar 31 10:24:49 2009 +0200
Fixed run_tests make.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=707506c9498a885f2c161836739ff5b3c1b5609d
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Tue Mar 31 11:13:57 2009 +0100
Removed two FIXME(0.10.1)s which have been checked and
for which nothing needs to be done.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aaa333e2ecdaa243a60b647332ff7fb832110163
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 31 06:36:04 2009 +0000
Disabled some tests on the Alpha.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ef13f200169635747af29ad76fdd29efa2d1518
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 30 22:20:12 2009 +0200
Version number bumped. The name of the program is Autoconf.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=40af6c2c6af4cf7eb81231e5585ea4663a0fdbad
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Mar 30 23:01:54 2009 +0200
Register OCaml interface exceptions; added a few tests.
The interface exceptions should be registered both in the .ml and .mli files.
Added a test for the invalid argument exception (negative space dimension)
and for the set/reset timeout functions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=861f99ed46201a87dcd83160cda84d768749e208
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 30 21:29:52 2009 +0200
Added one item for PPL 0.11.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd82590da6f24fb84b0c794d4be71468b6cc1da3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 30 18:56:44 2009 +0000
Disable test19() on the Alpha.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f2eadcbe1e80567a58e1b4c2cf3cbb4a561b6ff
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 30 19:15:03 2009 +0200
Fixed *_CPPFLAGS variables.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2824c7f7c27746823c6a9c084bf183afd34edeb1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 30 19:14:25 2009 +0200
Include "ppl_c_test.h" instead of "ppl_c.h".
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57e7cee40f6e2811b859ae196534879f31a78a6a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 30 19:13:50 2009 +0200
Include "ppl_c.h".
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b87c02d3875f58c799481cec96f0e943f16d7b4
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 30 19:13:12 2009 +0200
Avoid redefining NDEBUG.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9677eb06b871033c05f54a552fc6f583bda2fff5
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Mar 30 18:47:53 2009 +0200
Register PPL_timeout_exception in the OCaml interface.
Avoid flood of warnings by directly thowing CAML exceptions in CATCH_ALL.
Still debugging the handling of timeouts.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=675e168d438c37e1985638a95ee9ff1f6a8858b3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 30 15:18:23 2009 +0200
Removed the tag "(0.10.1)" from a FIXME unrelated to with PPL 0.10.1.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41f6b3361c374b2f565e86adfb60ed10a5f917a6
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 30 15:16:35 2009 +0200
Obsolete FIXME removed: methods Box::refine_* were fixed long ago.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=82eb7cc49693a4550aa044bb8218077470142cbf
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 30 15:14:28 2009 +0200
Decided that it is not worth renaming PPL_OUTPUT_TEMPLATE_DEFINITIONS.
Calling it PPL_OUTPUT_1_PARAM_TEMPLATE_DEFINITIONS would not buy us
anything: FIXMEs removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a4ca18a89472ed184229e24b82b29229d86163b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Mar 30 16:01:01 2009 +0200
Let OCaml tests also link with the pwl library, if configured.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f90f270562890d79c2da403a9531115252ed4014
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 30 14:51:32 2009 +0200
Warn about the GCC bug affecting exception handling on the Alpha.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6e2ef07827349faf64df156406ba94473a19bb10
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 30 14:25:36 2009 +0200
Consider switching to MLGMPIDL for the OCaml interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c73b9bb132e83740420c4e1b5f5556f3ecf20fdc
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 30 13:36:40 2009 +0200
Added wrap_string to java interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7bcea883ad54f3411ee17ec64783f7df90f26004
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 30 13:21:27 2009 +0200
Reverted bogus commits.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16ac5d178e70c96c151c4e5fe367c9ea5e333ddb
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 30 13:15:23 2009 +0200
Added file.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4fe353e3680d456ec6ab4d83a03b5eda1c35321
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 30 13:11:35 2009 +0200
Added file.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c437b89916221bb957014a7d2d55055a3d020a3
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 30 12:32:15 2009 +0200
Added test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3bdb6dc94f23b59c60d66653141a2824a2b1597
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 30 12:27:48 2009 +0200
Added java.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc52a4d4a0c7ee84a73a13bd93ab177416c2143c
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 30 12:15:51 2009 +0200
Fix2.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2535ee2f997ff4cfbc36906ac7f99691d85f5111
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 30 12:15:22 2009 +0200
Fix.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=295220a25d62f85a1c8fcd59e6de8c43100a2ffc
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 30 12:12:07 2009 +0200
Added wrap_string.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb9b33148f43dac15831470fd14f4941587f67d1
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Mar 30 13:05:32 2009 +0200
Helper OCaml interface function renamed for consistency.
value_to_unsigned_native --> value_to_unsigned
(to be consistent with similar functions in the Java and Prolog interfaces).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bf7b9a5ca28607ae5293fb3509aec4fef2d1e99
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Mar 30 12:26:28 2009 +0200
Moved TODO items to their place.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67042a165fa0d65c0d7460f62808f742407944da
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Mar 30 12:16:24 2009 +0200
Added timeout functions to the OCaml interface.
Also removed duplicate CATCH_ALL macro definitions in the Prolog and OCaml
interfaces.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35c225d666eba8a683faf08f6f840b65bc36802f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Mar 30 12:14:05 2009 +0200
Improvements to the OCaml and Prolog interface documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d2d08794ca7d154847d5b6d30de0e0cb242c97cc
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 30 10:52:47 2009 +0200
Fixed restore of parallelized tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2991d105382cbef859fbd9125fe1e786c552b40f
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 30 09:59:17 2009 +0200
Revert "Restore parallelized tests."
This reverts commit b163fee3b048fe3dd07be912850ec042f4d24b2d.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b163fee3b048fe3dd07be912850ec042f4d24b2d
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 30 09:41:10 2009 +0200
Restore parallelized tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=099390e253a3db11a375e0677531ec2ab7d45cc3
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Mar 30 09:22:58 2009 +0200
Minor improvement to documentation.
In the documentation block for \defgroup, do not use \brief if there does not
also exist a detailed documentation section (otherwise, doxygen will insert
a spurious "More..." link pointing to the same page).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b17d00bfc0b43f14e56eaa735f2f70495e1001c2
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Mar 30 09:16:28 2009 +0200
Avoid spurious vertical space in the documentation.
When adding a member group using doxygen commmand \name and the multiline
style special comments, also add a \brief command if there is no detailed
documentation for the group.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fee0c077d5a0fa9a329b46cf859b355d36d135a6
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sun Mar 29 22:46:25 2009 +0200
Added string wrapping helper function to OCaml interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbd1c20c619271a14ec0411b532f5a4e1246402b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 29 18:37:57 2009 +0200
Moved changelogs and PostScript and PDF versions of the GPL to the
`docs' subpackages. This saves considerable space on the live media.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ff53b9222267c5d545c44ae090c7c5aa2f15438
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 29 14:49:19 2009 +0200
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f90de71c3311b5ff8d69d535580227c00374f96
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 29 14:48:31 2009 +0200
Temporary workaround to force linking with C++.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9f5ad39c726c0cd68a395a5ca8a63371c516e71
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sun Mar 29 11:46:51 2009 +0200
Improved the OCaml interfacing of PPL dimensions and coefficients.
Added new helper functions:
- value_to_unsigned_native<U_Int>
- ppl_dimension_to_value
- value_to_ppl_dimension
- mpz_ptr_val and mpz_class_val
- build_ppl_Variable.
Prefer using Val_emptylist to Val_int(0).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc202a760bf05b37ccab6a20b443ca87831ad2d0
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 29 08:48:27 2009 +0000
Disable these tests on the Alpha.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0c346c0b189a249b42217d098260c67281659ae
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 29 10:16:38 2009 +0200
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4e36692e7cea11a2b59ae62e69de7d13f2a7799
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 29 09:29:37 2009 +0200
Try to accommodate more non-GNU implementations of `getopt()'.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87fec489bde309305fecfb7d8a75d111c488e948
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Sat Mar 28 17:22:28 2009 +0100
Remove unimplemented and unused functions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0183484758f6a6fca465ccdf4202a222117b5d7a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 28 20:33:52 2009 +0100
Try to accommodate non-GNU implementations of `getopt()'.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=766fb040b2dc574fa6b366c0374b50c6509924fe
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 28 19:06:01 2009 +0100
Some systems do not have <strings.h>.
On such systems ffs(3) may be defined in <string.h>.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3549a048f06620a50b0eabb8e432138996053396
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 28 17:41:03 2009 +0100
Done item removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d19855b90caa7e46ee2a4e145a8af057675cdfa
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 28 17:39:32 2009 +0100
Change logs updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d25a5069b82096789b174e4621cbb6758ef111b1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 28 16:55:39 2009 +0100
Improved the semantics of the --enable-watchdog configure option.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=949180cf4e6fe282ddd1a170cada9bf6b816b279
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Sat Mar 28 16:00:01 2009 +0100
Removed useless functions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69a3679c7b12cbf40da1d0d5980b1569a75f1cde
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 28 16:07:29 2009 +0100
Fixed and reactivated test05().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00bcfa7ddc99ee732d0e92d643e6afd1ecd169bc
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 28 15:50:52 2009 +0100
Parameterized test05().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cce78cf176b0db60b0fe416f86c1b1c636c62de
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 28 15:49:04 2009 +0100
Fixed indentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d9ca69f6866d37bae028ecf45421daa380446d1
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Sat Mar 28 15:41:29 2009 +0100
These efficiency related FIXME's are not scheduled for 0.10.1
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2630163750d742439996c9755a4c690bdea08421
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Sat Mar 28 15:37:39 2009 +0100
Documented ROUND_NOT_NEEDED FIXME.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b98bfa9b31c0861653c862e025372ccf5f44ae21
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Sat Mar 28 13:59:39 2009 +0100
Documented rational sqrt precision and implemented a more precise variant for numbers < 1.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f162e13b13fe2da4bea4070dd8d0415d66d5a5f6
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Sat Mar 28 14:51:46 2009 +0100
Avoid unrequested call to mpz_divisible_p.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3171fbf3b9f576139196223bb4f33ad4d367bdc2
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 28 14:26:13 2009 +0100
Uuse the PPL_CXX_*_BINARY_FORMAT macros.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c1d76485b200b482e9d0308acd74e99e866c9d85
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Sat Mar 28 12:03:26 2009 +0100
Disabled failing test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b00d3c837935e823ee255b89a3ea48f92d287f50
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Sat Mar 28 11:44:33 2009 +0100
Avoid abuse of mpz_divexact.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7378097108a1ff8b27bb218b365ea11ada8cafc
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 28 08:11:24 2009 +0100
Tweak for MinGW. Force the use of the C++ compiler for linking.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=19e1f7c6bb2eaf85677571d04e09ce1d1a8ea1f4
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 28 08:10:18 2009 +0100
Include <stdlib.h> instead of <malloc.h>.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab28235b89551c09ac97496a0c426994da74c379
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 28 07:46:21 2009 +0100
Allow testing under MinGW.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3bfcc98175af386aab02a57fb2f50bc69b020f3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 28 07:45:04 2009 +0100
Detect MinGW, defining the HOST_OS_MINGW Automake conditional.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af7c591b491f6497c4e92114564aae6a685da7cf
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 27 22:13:55 2009 +0100
The `ppl_lpsol' program can now be built and checked with cross-compilation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ddb928b1b124b465929fbbc31ec80b9f13252567
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 27 21:52:40 2009 +0100
Minor code readability improvements.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1335e6212c7fb666cacc103b15e4cf450fee7a1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 27 21:06:22 2009 +0100
Comments improved.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0316d45f420c4c2fa5e0720ffb5b6faa89f2437
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Mar 27 19:50:25 2009 +0100
A couple of minor corrections.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c54369ebf2a32b54f3fa1eb8d6d10520aa2ff7b
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Fri Mar 27 18:54:57 2009 +0100
Fixed parameter name.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=94987fdd7ee4fba86268b2b165b0196a6d01b8ce
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Fri Mar 27 18:51:30 2009 +0100
Moved ppl_io_wrap_string documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16d6cc4da3ab314764c14dcb245e9ac4e8fcc32d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 27 18:35:09 2009 +0100
Man pages updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6903cbf2427c64a4d7810286f901a363d3717cb2
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 27 18:34:15 2009 +0100
The `ppl_lcdd' program can now be built and checked with cross-compilation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bbd3ca34d382cab896a3ea43bd9fdb1d1df2df2
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Fri Mar 27 17:22:08 2009 +0100
Get rid of pretty_printing stuff. A string wrapping function is made
available.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa1972cb6abf92288996218ad38b483ad6d0bd7f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 27 11:28:07 2009 +0100
Change logs covering the changes made in the CVS repository in 2009.
They will be replaced by up-to-date change logs obtained from git.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=503eeb47923053ccc439fa09893ffc6e84f5002e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 27 11:24:48 2009 +0100
Renamed and frozen: the ChangeLog-2001-2008 should never be changed again.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=586008d48662fdd9105c4ea6609cb03fa1df700b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 27 11:12:06 2009 +0100
Updated to 2008-12-31.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3002c4b2dc9b212d19e84ce25bc0bb8a5f079f1
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Fri Mar 27 08:56:44 2009 +0100
Fixed make check.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9c0ee2e5e9dd08b8f7bc22a79f3ac3717ec14ea
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 27 09:25:46 2009 +0100
Missing else branch added.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=099b4c25383b66fd3958f0b74c85dbdbc1dfc01b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 27 08:41:52 2009 +0100
ascii_load() methods now perform more stringent checks on the input.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c010978f5fdf88d1655fc4ae03b3e114fb3ad8d5
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 27 08:40:58 2009 +0100
Spurious spaces removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e10cf3cc88c74112c60ddb424ef7b2316a04278
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 27 07:30:04 2009 +0100
Spurious spaces removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=484c87d20600c217f3bb2d8a909e926c3fc87a5a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 27 07:27:54 2009 +0100
Fixed the formatting of do-while loops.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4779b8e17b60bb20249f68e8f4a0099e31041f4
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Mar 26 17:53:33 2009 +0100
Added several missing functions to the OCaml interface.
Minor corrections to the documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=778dfb88238cb7f66cb638d9af2411cd88aa0038
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Mar 26 14:08:01 2009 +0100
Fixed several garbage collecting issues in the OCaml interface.
- Helper functions returning OCaml value types that have not been registered
yet with the garbage collector are now named unregistered_value_p_*;
- Added appropriate calls to CAMLlocal* macros where appropriate;
- Use the safe Store_field(a, b, c) instead of the unsafe Field(a, b) = c.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30b4d085cb4446918f5984216d4c74ad59d55b33
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Thu Mar 26 12:37:31 2009 +0100
Tests have to be done unconditionally.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10dc3fd3600d9f6f978dde677c8a3da31a7decbf
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Thu Mar 26 12:31:24 2009 +0000
Report on two bugs fixed in the OCaml interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aadc083b812f6bc477ad2c4bd08155f04992d310
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Thu Mar 26 10:44:57 2009 +0000
Fixed a bug where the tokens for widening were not being updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c7a1579dbd0b75a30e5610f97811dcf9a5b60f9
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Mar 26 08:25:02 2009 +0100
Support systems that do not define `siginfo_t'.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7252a07fd2e3368fee8e798b03671377f23cad2b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Mar 26 08:15:46 2009 +0100
Added checks for the availability of `siginfo_t'.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=639591e6c8d1e4c065901c6e787c1da8580eb158
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Mar 26 07:33:27 2009 +0100
We can infer the possibility to control the CPU even when cross-compiling.
This happens (at least) on i386 and sparc (provided we have <ieeefp.h>).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66947e998961eb42bd640c762596ca9139f1037c
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Wed Mar 25 22:51:48 2009 +0100
Better parameters for formatted output.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c4848cee2d85faa6e24745f2822a924c58b244b3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 25 22:02:21 2009 +0100
Properly use PPL_FPMATH_MAY_USE_387 and PPL_FPMATH_MAY_USE_SSE.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8777ff8bbf8a7dc54cfe1331f5c78eea06c4c56
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 25 22:01:12 2009 +0100
Depend on PPL_CAN_CONTROL_FPU.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=927cd666b49dd94a46130ec2aec39bef12eaddd9
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 25 21:17:32 2009 +0100
Typo fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3ec0c11d9d45b23d1b76ecb4dc759da00cbd8fb
Merge: b5d7b09c10aea7c95b9d2693986e2e4e549d3a12 9b4763ae59534ca77dcc7ff1067f9f78c9a20c5a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 25 21:06:14 2009 +0100
Merge branch 'master' of ssh://bagnara@git.cs.unipr.it/git/ppl/ppl
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5d7b09c10aea7c95b9d2693986e2e4e549d3a12
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 25 21:06:01 2009 +0100
Do not enable the Prolog interfaces by default in the release tarballs.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b4763ae59534ca77dcc7ff1067f9f78c9a20c5a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 25 16:49:03 2009 +0000
Disable more tests that fail on the Alpha due to a GCC bug.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a1cc339eb310c007c95c8bbcee49a0d5f485cc4
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Mar 25 16:52:54 2009 +0100
Implemented Octagonal_Shape::simplify_using_context_assign().
The efficiency of the method needs improving. Added a few tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a73972ad2e6a50c0a305869b16521c5335cd94c
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Wed Mar 25 14:09:14 2009 +0000
TODO item
- Check the configuration dependent documentation for Prolog,
done and removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bd3d1d46d8b44f57d29b39912c3802968856596
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Wed Mar 25 12:43:32 2009 +0000
Where the result type is unit, the type returned by C++ must
be a CAMLprim value type and not a void.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f1769386d0c8fb90ebabd96392b08aad40cc142d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 24 21:56:05 2009 +0000
Exception handling is broken in GCC on the Alpha: commented out some tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=afbc4e301440f3925d22aaf49bf12313c3d24605
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 24 20:39:18 2009 +0100
Reduced DIMENSION to 100.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17dae899576e6314c6ee76ea6b631e886554b1b2
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 24 19:19:34 2009 +0100
Improved the actions of AC_RUN_IFELSE when cross-compiling.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b11a1675a7e171bc692e9820f20a00304f66846
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Tue Mar 24 19:13:41 2009 +0100
Fixed file names.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7edf860af05622da5fd35e270fb9590b8b706f2
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Mar 24 16:42:03 2009 +0100
Mention the bug corrected for method Octagonal_Shape<T>::affine_image().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d073548700ce6e34904d2cbb360e8c691e7be424
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Tue Mar 24 12:07:23 2009 +0100
Fixed comment.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be1e8179983eb8a99bba2014c1275183ad10a4ac
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Tue Mar 24 12:00:37 2009 +0100
Fixed indentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d81e9642493f53fa6456d19e4ba3107bcfdf42a8
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Mar 24 11:10:57 2009 +0100
Corrected bug affecting method Octagonal_Shape::affine_image().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52d75eceb14d7271a171ca824a22a8fae1dcdd24
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Tue Mar 24 11:09:17 2009 +0100
Cleaned C streams implementation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d1163ad3ea3657d527ee26017c41a504f677f94
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Mar 24 11:01:04 2009 +0100
Test test17() shows a bug in method Octagonal_Shape::affine_image().
The bug is triggered when the affine image is of the form
var -> var + n
and the octagonal shape has constraints relating var with another
space dimension having index smaller than var.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61f6bc80eab3dee36ac2fd15e907a86d3633b0bf
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 24 10:10:06 2009 +0100
Explained the `--disable-ppl_lcdd' and `--disable-ppl_lcdd' configure
options.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=39fd46630c127615b91df53be047484ac4709696
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 24 09:28:03 2009 +0100
There are no GNU Prolog packages available on ia64: disable the GNU Prolog
interface also on those platforms (besides ppc64, s390 and s390x).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0af6517d2c2660682608bfbb6f5bc409adeb39c5
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 24 09:20:38 2009 +0100
Synchronized with the Fedora repository.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62138fd38306b0a68475b4a440bafaf41d5df525
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 24 07:19:25 2009 +0100
Added some more infrastructure. Variables renamed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09c6fe37dac83e5128da517351beb91ef69da1c3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 23 22:29:56 2009 +0100
Build restored.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bace9caed4ba2aba49450798390a526501db70bd
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 23 22:16:56 2009 +0100
Added repeated char for left and right margin.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d810281e8e849525c7e651152bedc21efe4b9a9b
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 23 21:23:30 2009 +0100
Some fixes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b0fdf18dcd89a8e4a3bfadd2ab9dd8388ee8578
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 23 21:09:10 2009 +0100
Done some cleaning.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52f81f97569aa58d4aa87af0a042d9741c5c515d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 23 20:54:14 2009 +0100
Started the installation of the new formatted output machinery.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9f3b884103435828dcb0f95265b394cedf735d2
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 23 19:52:37 2009 +0100
Better name.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b1464817aa9d7c28687d32705cb4fb157b06efe
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 23 19:42:46 2009 +0100
Bug fix: ostringstream.str() returns a temporary.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a0fee1d5a9a032b67d48392daf597d014827791
Author: Enea Zaffanella <zaffanella at spartacus.cs.unipr.it>
Date: Mon Mar 23 19:34:06 2009 +0100
Added a test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ec4555a8ed04f3fb12a51f315212ffdc579c734
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 23 18:47:11 2009 +0100
Separated wrap before from wrap after. Bug fixes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53abf6dadb12d91bbc03c79e52ee1cad0fdd2f3d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 23 18:39:21 2009 +0100
Readability improvements.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a076d885da533a2211f32b80b45d932c7412cd5
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 23 18:30:42 2009 +0100
Fixed a bug (that is inconsequential for the current code base).
We were using `m % 2 == 1' instead of `m % 2 != 0', with `m' a
signed number that could be negative.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2930f4ba276a0cd8eb6fd8e4097bd1c345e1b821
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 23 15:34:44 2009 +0100
Added ppl_io_ostream_buffer_clear function.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dfdb1368ab60442e050667a72cfb1a21e6565a0c
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 23 15:30:14 2009 +0100
Added write functions for native types.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2689413bfc1a0d13130194b444834a4cd98d0f2e
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 23 15:07:06 2009 +0100
Added filtered streams. Implemented format filter.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c0630b87d1f35a79db1bf91bc032a4a25ec5f949
Author: Enea Zaffanella <zaffanella at spartacus.cs.unipr.it>
Date: Mon Mar 23 14:42:19 2009 +0100
Add dependencies between HTML manuals for parallel builds.
The distributed built HTML manuals logically depend on the built tag file,
which is not distributed; hence a direct dependency cannot be added (it
would break a `make distcheck' check). As a workaround, they now depend
on the core HTML manual, which is built _and_ distributed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0236c7c508e749e534804fffb5652b8a26da18ba
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 23 14:20:57 2009 +0100
Obsolete FIXME removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca5e2908ccb9c179cb646e56199f06961fa7d366
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 23 14:19:49 2009 +0100
Little formatting improvement.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f2b5e3f20ae7b7912d824a06585407d011aa8137
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Mar 23 08:21:36 2009 +0100
Use consistent parameter names in helper function wrap.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f006fdff891abb7574bd4ac58b514af403c1f33
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 22 22:35:35 2009 +0100
Updated to reflect the new way `ppl_lpsol' is invoked.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d567481d9369ef8f9f02dd88055a3b16457b4eaa
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 22 22:01:47 2009 +0100
Tightened the machinery used to generate the configuration headers.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=19f0a1a2a915daddcbbcfea41844d51049eed5ae
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sun Mar 22 19:05:01 2009 +0100
Added a test for operator-(var, expr) and operator-(expr, var).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27265c8661e2ae0daef395d8ae9fffc63102d11c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 22 19:38:01 2009 +0100
Improved functions and methods to build linear expressions.
Avoid complex inline functions and methods.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1491112a597743c630269e2c67f84eafc6b31928
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sun Mar 22 17:47:33 2009 +0100
Three FIXMEs related to Linear_Expression resolved.
The three operators are now friend of Linear_Expression: hence they can use
the sizing constructors and limit the use of short-lived temporaries.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=019b1eb83a88653d3293d596e3d0f2eabf4a8d1f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sun Mar 22 13:54:28 2009 +0100
Dealt with a FIXME related to variable names.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb448212741bfb74cf3538cef7ffc32ff184cf34
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 22 12:21:32 2009 +0100
FIXME resolved. Fixed a bug in Linear_Expression(Variable v, Variable w).
The bug would cause a wrong result to be computed when v == w.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6e39bd54c854f964e6f0369e239daf62a2114f6
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sun Mar 22 11:27:36 2009 +0100
Mention the bug fixed with Commit: 6a6734db48e2ca605dfc27ce5f1a923eb867ed25
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a6734db48e2ca605dfc27ce5f1a923eb867ed25
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sun Mar 22 11:08:55 2009 +0100
Corrected a bug in the interfacing of drop_disjunct for Java, Ocaml and Prolog.
Also corrected a wrong test in the automatically generated test suite for
the OCaml interface: we were trying to decrement an iterator pointing to
the start of the sequence of disjuncts.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=364ccfa621c70caefb8b9cbcec2d90c1ad7307d2
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Mar 21 12:21:34 2009 +0100
Reworded misleading comment.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db916e5a564125db4e9a9dcdc16b624b9e9a462f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 22 10:33:41 2009 +0100
Test program renamed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d2ff0ac213711cc1b35ff737f2146a6f0701ac0c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 22 10:14:27 2009 +0100
Rewritted test01(). Added test02().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e49e1cd77e7058714c710ec587e0ec969a025381
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 22 09:28:36 2009 +0100
New machinery to create ppl-config.h and pwl-config.h.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=471e611fbf18c702d9a26872bc7310e04a4d0f09
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Mar 21 21:55:46 2009 +0100
Destructor of abstract class Write_Function has to be virtual.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9d0b1a6a92407a3a05e16e5216ce4835edbc364
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Mar 21 21:35:36 2009 +0100
Added the new pretty print functionality to Java, OCaml and Prolog interfaces.
The predicate takes 3 arguments for specifying preferred wrapping behavior.
For Prolog, new predicate is called ppl_CLASS_pretty_print_to_atom/5
and put the result in the last argument as an atom.
For Java, method takes a Writer as the first argument.
For Caml, function ppl_CLASS_pretty_print returns a caml string.
While at it, also added missing ascii_dump method to Caml and Java
interfaces, as well as for the MIP_Problem Prolog interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aca3e12a7959550abe459bafdffc0dab09fa65f2
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 21 21:36:38 2009 +0100
Added a new helper function for the wrapping of lines.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=34bdedf290277a3612632c8af7d83a42566c3c2f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 21 19:58:52 2009 +0100
Typo fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a4e6716e62223f5854fe5bb54306063c591a9fb
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 21 19:58:13 2009 +0100
The C interface now provides functions of the form
int ppl_io_asprint_Polyhedron(char** strp, P x)
where `P' is any opaque pointer to a const PPL object. These functions
print `x' to a malloc-allocated string, a pointer to which is returned
via `strp'.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f62fe5b7218528e8ff53dd41d7894d3b5dd1b1c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 21 15:28:10 2009 +0100
Selected the items that should be done for 0.10.1: postponed the others.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4280bc6f3e284b36f7cef0412733a44c28b08cd2
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 21 15:26:09 2009 +0100
Two non-urgent FIXMEs better documented.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8764c47130fdceb681e539b9aa58b0767cb38bd3
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Sat Mar 21 12:17:48 2009 +0100
Added callback based streambufs.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23ddce2126147ad3869c6873685f7c2b3ed249fa
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Sat Mar 21 12:07:27 2009 +0100
Fixed typo.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f1a2c86b6d056cccf64e3a77659388fbe1ba878
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 21 11:39:25 2009 +0100
Minimum Autoconf version brought back to 2.61.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea6344b733e9bbe0d30b40c5ebaba44a6c575de8
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Mar 21 10:05:00 2009 +0100
Added files pretty_print.*.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97b46d107afc2ea30c14367ee8d160295a8736be
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Mar 21 09:56:18 2009 +0100
pretty_print.* contain helper datatypes and functions for pretty printing.
Template functions pretty_print and c_pretty_print provide wrapped output
using a Write_Function object to write to destination.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b8cc466f361b4314848ba1ef8f8479249d53c01
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 21 10:26:08 2009 +0100
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7fb1df3a61d57229addda23e0ebfb79074393c5b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 21 09:00:57 2009 +0100
Got rid of AX_PREFIX_CONFIG_H.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4052950058d0a9009b14ef194e37138eecfa1ad
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 20 16:14:01 2009 +0100
Pattern `*~' added. Patterns sorted.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbad48d8d99792e1951c95f4218cb1a96b92c291
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 20 16:11:18 2009 +0100
Avoid using obsolete Autoconf macros.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b1eb0199360341a2a250a5843b2406c87514728
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 20 15:32:51 2009 +0100
AC_RUN_IFELSE invocations now have a safe action for cross-compiling.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6dd8e30b3647edb06a8145feb1b59194f35fd68a
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Sun Feb 22 15:37:50 2009 +0100
Replaced .cvsignore with .gitignore.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5d5b381ec4eb448002939336d3e74fe173dbe28
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Sat Feb 21 13:58:22 2009 +0000
Added missing files.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b77133c28702d61a5e5688e43ad24a63a26d3c06
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Sat Feb 21 13:54:36 2009 +0000
Added other patterns.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=949294d552a5e1afdf153fdf41fa1bb4098bf655
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Sat Feb 21 10:47:15 2009 +0000
Added common ignored patterns.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f830bec2d5053c5afd28d08c705f3751c58ea773
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Sat Feb 21 10:30:17 2009 +0000
Commented out dangerous entries.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e439fffcec2c6632716b00b771cc47c5ed7c158
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 18 22:30:26 2009 +0000
Install the documentation according to the Fedora packaging conventions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e5a55a3340b823baf5aa1be63f9db4feb60f28f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 18 22:28:59 2009 +0000
Put under CVS control.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=706f7f1cef459c869885b53747ceaa5775ae825e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 18 19:42:34 2009 +0000
Implemented a better workaround for the bug affecting PPL 0.10 on
big-endian architectures.
There are no GNU Prolog packages available on s390 and s390: disable
the GNU Prolog interface also on those platforms (besides ppc64).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=641441b7688737d2e4f4f50cb1c435918cf391f5
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 17 06:19:31 2009 +0000
Avoid using GNU Make extensions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8fed9132c7d94122543fc060060cacf0abb0c28a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 17 06:19:13 2009 +0000
Two FIXMEs resolved.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c43db798115a361cc70716beb4a89e0d79aa81a6
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 16 21:57:54 2009 +0000
Include "ppl_header.hh" instead of "ppl.hh": this greatly facilitates
debugging of test programs.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f061cbab4d242704623ef4ea4cc70721eb240a0
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Feb 15 14:52:22 2009 +0000
In ppl_include_files.hh only list the include files that are not included
by any other include file.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=882375404c40f4c9cdddc3ae8c892de4484e646c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Feb 15 14:14:06 2009 +0000
Added missing inclusions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b87265aa362829563919d1a367ffca7af2b4b60
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Feb 15 13:32:28 2009 +0000
Include "compiler.hh" in fpu.defs.hh, not in fpu-ia32.inlines.hh.
As a general rule, do not include general-purpose include files
in files that are only conditionally included.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aab8b052bb2164614a5fce12698eb9d9481fa5a5
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Feb 15 13:28:22 2009 +0000
Added missing control operator.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=783b14fc7223809aba2f3584c7505ee3370a0d36
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Feb 15 13:13:12 2009 +0000
Indentation fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=159d03ea1bdb9a8d3d7d95540f47c5b8f0395604
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Feb 15 13:11:58 2009 +0000
Include "Partially_Reduced_Product.templates.hh".
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7b824633d270d136f07774efb6a34d151b62caf8
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Feb 15 10:40:16 2009 +0000
Check for the availability of `fgrep' or its Posix replacement `grep -F'.
Always use $(FGREP) or $(EGREP) in makefiles.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ae9df8ed4e53332160b906a8d2b560a34a0c110
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Feb 15 07:54:15 2009 +0000
Added guards against multiple inclusion.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae2a9df47342a150a1274eafb0e7797b2262661a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 4 07:47:59 2009 +0000
Work around the bug affecting the library on big-endian architectures.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5bfa601ac003b9d8d9baedb9fbb533f773753e2e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 3 19:34:04 2009 +0000
Work around the bug affecting PPL 0.10 on big-endian architectures.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8328febe7a98ef66cbccc811ce21faf69cb66266
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Mon Feb 2 08:28:25 2009 +0000
Improved the code for handling 0-dim empty polyhedra for
Grid::simplify_using_context_assign().
Added a further test for the 0-dim polyhedra.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3669508cfb4190fa08cbd41724652c33dc4a594b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Feb 2 08:27:54 2009 +0000
Corrected a bug in methods add(_recycled)_generator(s) and
simplify_using_context_assign whereby an assertion could have failed
under very specific conditions (zero-dim empty polyhedron with a computed
inconsistent constraint system becoming a zero-dim universe polyhedron).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4ac1b669def3713742d16935d9a06b0567ccd0b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Feb 2 08:24:18 2009 +0000
New tests show an assertion failure when adding the vector space origin
to an empty zero-dim space polyhedron, thereby turning it into a zero-dim
universe polyhedron. The assertion only fails if the inconsistent constraint
system of the empty polyhedron was previously generated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f93c9139b52f2218c7449719e651a3380a9b8a37
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Mon Feb 2 08:01:02 2009 +0000
Added three further tests to cover all 0-dim cases.
Reordered tests so that all the 0-dim tests are consecutive (11-15).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c3efdf6ebfe729c22e034cad0c1ca8510c51e83
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Mon Feb 2 07:39:07 2009 +0000
Added test that has an assertion failure for 0-dim empty
polyhedra.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aee22f375657c780f7c72ed23cd50aa63983851b
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Sun Feb 1 21:14:09 2009 +0000
Tests for simplify_using_context_assign() for Grids.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb110a1a68b0c3633a8fe72733114b216c21a54b
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Sun Feb 1 21:09:39 2009 +0000
Added code for simplify_using_context_assign() for Grids.
Some other bugs in the comments fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=956f46586d28d29ff5a925d2bd9088d6cc9b8feb
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Jan 30 11:24:28 2009 +0000
The parallel build problem should now be solved.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d329e7a8cc01dbbafe5517816b33b1793cec8ef
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Jan 28 13:00:25 2009 +0000
Added test file for method Box::simplify_using_cntext_assign().
Tests test01() and test02() marked as failing, since they depend on method
Interval::empty_intersection_assign(), currently provided with a dummy
implementation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d030f674726af080d24e9de12a081808c8989805
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Jan 28 12:56:51 2009 +0000
Drafted an implementation for Box::simplify_using_context_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f353ebfefb783c4edb849289fef50e4d1759408
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Jan 28 12:56:09 2009 +0000
Added dummy implementation for method empty_intersection_assign();
corrected partial implementation of method simplify_using_context_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c09c0551c01937d56c29b7aca552bfbfc87a897d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Jan 28 09:11:38 2009 +0000
Added specification for new Interval method
template <typename From>
typename Enable_If<Is_Interval<From>::value, void>::type
empty_intersection_assign(const From& y);
to be used in the implementation of Box::simplify_using_context_assign.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8745ccc5672b8bbe60e6a848e5795292935c1398
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Jan 27 20:25:27 2009 +0000
Partially work around a bug of AX_PREFIX_CONFIG_H whereby WORDS_BIGENDIAN
is not prefixed. Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fb4e80b6ed08530ac3036b399ac435f6d91b17d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Jan 27 13:54:31 2009 +0000
Drafted a partial implementation for simplify_using_context_assign();
it assumes that the interval is toplogically closed and with no restrictions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2af70878b42645188a52d6096cec1f4e8769c96e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Jan 27 11:46:22 2009 +0000
Added one urgent item.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbd07c9594c1ffc9ee7b5db7b7a7555b0f17478f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Jan 26 15:12:06 2009 +0000
Test 01 overflows when using 8bit coefficients and assertions are turned on.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97b5b3a040c881a039fcdd40e3cfe64a6888962a
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Jan 26 11:26:15 2009 +0000
Switch to new implementation of poly_hull_assign_if_exact(), based on the
results stated in BagnaraHZ09.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a91464e27d539da8bef1425d373590c01d6c1a88
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Jan 26 10:56:21 2009 +0000
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c285d01a7c0159bd295e5fc8cb603d4b5b8753e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Jan 26 10:55:55 2009 +0000
Support more versions of GLPK.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23daa5e63ae6b2601eb45060532af9abb6a7db0b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Jan 26 10:25:04 2009 +0000
Fixed copy-and-paste mistake.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=368f5e5a779c50ad090dc0d9099e24a8c1bb0b14
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Jan 26 09:42:52 2009 +0000
Added tests corresponding to examples in BHZ09.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41e4380ed5d9db8766be3c7a9fd2a343de6a4f90
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Jan 26 09:42:12 2009 +0000
Added a new test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23c4d6c2ef92aca2a37f168553b90880f1d05ec4
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Jan 26 09:39:41 2009 +0000
Added implementation of the BHZ09 exact upper bound test for NNC polyhedra;
Factored out those parts that are common to the C polyhedron case.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a34b20c8f191de0d381ac3d5388df57b4eace0ec
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Jan 26 09:36:59 2009 +0000
Added declarations for two non-public methods (one for the C and another
for the NNC case) implementing exact upper bound tests using BHZ09.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9452111b9ab9329bd52dfbf4d08bbd61eab10777
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Jan 24 16:22:16 2009 +0000
Wording improved.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=453bbf4481459343350372add5746bf948e21623
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Jan 24 14:09:38 2009 +0000
The configuration script now explicitly checks that a recent enough
version of GNU M4 is available if at least one non-C++ interface is
enabled (in previous versions this check was not performed and
building the library could fail in a mysterious way).
That version is then used in all makefiles.
(Thanks to Tobias Grosser.)
Improved configure.ac in various places.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e948648ff85b09bfdadbe358a7e6803c748b883
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Jan 23 21:13:13 2009 +0000
New configuration option `--with-mlgmp=DIR' allows to specify the
installation directory of the ML GMP package.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92391be07dce16ddb1328e176c6e148e4e389704
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Jan 23 12:30:54 2009 +0000
Added missing const qualifier.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f3a2ba15b37f39c18368f0dfa051776e2733cc4
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Jan 21 08:36:24 2009 +0000
Corrected so as to behave correctly when using parallel builds:
the build of <file>.cmx also generates <file>.o, which is a dependency
for the generation of *.a.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a8de4425a1c53396cbffd7d266d53c776bafd25
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Jan 20 17:56:57 2009 +0000
Fixed glpk_message_interceptor() (thanks to Kenneth MacKenzie).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b902dcf40be98075c64dfc0bb2c587c1c9f5e2b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Jan 20 17:27:04 2009 +0000
Added test on (higher dimensional) hypercubes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90bdc1b020edc2d428746f99d76f04be077fde89
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Jan 20 17:21:54 2009 +0000
The code fo rthe detection of non-redundant octagonal constraints factored
out of the strong reduction assign method into the new private method
non_redundant_matrix_entries(),
so that it can be reused in other contexts. In particular, now we also
use it in the implementation of upper_bound_assign_if_exact().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3012c5edf500bca442f7574ff83f117168ece2bb
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Jan 20 17:14:20 2009 +0000
Declared a new (private) method that is meant to identify the non-redundant
octagonal constraints without actually computing a strongly reduced matrix.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=018e1ebb3a93ce22eb755ce9a44df208965f3b84
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Jan 20 09:00:37 2009 +0000
Added a test on hypercubes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=684d5503b9161d65b4c76babb75d6986ae33c450
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Jan 20 08:59:23 2009 +0000
Method BHZ09_upper_bound_assign_if_exact() improved by exploiting shortest
path reduction so as to avoid checks on redundant constraints.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=293651a6e9a3088a6e937b4c3dd25247b1096ef1
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Jan 19 13:40:05 2009 +0000
Added another test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27903c16385724e86407eb9f8c364c5add496bfb
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Jan 18 13:18:59 2009 +0000
Added one important item for next release.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4b293a80d63894be3920f4428827ce2ba4b2a6b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sun Jan 18 11:55:29 2009 +0000
Tests 1, 3, 4, 9 and 10 now succeeds.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9fe1178beab940b6f8fa205ce5cf7f620313094
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sun Jan 18 11:54:08 2009 +0000
Drafted an implementation of Octagonal_Shape::upper_bound_assign_if_exact()
based on the corresponding theorem in BagnaraHZ09.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=55ab00a9233d8c5f622c150a4ab7b18767a2ec7b
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Fri Jan 16 11:04:05 2009 +0000
test10() revised.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cc7e7301c5da51058d8273c9d61b1e93ba7697c
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Fri Jan 16 10:42:30 2009 +0000
Added a test file for the upper_bound_if_exact() method
- copied (with obvious edits) from the BD_Shape test directory.
As the current implementation just returns false,
tests that would be expected to succeed have the "_F" tag.
An additional test10 is an example showing that more conditions
are needed for octagonal shapes compared to the bd shapes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e2f392805503b6712974f56c70c1498776bdee9
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Jan 13 08:52:01 2009 +0000
Test test09 no longer fails.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02827b581804fb244aefaed63f24da4d6f4fb673
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Jan 13 08:49:01 2009 +0000
Corrected implementation of BHZ09_upper_bound_assign_if_exact().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9315eeb744a2e99e02ab4977f47ae4ac970c2387
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Mon Jan 12 08:50:12 2009 +0000
Added a test showing a bug in the new algorithm.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff468cf155a332edfef007f46ee4ca83408bc45a
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Jan 8 14:47:33 2009 +0000
Drafted an implementation for BHZ09_upper_bound_assign_if_exact();
the public method upper_bound_assign_if_exact() is now based on this
new (private) method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=882cab5d7059e0daa209dd0e638963915b81c0be
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Dec 31 22:35:09 2008 +0000
Copyright years extended.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b15d3791b1b8f26908baa5aa24d1182312e67762
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Dec 29 13:36:40 2008 +0000
New test added.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=804bb845cbcaa071cf67ad597f0602f2d751f0f2
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Tue Dec 23 18:30:32 2008 +0000
Fixed typo.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=28a729865709f5534287631ac0e65f7e6e812a06
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Tue Dec 23 11:22:32 2008 +0000
Fixed typo.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72f7ce8f8ca493abd0c4a5e46a984e68bc88474d
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Tue Dec 23 10:41:49 2008 +0000
Added missing const_cast.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7eaa505adee139f17efc463eb67c1284d60ae806
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Dec 22 11:14:57 2008 +0000
Added declarations for methods lower_approximation_difference_assign()
and simplify_using_context_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=303bc83da918454faf48abdd40b8900f71b57daa
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Dec 22 09:55:15 2008 +0000
Simplified (and hopefully fixed) can_be_exactly_joined logics.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=880f96e5c4bbc5673fa0713c852033847aa15f55
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Dec 22 09:36:59 2008 +0000
Method upper_bound_assign_if_exact() corrected and its efficiency improved.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd3dc869c021aada7d4b724a0065496b0b044d9d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Dec 22 09:31:30 2008 +0000
Adapted to test the method on the Box domain.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=026a0d1500a18a7ffe70c49f7eadaa2897c53283
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Dec 21 15:04:14 2008 +0000
New implementation of method Box::upper_bound_assign_if_exact(const Box&).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b44244a649de859754c33ec073d8dbb14a9cb49
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Dec 18 10:39:05 2008 +0000
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15cac1db9665479617705faae2ee1007d09851a2
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Dec 18 08:55:59 2008 +0000
Added several missing try { ... } CATCH_ALL blocks. Now all interfaced
functions should be able to translate any C++ exception into a Java exception.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6293d32d8f151a3844aa57629503e5368877684a
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Dec 18 08:53:57 2008 +0000
The CATCH_ALL macro should not end with a semicolon.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3de56c1ce356820eb05952f81306aca6838f1ad0
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Dec 18 08:52:05 2008 +0000
Added a newline for readability.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0032423eb64c4fc548558a0ad46a4c55ba580baf
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Dec 17 17:10:56 2008 +0000
Corrected a typo in the naming of a parameter.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1afb630744c1289dd12f89169ec37a89dde7c64f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Dec 17 16:21:13 2008 +0000
Added test for method BD_Shape<T>::simplify_using_context_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=590756fe3a5994c3838db5762cbe9f201b07dfb4
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Dec 17 16:20:16 2008 +0000
Drafted an implementation for simplify_using_context_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b81d68c1a25a587155f6eddbb2ddae20572a58d6
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Dec 17 12:01:36 2008 +0000
Method BFT00_poly_hull_assign_if_exact() is only correct for closed polyhedra:
added an assertion and adapted comments.
Added draft implementation for new method BHZ09_poly_hull_assign_if_exact().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd3612d6b35205d8f19943eff0bb6213f832c72c
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Dec 17 11:54:20 2008 +0000
Indentation fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9afcd1ae6acc510716ef3a5f3da2b366bca1beed
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Dec 17 11:53:46 2008 +0000
Corrected the specification of method BFT00__poly_hull_assign_if_exact:
the method is only correct for closed polyhedra.
Added declaration for another (protected) method that will be based on
an alternative algorithm (named BHZ09_poly_hull_assign_if_exact).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f8dff6ceac562801f87a5da60df4a6fcc3314d98
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Dec 17 11:49:44 2008 +0000
Added a naive, inefficient implementation for method set_until.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a99071b3d238884e1120d34c994684671a6221f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Nov 4 09:35:14 2008 +0000
Update version.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3df008290d14cf5a66ba2603a4fdf0700b9c397
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Nov 4 09:34:23 2008 +0000
Mark ChangeLog.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3349ad56bccefa589c9a858bd76836b09757aca
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Nov 4 09:27:25 2008 +0000
Use ASCII only.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8475cfb5ba2e1fdba36e452a68cad2502a8bf4a1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Nov 4 08:30:58 2008 +0000
This commit was generated by cvs to git conversion to create branch
'ppl-0_10-branch'.
More information about the PPL-devel
mailing list