[PPL-devel] [GIT] ppl/ppl(products): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Wed May 13 11:06:23 CEST 2009
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60d5f1fce4d12cdf6fc74f18a4f8feeb7eb61d73
Merge: da0ca32ee95f30d2bcd9111eea74d9b820ad1a14 c8cbb00f29ac4c0d48daf14a9a9d3b93e559e207
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed May 13 11:06:06 2009 +0200
Merge branch 'master' into products
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8cbb00f29ac4c0d48daf14a9a9d3b93e559e207
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Wed May 13 09:21:47 2009 +0100
Fixed a bug in wrap_assign() for grids.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c95ec7331cb7a9026ba8618fe0a875bf2944ed0b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed May 13 07:02:44 2009 +0200
AC_CHECK_GMP fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=29859522caa565993a049f24f01c9a2640a4cd78
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue May 12 21:55:22 2009 +0200
Added a commit to consider should we release PPL 0.10.3.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c8a74aea14bce95dc1916df66995dd5a163eb2b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue May 12 21:50:25 2009 +0200
New configuration option `--with-gmp-build=DIR'.
This allows to use a non-installed build of GMP in DIR.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b365a8a6b1dbb0b69a6997f0ca4bc14921c35ef
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue May 12 20:42:40 2009 +0200
Known result adapted to increased Box constructor precision.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b6d0f50e9c8141479cbca37057ed48a4cbc2eb84
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue May 12 20:10:29 2009 +0200
Another TODO item dealt with.
Adapted another few known results according to increased precision.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=093849653148ff077f79585e68cd36e055d51163
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue May 12 19:09:00 2009 +0200
Added a section on commits to consider should we release PPL 0.10.3.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57b7091bc8502392be5fc524fd96c97dc8134e30
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue May 12 18:58:02 2009 +0200
Method Box::refine_with is now based on (single step) constraint propagation.
Method Box::propagate_constraints now also take as input a parameter for
specifying the maximum number of iterations (default value 0).
The constructor of a Box from a Polyhedron in polynomial time sets this
parameter to a constant.
The known result of several tests adapted to match the increased precision.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf625371f4d8b97edfa295b447c9245788c24585
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Tue May 12 17:19:02 2009 +0100
Improved documentation and small efficiency improvement to the code.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b94dc7951129d065d858b6dbd932eac59a643f96
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue May 12 18:04:44 2009 +0200
We cannot test the Java interface unless ENABLE_SHARED.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c39276dbadd94769a711940fd0694561aedb0c06
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Tue May 12 16:51:46 2009 +0100
Another efficiency improvement to wrap_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb54ad2e7508d44ada8ef80161f416e5ec9f48a2
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Tue May 12 16:42:06 2009 +0100
Some efficiency improvements. Comments improved.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3460918400e04cf24fda33ff0cf9d18a95840b8
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue May 12 15:49:10 2009 +0200
Updated from Gnulib.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4615f0d711d1623c1237b697bb07fda99d995ca7
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Tue May 12 14:19:04 2009 +0100
Simplification and improvement of code for wrap_assign().
The bounds_no_check() and frequency_no_check() assume the generators
are minimized and the grid is not empty.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=236efc9ce1d06358f0d0313abd2661423ff9249e
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Tue May 12 08:37:29 2009 +0100
Several improvements for the wrap_assign() operator for grids.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3d6b3d44df422a2683d7b2abd313d670123910b
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Mon May 11 21:32:32 2009 +0100
Improved code for wrap_assign() for grids for constant values.
If the value for a variable is already constant, and the constant is
outside the range for the bounded integr type,
then the outcome depends on the kind of overflow:
- if `impossible', then the grid is set empty;
- if `undefined', then the variable is set to take any integral value;
- if `wraps', then the value is wrapped by the wrap_frequency
to a value in the range for the bounded integer type.
Comments improved.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42110bebc56a874568f209c163e082eab144d4ea
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon May 11 19:06:17 2009 +0200
Another item dealt with.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=862f856db64bb43d7c5c36100131da7e577c6297
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon May 11 18:56:11 2009 +0200
Parameter irrational_precision made available in all language interfaces.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3fe5242d062a0831d1a098d06d4b89456a21429
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon May 11 18:53:23 2009 +0200
Renamed rational_sqrt_precision_parameter to irrational_precision.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca6ac08359877616581492e80dfd2979a3e946d5
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Mon May 11 14:24:18 2009 +0100
Several tests are expected to fail for checked-in8.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e772ae5ffad4a94f13dc446805cb2fc79353ebc
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon May 11 13:51:59 2009 +0200
Do not test for result dependent on floating point steepest edge heuristics.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbd07c16deb6fa87b4cc8995a548cb53e1a1916b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon May 11 13:49:40 2009 +0200
Avoid unnecessary unbounded precision value in floating point steepest edge.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a36b05302ae483bff5778a75ec5d1abe632db241
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Mon May 11 11:56:02 2009 +0100
Added a _draft_ description of the wrap operator for grids.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71e9992afa9bc049b93d0b29fd9dbe52ead850cf
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon May 11 12:30:58 2009 +0200
Got rid of a TODO item.
Also avoid an annoying warning about an uninitialized variable.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e524876115832265137efe4a372b84236e6a0b26
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Mon May 11 08:34:11 2009 +0100
Redid the intended changes for the last commit for wrap_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bea722b328721dda174ad5e2c218695eacf9e49
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Mon May 11 07:34:50 2009 +0100
Improved wrap_assign() for grids.
Added private methods bounds_no_check() and frequency_no_check().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd05d651cc3931ff02b0b57477bbca68c927f3ce
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat May 9 09:44:34 2009 +0200
Use the appropriate throw_dimension_incompatible() method in wrap_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ddecda47e763c5759190b167be835c9b77c82b49
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Thu May 7 17:55:07 2009 +0100
Added draft implementation for wrap_assign() for the grid domain.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=14da854b5b2b1476c7eb46988cec83b29c4081fc
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue May 5 23:36:20 2009 +0200
Added basic timeout support to the Java library interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9381e735bd8858563a577503cdccea25041d96d2
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Wed May 6 19:54:16 2009 +0200
Fixed result check for ThrowNew.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41aeb3ccffeba265b3b0458070936d5eab562ace
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed May 6 16:06:29 2009 +0200
test03() fails also with 16-bit coefficients when assertions are enabled.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02f325cfd0097877d6e5d8f5db768666ba733c9c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue May 5 20:59:10 2009 +0200
test07() only fails if assertions are enabled.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb174e19d377d1cc1022c3d791f9be95fbdbe833
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue May 5 19:50:08 2009 +0200
Spurious parentheses removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=317f48d0d55391b07624e0f55a6228e3b2d39d6f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue May 5 19:20:33 2009 +0200
The rename of Determinate was in fact a bad idea: backtracked.
The documentation of the class has been improved.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e8d5162a1bb648f191bba13afebc99412ac6636
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue May 5 17:31:36 2009 +0200
Added basic timeout support to the C library interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a261c5a9255c15c4043e19b17bb87ec38cc69b57
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue May 5 08:43:39 2009 +0200
Method COW_Pointset::element() renamed pointset().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3385539e9496e7240cc2be723e219b61ee664f6a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue May 5 07:51:45 2009 +0200
Method COW_Pointset::element() renamed pointset().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a1b29cc27b2724da40e282849b3a0fa6b653a34
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue May 5 07:51:25 2009 +0200
Indentation and comments fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=975b9494cf23eb81b611a9878b9effac55b69486
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue May 5 06:50:48 2009 +0200
Method COW_Pointset::element() renamed pointset().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=617727237924d806dcbfd87d78077770e0cd54a4
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon May 4 23:13:44 2009 +0200
Method COW_Pointset::element() renamed pointset(). Comments improved.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=138e93f3053266c9ad90188e0e1e99408986cc53
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon May 4 23:12:27 2009 +0200
test02() and test09() fail also with 16-bit coefficients.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2903193cd3322812da1216ad198943f987a62e97
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon May 4 23:02:16 2009 +0200
Systematically write "copy constructor" instead of "copy-constructor."
(The verb is "to copy-construct" though.)
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ed468a18c4ea3f2af297c6a55881956cff3ce11
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon May 4 22:18:15 2009 +0200
The `Determinate' class has been renamed `COW_Pointset'.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0157b7348fe2ffaf360c8d3b20094b83a320a75f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon May 4 19:03:25 2009 +0200
Completed the \exception section of the documentation for wrap_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f54288600e90baebc6307d5b0c86056d445297d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon May 4 16:20:34 2009 +0200
Added a section on "Approximating Bounded Arithmetic", to be written.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=137d32b6c98dcf24843171d836388dee85c3855b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon May 4 16:09:33 2009 +0200
Documentation of the wrapping methods improved. Typos fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e712a9a26f8751191e73bedbb1e0d77f4c33b53
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon May 4 15:30:42 2009 +0200
Two new items added.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=405c912f7e3380c3380aff301e6768160340c359
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon May 4 15:17:21 2009 +0200
Further steps in the definition of the interface of Affine_Space.
The widening and extrapolation methods do nothing (except for
testing dimension-compatibility). Several comments revised.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cad1f47f089bfddbbb0df15890d04e633a466c1c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon May 4 15:16:39 2009 +0200
Added missing full stops.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ba2322b9b323b0c25dfb9004bfb67bc89e21fd4
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon May 4 13:51:56 2009 +0200
Documented recent changes in the Java interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f31f10f742cd42fe5abefa3dc780067dd13aca03
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon May 4 11:46:50 2009 +0200
Removed obsolete comments about minimization.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e981dad7a2b38028438bfffa721f53df435a99c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon May 4 11:44:41 2009 +0200
Fixed some comments.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea296d657de6512f5150e2a01a17e7b0599dbb1c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon May 4 10:31:42 2009 +0200
Marked the tests that are expected to fail with 8-bit coefficients.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bae7441bfe49f3edf01238bb9cf09c654903456d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon May 4 09:21:15 2009 +0200
Documented a systematic assumption about the C interface opaque pointers.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6c67069f18540f2ea3cb2547810e1055a8f7872
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon May 4 08:07:36 2009 +0200
Fixed a couple of comments for BD and octagonal shapes.
When adding constraints/congruences, an exception is thrown if they cannot
be accurately represented.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1806a003f1aede19f069ed2884f0a133669e987b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon May 4 07:53:27 2009 +0200
Cached Java method IDs for class parma_polyhedra_library/Pair.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7df8a012ef106c60a5a9685208af6074d00e632b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon May 4 08:06:25 2009 +0200
Expected behavior made dependent on the range of Coefficient.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5ea2c6ad7ca56bc638fab654e1ee61570ebe8db
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon May 4 08:01:56 2009 +0200
Test BD_Shape::wrap_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f8b88c139b3e7babdb53d586493e9239f873446
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun May 3 22:25:43 2009 +0200
Check for NaNs only when debugging.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d1c8a0cea556222c531c7969a92cd481c74469c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun May 3 17:02:33 2009 +0200
Fixed computation of known results for test01() and test02().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=333cc7aab97123abb0bae09c146bb9cad43ad6de
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Sun May 3 15:45:56 2009 +0200
Avoid use of constructors in numeric_limits.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56888c3225c8fc78186bb4428cd1a50b1541c796
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun May 3 15:19:10 2009 +0200
Expected result adapted to the different types of coefficients.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4dcb2959e3cc7b74aaa9f20c865b848e206818b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun May 3 15:19:00 2009 +0200
Fixed PPL_SPECIALIZE_LIMITS_INT.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d88f590328ae2f751caa062ca4c9ba43bd7d633d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun May 3 10:34:20 2009 +0200
Debugging print statement added.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d02c66706d0ae61f3334658327806ddf44be05a
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Sun May 3 10:28:04 2009 +0200
Fixed assignment to int.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd3ff98bdc71921ff315eb9d1cd51abcf9bf0efa
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat May 2 20:59:01 2009 +0200
Files renamed to avoid ambiguity with respect to numerical wrapping.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a08d1d3a98ca1af8ff0cb94017888528c6875a7
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat May 2 20:53:47 2009 +0200
No longer use CS and PS as template parameter names.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e13568ef98abefe1b710d32105cb5dbb0bac0b90
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat May 2 20:18:34 2009 +0200
Unused variable removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a0d5faafbb0019e0012eeb3cbb311a1ff8765f2
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat May 2 19:41:44 2009 +0200
Bad spacing fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36b2b16c30222e94a7ea749d1008b7b148959a50
Merge: b61a3356aa6bab867a721214170f419e7d4bd483 099c11d215bf8bf113bec36fbe1b802d939bf92b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat May 2 18:22:40 2009 +0200
Merge branch 'bounded_arithmetic'
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=099c11d215bf8bf113bec36fbe1b802d939bf92b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat May 2 18:16:44 2009 +0200
Implementation of wrap_assign() made generic.
The same implementation is now used for Polyhedron, BD_Shape and
Octagonal_Shape.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b61a3356aa6bab867a721214170f419e7d4bd483
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri May 1 22:46:07 2009 +0200
Obsolete test programs removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42eb3a3d2ab598be84c7dbc145a983265fc6ed29
Merge: 02e818f7cd915af0e99ac755e1567932ec164992 453d5f2f3a322c55bc2a702567f7f08f5b0bfe0d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri May 1 20:58:45 2009 +0200
Merge branch 'master' into bounded_arithmetic
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02e818f7cd915af0e99ac755e1567932ec164992
Merge: abefc4529cb38ff95c24f85e9f0c6399a35880ad 54b366817e0798f9ce92d95a1fcc1ec59eb7406a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri May 1 14:25:03 2009 +0200
Merge branch 'master' into bounded_arithmetic
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=453d5f2f3a322c55bc2a702567f7f08f5b0bfe0d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri May 1 14:22:00 2009 +0200
Renamed some pleonastic identifiers. Fixed some comments.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78db7e67c067fb1afeba41e78bebfed819b55fe3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri May 1 14:21:44 2009 +0200
Added missing patterns.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abefc4529cb38ff95c24f85e9f0c6399a35880ad
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri May 1 12:03:05 2009 +0200
Renamed some pleonastic identifiers.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be59e29965cb0a4fb57d9eccac5c2caae7f0a01a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri May 1 11:30:00 2009 +0200
Added a proof-of-concept implementation of affine spaces.
The implementation is based on rational grids.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=54b366817e0798f9ce92d95a1fcc1ec59eb7406a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri May 1 11:13:19 2009 +0200
Fixed copy-and-paste mistakes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2eb8d445441828c8b1cc53cc8903d15ce17f36ec
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri May 1 10:45:26 2009 +0200
Indentation fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11807a6ba66634f7cb13698731ca4b992e127556
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri May 1 10:44:09 2009 +0200
Useless returns removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d908ff9dd2a0ba936757723b56713eda847409f1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri May 1 10:31:56 2009 +0200
Fixed two code formatting glitches.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9fe2ae64aa578ae01bd80c07f86b8a7dcd866169
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri May 1 07:30:29 2009 +0200
Previous change reverted.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b066995711ae2cb8441faec05b44a81ba71c62ec
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 30 22:10:16 2009 +0200
Useless friend declaration removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc5983fb937cdd4961dd03a308ea37f1669ea3e2
Merge: 6431f35e4360c7c8385635f1e262c2f984cf07b1 9ce7c8bdce348315c574891ecb60cc0dc4cb3720
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 30 20:18:37 2009 +0200
Merge branch 'master' into bounded_arithmetic
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ce7c8bdce348315c574891ecb60cc0dc4cb3720
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 30 19:30:47 2009 +0200
Removed obsolete support for grid covering boxes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efbf989a1e9b1a2b0fb242de6c42cf6c74d241be
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Apr 30 17:07:37 2009 +0200
Fixed initialization for Java interface (explicit initialization required).
Java class Parma_Polyhedra_Library now has two new static methods:
initialize_library() and finalize_library().
The first one, to be called after loading the library and before calling
any other library method, will provide proper initialization of both the
C++ data structures and the Java class and field/method ID caches.
The second one, to be called when no longer using the library, will clear
the cache, deleting all stored global references, thereby allowing for the
PPL Java classes to be garbage collected.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6431f35e4360c7c8385635f1e262c2f984cf07b1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Apr 28 19:19:04 2009 +0200
In Polyhedron::wrap_assign() handled the case `o == OVERFLOW_IMPOSSIBLE'.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d65c2598c4350a19883cd8e06ae0d3a3a73336a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 27 22:27:06 2009 +0200
In Polyhedron::wrap_assign() handled the case `o == OVERFLOW_UNDEFINED'.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4917f7ba9b6d92f7e1556ed4d8fa89b060d71055
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 27 22:13:20 2009 +0200
Added a new parameter `pcs' to Polyhedron::wrap_assign().
Other parameters reordered. The tests now check for the expected result.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df4d4fcfb09051070719d9348382a7e94a8dbf39
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Apr 26 23:34:10 2009 +0200
Started the implementation of Polyhedron::wrap_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cebc86fa1c4b43f293a5d992cd3814351a3d30c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Apr 26 20:39:06 2009 +0200
Added missing pattern.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e2bfeb6d0eb4eb88ccbfabcbce8e8a8415b34901
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Apr 26 20:35:34 2009 +0200
Unused parameter name omitted.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fae84063e55727d064d478e61dbfb0d315eaee60
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Apr 26 20:35:03 2009 +0200
Added missing patterns.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05a160461d8776ab222c46509e06afab0be5bcdd
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Apr 26 20:31:35 2009 +0200
The `mul2exp' and `div2exp' functions are now called `mul_2exp' and `div_2exp'.
They have also been changed so as to take an unsigned int parameter.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18abd8ea5a0b711931c92bb888fe7363e925af75
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Apr 26 17:29:39 2009 +0200
Added void div_2exp_assign(GMP_Integer&, const GMP_Integer&, unsigned int).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da83bd6fe05a6e842277a8eadcffc843cc841e52
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Apr 26 17:16:02 2009 +0200
Added void mul_2exp_assign(GMP_Integer&, const GMP_Integer&, unsigned int).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95aa5c9f987b912197ec3b3b1387eec580a504d6
Merge: 636f1db00bb3ae68ffbcdfbe22bc56c03f9cfdbd 79dac5cc0b03dec162bdcca40e01828a52371765
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Apr 26 16:43:28 2009 +0200
Merge branch 'master' into bounded_arithmetic
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=636f1db00bb3ae68ffbcdfbe22bc56c03f9cfdbd
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Apr 21 11:36:33 2009 +0200
New file wrap1.cc will contain tests for method Polyhedron::wrap_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3879ecb87976c3fec4e498b45f75d2424ee98c2e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Apr 21 11:34:24 2009 +0200
Added the declaration and a stub implementation of new method
Polyhedron::wrap_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f568dac0119fa57aea5fa923f43f80b7d0f04f9
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Apr 21 11:33:15 2009 +0200
New enumerations Bounded_Integer_Type_Width, Bounded_Integer_Type_Signedness
and Bounded_Integer_Type_Overflow to encode the width, signedness and
overflow behavior of bounded integer types, respectively.
More information about the PPL-devel
mailing list