[PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): New commits
git at cs.unipr.it
git at cs.unipr.it
Mon Apr 6 22:03:08 CEST 2009
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=3386f8fdcd59f32b12246446bdc445a49204bbdd
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Dec 13 10:28:10 2008 +0000
Added missing inclusions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8f76c33f8a1c42a40c86d70ca9450fa0ba12438
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Dec 5 06:52:13 2008 +0000
Added `%dir %{_datadir}/doc/pwl' to the `%files' section
of the `ppl-pwl' package.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60f4d18188b113bdfd4b39e1726c934cdf88bdba
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Dec 1 17:06:45 2008 +0000
Dealt with several false-alarm warnings about possibly uninitialized
variables.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce05280661d15809e4e1e3717e0f907b942cca9e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Dec 1 16:29:39 2008 +0000
Fixed the definition of BUILD_OCAML_INTERFACE.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23b3db01f9f7335c4e23695e4f433c4a6f043468
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Dec 1 10:25:06 2008 +0000
Restored old implementation of method poly_hull_assign_if_exact(), as
the algorithm in BFT00TR does not generalizes as is to the NNC case.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed3bda256ce0c14f02795b7437aa849445ba95a8
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Dec 1 10:02:32 2008 +0000
Added another test, showing that the algorithm in BFT00 can not be extented
as is to NNC polyhedra.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d87ccf0b547a7b7752ce9b615376d9eabde6bb1c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Nov 30 20:13:26 2008 +0000
Postpone the AC_LIB_RPATH test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8151b6f7b651d14efd146940fbf8b0af8d310a74
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Nov 30 07:48:38 2008 +0000
Removed "AC_SUBST([docdir], ['${datadir}/doc/ppl'])": given that we
require Autoconf 2.60 or later version, this was redundant. Moreover, it
did not allow to use the `--docdir' configure option.
(Thanks to Mike Frysinger.)
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21f1f6fa0965aeb6d9a6f2509e9d5d23c1ac4844
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Nov 27 17:02:17 2008 +0000
Indentation fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84e363c190b2bee3e739bd6e82e72fa5710c6946
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Nov 26 17:19:12 2008 +0000
Wrong comment deleted.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2de90ed05d884fa01a84721c4d91eb555cf2dd8f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Nov 26 17:12:01 2008 +0000
Indentation fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2980014ffee39939c1dd3562ef8766ece6e29c9f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Nov 25 19:57:03 2008 +0000
Test file bgp99extrapolation1.cc splitted in two: old test02 goes in file
bgp99extrapoaltion2.cc and is now specialized to C and NNC cases, so as
to allow a finer control of the expected overflows.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84fa17e865598a7c08cb38f1b8748b3fa82b3ab5
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Nov 25 19:36:19 2008 +0000
test09() triggers an overflow when using on 8-bit checked integers.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59d369faea39b3424dab46d5ce5314551d0945ce
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Nov 25 14:38:47 2008 +0000
Drafted an implementation of method BD_Shape::upper_bound_assign_if_exact(),
based on Algorithm 4.1 in BemporadFT00TR (tailored to BD shapes).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8be877ec212476b84ad74b2e27cbaaa264d23353
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Nov 25 14:36:27 2008 +0000
Added a few tests for BD_Shape::upper_bound_assign_if_exact().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7dd8b52ca253122458ab621ced35d77c53803601
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Nov 25 08:17:23 2008 +0000
Prefer Bit_Row::empty() to Bit_Row::count_ones() when testing for emptiness.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d739ceb0e3533de43f2151b9c070bdc2196feb4
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Nov 25 08:15:31 2008 +0000
Fixed comment for Box::simplify_using_context_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=194cc738d52a4143638ff8268cac29a6921385e4
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Nov 25 08:14:32 2008 +0000
Indentation fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef1ec990956479d17a12caf7b47c4af9ff750575
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Nov 25 08:13:13 2008 +0000
Drafted implementation for incremental_shortest_path_closure_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5593c780b5217ee3c49390cdd0a5b35ed31741b1
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Nov 25 08:12:20 2008 +0000
Useless test for zero-dim removed from incremental_strong_closure_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=386116c984ef1a3b73e578e3c42c6c2eb49bd4bb
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Nov 25 08:08:56 2008 +0000
Improved the documentation of the incremental strong closure private method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=042c23f5da0d01d43d7470aa319c61f5e4785e62
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Nov 25 08:06:00 2008 +0000
Declared a private method for incremental shortest-path closure.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba169fe0487676fbbf6ad1deaa0049820f7697d5
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Nov 25 07:30:24 2008 +0000
test03() no longer overflows on 8-bit checked integer coefficients.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0c923989ed193ba2d42923014573ee71c43e2bdc
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Nov 24 20:27:48 2008 +0000
Fixed Bit_Row::count_ones().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=378fe2c7454ebecbad7918c651c8e3989e226c6b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Nov 24 17:12:23 2008 +0000
Tests that are specific for NNC_Polyhedron placed in a separate file,
for which we do not produce the derived nnc test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccae0adca6b3c0ff134c63f028dd9cd370e88fab
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Nov 24 17:01:42 2008 +0000
Added a few tests that are specific for the NNC_Polyhedron case.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f1b0376ba8b7f83e661e88ab48f2bfd64f328d4
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Nov 24 17:00:42 2008 +0000
Method NNC_Polyhedron::poly_hull_assign_if_exact() is now implemented
using Polyhedron::BFT00_poly_hull_assign_if_exact().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3f815b581a7982f9efe2b6f3c8ac4c237169ecb
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Nov 24 16:59:15 2008 +0000
Implementation of BFT00_poly_hull_assign_if_exact() generalized so as to
correctly deal with the case of NNC polyhedra.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e1fd82d373c1950a071bcc3e820733ea3bfb28b
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Mon Nov 24 14:34:33 2008 +0000
Unwanted code removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=841503456bb8bd544a79e7f296fe509db4b67608
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Nov 24 11:07:42 2008 +0000
Method C_Polyhedron::poly_hull_assign_if_exact() is now implemented using
Polyhedron::BFT00_poly_hull_assign_if_exact().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a5d2d73d3321a75e17eae6df93777b4f087a8cd6
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Nov 24 11:05:34 2008 +0000
Added protected method BFT00_poly_hull_assign_if_exact(), implementing
(a variant of) an algorithm for the recognition of convex unions originally
proposed by Bemporad, Fukuda and Torrisi in 2000.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00ed5c1efbbaa53deba9eb8fec9997702be9feef
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Nov 24 10:41:23 2008 +0000
Added tests for method poly_hull_assign_if_exact().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2533826928213678a386224616a3ae568493a769
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Mon Nov 24 09:23:31 2008 +0000
The implementation of the Box from Grid constructor has been
modified to use Grid::maximize() to check if a dimension is bounded
and no longer needs Grid_Generator to declare the Box class as a friend.
The FIXME(0.10.1) wrt this has been removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7ce6bdec355ec07414fd7779e3594cd2629b651
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Mon Nov 24 08:37:01 2008 +0000
Report bug fix corrected in previous commit.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96b2c4a6e60825da40b7b72bcb132610145062fc
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Mon Nov 24 08:36:06 2008 +0000
Corrected private method bounds() whereby it did not correctly deal
with the case when the grid generators were up-to-date but not
minimized. This corrects the bugs shown in the previous commit.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ef47e23673325ad2785d1860a369c26419c6aa7
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Mon Nov 24 08:34:00 2008 +0000
Tests added that show a bug in bounds_from_above(), bounds_from_below(),
maximize(), and minimize() in the Grids class.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a470533e7db1318a7649aaeeae2c50daec85195
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Sat Nov 22 12:13:38 2008 +0000
When building from another product with different component domains
and/or reduction operator, allow for any component domains and in
any order.
When building a product always check the space dimensions are no
more than max_space_dimensions().
Correct some comments in the Partially_Reduced_Product.defs.hh.
A few tests added to test these code changes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bef63e6f08dd529040c700e3d9a897c0a17cc0d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Nov 22 09:48:32 2008 +0000
Removed some commented out, useless code (it was the result of cut&paste
from another test). Added known result for test01 and check against it.
Renumbered tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efccc2cf9f6a79a66d5c13ba52b6956ebbfcf7c7
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Nov 21 21:51:24 2008 +0000
Also set nodist_ppl_ocaml_generated_test_opt_SOURCES.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b73095cbfc77d2c9af6be10f616a14fbcb26d259
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Nov 21 09:22:48 2008 +0000
Let the stack size limit for native compilation be as generous as that
for bytecode compilation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10cae9e922a97b998c7a627f78c48fb68553fd89
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Nov 20 21:35:43 2008 +0000
The OCaml interface now supports compilation to native code.
Also mentioned in the NEWS the correction of an OCaml interface bug.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b71b7f575b77e7db33334f717608b579081e036
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Nov 20 21:28:05 2008 +0000
Added a few lines explaining how to use the OCaml interface with the
native compiler ocamlopt.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c20e0fdb005262ddf6ae8b3c07dcedf1ac65f30
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Nov 20 21:24:17 2008 +0000
List libppl_ocaml.a in variable pkglib_LIBRARIES (removing it from variables
noinst_LIBRARIES and ocaml_DATA).
When building the native OCaml interface, do generate, install and clean
the library file ppl_ocaml.a.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2eddf5ba017f0b6dd2fb037be926aeb29cf1c581
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Nov 20 20:02:57 2008 +0000
Avoid using OCaml (bytecode/native) compiler option -g.
Do also clean *.o files generated by ocamlopt.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0fd077d2d24b844a4e8fc509dae16c8a07e3224
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Nov 20 16:22:38 2008 +0000
Two bogus TODOs changed into (urgent) FIXMEs.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b4f4c55149a24d0e4dd0f13e5d845fb2852f047
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Nov 20 13:02:10 2008 +0000
Build and run the bytecode/native OCaml tests depending on the availability
of the bytecode/native OCaml compilers.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7feaaa5706faed38cc6eff821870faadc5038ae
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Nov 20 13:00:28 2008 +0000
Build the bytecode/native OCaml interfaces depending on the availability
of the bytecode/native OCaml compilers (and corresponding mlgmp libraries).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8019b41cee587bb32379eb7fbfa275c5e29e9b2
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Nov 20 12:57:52 2008 +0000
Corrected a bug in the code for the OCaml function
ppl_Grid_generalized_affine_(pre)image_with_congruence;
also corrected corresponding test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=635ff9fdca0fd78c6896d9def29a41b1452c2c45
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Nov 20 12:53:04 2008 +0000
Check whether or not the OCaml native compiler ocamlopt is available.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=facf1fcd16efc97feb4595624d1ef4f79d3a44d2
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Thu Nov 20 12:24:03 2008 +0000
Avoid reducing the product where it is not essential.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e4b7c487571396e38059d74c18e6194fd57f9cb
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Thu Nov 20 07:53:34 2008 +0000
Added a note concerning the correction of a bug in the
Partially_Reduced_Product<>::time_elapse_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b023a9e044e012f11ce82cb988f18de9a208e79c
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Thu Nov 20 07:40:39 2008 +0000
In the time_elapse, both components must be reduced
before doing the operation. The clear_reduced_flag()
after the operation removed and the tagged FIXME removed.
Test added showing an example that is only correct if the second
component is also reduced.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0de332bf5cda0e4f16a79a1d72308126d1758bd1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Nov 19 21:19:11 2008 +0000
Added several new items.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ad34cb227ff66fa4e87f0bca6aa9779b21836e3
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Wed Nov 19 20:58:56 2008 +0000
Restored the clear_reduced_flag() for the time_elapse_assign.
FIXME also restored as this still needs checking.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=488dba343c5d64c086d2ae6f81712d890d961912
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Nov 19 19:28:18 2008 +0000
Added missing verb in comment.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a3e5b799f0f5f3a83e1b69ef5e779c288d3e7bb3
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Wed Nov 19 09:46:50 2008 +0000
Several tagged FIXME's removed.
CHECKME Comment for the widening operation modified to confirm
that this _is_ a widening for the products as provided here.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=40e30cb87ce1f1ffdf0a834949167a1c6ba1763a
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Wed Nov 19 07:26:47 2008 +0000
Removed previously added reduction method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0b9625a497f250c7270006773a9f5632c231329
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Tue Nov 18 14:53:00 2008 +0000
Added a reduction method Shrink_Using_Congruences_Reduction<>
and the product Shrink_Using_Congruences_Product<>
that assumes this reduction.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6cb253dc62d8027b0769d84ca2d3eaaf8d9991ca
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Nov 18 13:27:22 2008 +0000
Mention bug fix for Polyhedron::contains_integer_point().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87f3fa978db500b73a164230a14065b4a5071407
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Nov 18 13:25:40 2008 +0000
Added a couple of comments regarding the recently corrected bug in
contains_integer_point().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d57dbde1689f83f63b5b9773ec01fbd45367f55f
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Tue Nov 18 12:49:52 2008 +0000
Corrected some m4 code that resulted in wrongly named test predicates.
Corrected expected answers for tests that checked properties such
as "is_empty()".
Added tests for the contains_integer_point() for the Pointset_Powerset
domain.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52e651329904f54279bd9a34122534f50cb235e2
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Tue Nov 18 12:47:25 2008 +0000
Several bugs in code for contains_integer_point() fixed.
Added new tests that showed the bugs.
Uncommented some tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a68c5d90e95f4775838f03fc7ae1c3096c131b7
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Nov 18 07:40:19 2008 +0000
Corrected typo in comment.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03f89005cb7f7895120a8f46c0c57f3778ab3ab9
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Nov 17 16:57:47 2008 +0000
Recorded the fix solving the `make check' problem when the
`--disable-watchdog' configure option is used.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc774d969e60065ab0e14b2f9e105270918eefc7
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Nov 17 16:43:00 2008 +0000
The sources for test memory1 should be distributed unconditionally
(i.e., even when valgrind tests are disabled).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61a4297ec7601872ff369128e07a5809bec5c221
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Nov 17 16:41:25 2008 +0000
Test mipproblem2 should be built iff the watchdog library is enabled.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a61ec6dd8221238cf09d6bdeede90b3cf7a866c0
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Sun Nov 16 20:57:43 2008 +0000
Typo fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf988e99b50ddfd2adb3a1aa0b92ae994dc8945e
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Fri Nov 14 11:16:02 2008 +0000
Completed a reorganization of the tests for the Powerset domains.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b07394534621997e9970939c0660963282473d0
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Nov 12 19:39:01 2008 +0000
On Darwin, avoid the `-module' Libtool flag for building the `libppl_java'
library.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7fcaf4f28a477f2317b098d243ba0d884648303
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Nov 12 16:57:22 2008 +0000
Wrong file names fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d5bbbf58a94061a41594a37fc6fd116296f52a2
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Wed Nov 12 09:05:41 2008 +0000
Started reorganising the tests for the powerset domains
and moving all tests on the powersets into the Powerset directory
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a10f1cae5588a675b3a181138163703225a8469f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Nov 11 17:04:01 2008 +0000
Added a reference to a bug report against Fedora's `pl' package.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ac4444cc8a6c797f67792591ca4c492dee90b0e
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Tue Nov 11 08:40:51 2008 +0000
Removed the STRONG_REDUCTION macro and added comments where the code
implements the extra reduction needed for the strong minimal form.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53ee54835082db32d81125f1d5622ecbe823bbc4
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Tue Nov 11 06:47:49 2008 +0000
Improved handling of the patterns with a consequential improvement
to the speed of the m4 processing of the interface files.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d92c57de9374c43da1e9b8d36e2918163517d3b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Nov 10 20:02:52 2008 +0000
DIRTY_TEMP* macros renamed with the "PPL_" prefix. A couple of other
improvements related to the proper use of Coefficient objects.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=434d1811110cfa456c31f9e6a6d26080810a594c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Nov 10 18:56:45 2008 +0000
Use PPL_DIRTY_TEMP_COEFFICIENT whenever possible.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f95c0e4906a74e8aa1469e4bf0d6e6cf3f73546
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Nov 10 18:21:59 2008 +0000
Corrected typo in a comment.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e07929e9cde0730878bc9d5c6ad5c7d6a9489fd
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Nov 10 18:21:16 2008 +0000
Small correction.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92789b5166b3dbdf1a0127a7a11d6c70db1b2cce
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Nov 10 17:26:22 2008 +0000
Macro PPL_DIRTY_TEMP_COEFFICIENT properly commented. Notice that this
is now part of the C++ interface, hence its introduction is mentioned
in the NEWS file.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ba751cb43e9eb95b2c0e7a9fcfbb6eea286ca28
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Nov 10 07:47:04 2008 +0000
Macro TEMP_INTEGER renamed PPL_DIRTY_TEMP_COEFFICIENT.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=93e2b5aa5f434e163cee300c40ad4f1bbc183266
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Nov 10 06:04:29 2008 +0000
Macro COPY_GMP renamed PPL_MATCH_GMP_GCDEXT and undefined after use.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=395bae940b8532c993f49d3c17bd18eebb6ed4fb
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Nov 9 20:17:06 2008 +0000
COND* macros renamed with the "PPL_" prefix and undefined after their use.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=135ce7d742ff34dd99d7057dc818892de106291e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Nov 9 20:11:23 2008 +0000
NAN macro renamed with the "PPL_" prefix and undefined after its use.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d2bd2b9746bb53f38e53eeb3c8008953aa4eb07
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Nov 9 19:49:23 2008 +0000
COMPILE_TIME_CHECK* macros renamed with the "PPL_" prefix and
undefined at the end of the library's C++ interface header file.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f200a86d1676b76f04fa4b454da3c4be31a656d0
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Nov 9 18:52:11 2008 +0000
The `nonconst' macro is now defined and undefined in a completely safe way.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d794a14afcce81e32443fec9db19dc3ff2e28cc
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Nov 9 17:37:31 2008 +0000
Macros FPU_DOWNWARD, FPU_TONEAREST, FPU_TOWARDZERO and FPU_UPWARD
renamed with the "PPL_" prefix and undefined after their use.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=431dd27c592633243cd5265aacf48494da3a974e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Nov 9 13:39:22 2008 +0000
ASSIGN* macros renamed with the "PPL_" prefix and undefined after their use.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=06f2ba88c10de3b38caa26cac256ce75a78b1234
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Nov 9 13:27:43 2008 +0000
FUNCTION_CLASS macro renamed with the "PPL_" prefix and undefined after its
use. Long source lines avoided.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0c38c85a3fbc81dc2e0f26de73aeef9deafb83a7
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Nov 9 11:52:11 2008 +0000
DEF_FUN* macros renamed with the "PPL_" prefix and undefined after their
use.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a30adc6088937fd92ae517c12e717e3e0f61cc9
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Nov 9 11:43:05 2008 +0000
DEF_ASSIGN_* macros renamed with the "PPL_" prefix and undefined after their
use.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c65bfc03ce09d8720a63140400370523de6ffbc1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Nov 9 11:39:11 2008 +0000
SPECIALIZE_* macros renamed with the "PPL_" prefix and undefined at the
end of the library's C++ interface header file.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74a13ba2c5bbf3adaf9309a1f3af567c1596d512
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Nov 9 10:26:26 2008 +0000
Macro `safe_conversion' renamed `PPL_SAFE_CONVERSION' and #undef'ined
after its use.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=813b19a6420d14aef3d4322cbe44a823bfdc5bc9
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Nov 9 10:16:43 2008 +0000
Robustness has been improved.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ba3f0ab8e7c1fc06d90c5114cccb061fc28fc0b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Nov 9 08:15:23 2008 +0000
Use std::numeric_limits<size_t>::max() instead of size_t(-1).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b91465a5aae9625776a4fe45e460b15db4597c01
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Nov 9 08:05:15 2008 +0000
Took into account that no checks for possible overflows are made
in the implementation of new expressions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb9bb9c8404c02e3c3cd9f100182660ee01151bb
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Nov 9 07:32:16 2008 +0000
No longer use compute_capacity(dimension_type requested_size).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ba481b9860e3a017fda694745495c9afcbbd8fe
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Nov 8 20:57:10 2008 +0000
No longer use compute_capacity(dimension_type requested_size),
now removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7bfa535bd0c6689985f48f364ba2e4005fb221a4
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Nov 8 19:54:47 2008 +0000
More FIXMEs tagged with "(0.10.1)".
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b707eba11cc420c5ce445b5a9173439efa7aca8
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date: Fri Nov 7 15:04:54 2008 +0000
The core ppl_interface_generator_common.m4 file
has been completely reorganised, macros improved and comments revised
and added.
Note that alternative patterns and replacements now have a simple
_a_ or _b_ extension instead of _alt_ or _cppx_.
To change the case of a word, use "!" instead of "L" or "U" before
the pattern.
The macros in the core file are organised into groups and a comment
summarises the call structure between the groups.
Each macro is labelled to indicate if it is used locally,
just in this file but by a macro in another group,
or if it is public and may be used by other code generating m4 files.
Suggestions for further improving the macro descriptions are welcome.
The complementary file ppl_interface_generator_common.m4_dat file
that contains the common data and some macros for generating
the basic class names, the patterns and their replacements
is improved and some redundant things removed.
Commenting is not improved but much of the structure here is simpler
and existing comments provide a lot of information already.
The changes to these files has meant that changes to all the m4 files
in the interfaces directory was required.
These changes seem to make the m4 generation slightly more efficient -
but the improvement appears to be less that 10% and disappointing.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26d61a79034f09e6e30f888b69d39c4334cca3d2
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Nov 6 07:43:09 2008 +0000
Tagged the FIXMEs that should be fixed before the PPL 0.10.1 release.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33d2a50acb3d759d657c0355ed71e159bab61cb8
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Nov 6 07:21:16 2008 +0000
Use malloc(), realloc() and free() instead of operator new() and
operator delete() to implement the replacement GMP allocation
functions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=758634de86d335a582ea5cbd79b6d7a32dcaa3da
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Nov 5 21:14:03 2008 +0000
Use malloc(), realloc() and free() instead of operator new() and
operator delete() to implement the replacement GMP allocation
functions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=82c2eaa640db79d50fb2e0a8413bf1e49a3b0352
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Nov 5 20:26:36 2008 +0000
Made `ppl_lpsol --help' and `ppl_lcdd --help' consistent.
Man pages updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a511790e4d817debb19088e49b7ab732de0e7f7
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Nov 5 18:53:57 2008 +0000
Added a section for 0.10.1.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=423e8107979841b152a9e9b3256a4bd1e7811f68
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Nov 5 18:51:14 2008 +0000
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=685241b0d27ca342e0464f37e78678e4ca032f64
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Wed Nov 5 18:23:42 2008 +0000
Added \007 e \015.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21b15d2b8909f70ae217d183ffc427831d59d82d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Nov 5 18:23:17 2008 +0000
Stick to ASCII.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=847c1c8201e6f47771c00832059fdb7218f8387f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Nov 5 18:22:47 2008 +0000
Add dirty_marker to DISTCLEANFILES.
(Thanks to Michael Tautschnig for poiting this out.)
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4dccc802a594ebf58045ae5cbbc6ad49f03961dc
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Nov 5 18:18:07 2008 +0000
Print also the line number.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d9626614425ac1fea7306da3fc9e748ec835f84
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Nov 5 18:17:24 2008 +0000
Doxygen configuration files are generated by the configure script, so that
they don't have to be listed in EXTRA_DIST.
(Thanks to Michael Tautschnig for pointing this out.)
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7de5ed20f438472c715791665440297689018b11
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Nov 5 18:15:20 2008 +0000
Source file ppl-config.cc is generated by the configure script, hence it
should not be distributed: list it in nodist_ppl_config_SOURCES.
(Thanks to Michael Tautschnig for pointing out this problem.)
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b56dc08c4c5a91a2c6086f5b448255548c0b97c9
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Nov 4 17:18:41 2008 +0000
Fixed the requirements of the `ppl-java' package.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ed377604e540c867b0f57329419dec9a82e9db1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Nov 4 14:21:00 2008 +0000
One-liner to print lines containing non-ASCII characters.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3808aa101bf2261d6386d245e3383d3f741fce2a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Nov 4 13:43:33 2008 +0000
Changelog updated. Added m4 >= 1.4.8 to build requirements.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a228b89d3b39025fd60163efd044f6390dca0c3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Nov 4 09:27:21 2008 +0000
Use ASCII only.
More information about the PPL-devel
mailing list