URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd323d80193ee... Merge: 234cfacce4b9aec54e1532788c3a5d362c2b5f0c 305c39d78c0a6de7a1478f92b892a32e030daa42 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Apr 16 11:24:50 2012 +0200

Merge branch 'master' into ppl-0_12-branch

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=305c39d78c0a6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Apr 16 11:23:40 2012 +0200

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4804b28aa126b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Apr 16 11:12:04 2012 +0200

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ba2111047479... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Apr 13 10:53:41 2012 +0200

Minor corrections in the documentation for set_deterministic_timeout.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a082744fb5cdd... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Apr 12 23:02:50 2012 +0200

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7038a1b8de24d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 12 21:22:27 2012 +0200

The Intel C/C++ compiler does not support -pedantic.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f76c05f994519... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 12 15:44:11 2012 +0200

The Intel C/C++ compiler does not support -pedantic.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84128ab43b6ee... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 12 11:16:52 2012 +0200

Typo fixed. Version number bumped.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ebf2319c2e73d... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Apr 11 17:25:13 2012 +0200

Test PIP_Problem/weightwatch1 requires unbounded coefficients.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04c81f986d57e... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Apr 11 15:31:41 2012 +0200

Modified signature of function set_deterministic_timeout().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f021f3e7bd4d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 7 19:33:27 2012 +0200

Fixed a bug in the Prolog interface whereby predicate ppl_set_deterministic_timeout/1. It was flagging arguments bigger than 4294967295 as erroneous.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bd121ac6dd6a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 7 19:27:28 2012 +0200

Revert "The function ppl_set_deterministic_timeout() in the C interface now takes an unsigned long long parameter."

This reverts commit 7781b2d72ad31906c830a16a942b31ac305924c2.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6e61b4cb77286... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 7 19:08:46 2012 +0200

Substituted "alpha testing" with "beta testing".

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7781b2d72ad31... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 7 19:02:56 2012 +0200

The function ppl_set_deterministic_timeout() in the C interface now takes an unsigned long long parameter. It erroneously used to take an unsigned int.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fc119cc72ae7d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 7 18:58:33 2012 +0200

Profiled.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5e0f990123db... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 7 18:41:48 2012 +0200

New test program.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a218c114b0f2e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 7 18:38:17 2012 +0200

Comments improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4dbb6e73d340... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Sat Apr 7 15:54:20 2012 +0200

Ignore always unhandled bits.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a772590b83572... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 7 15:25:34 2012 +0200

Cleaned.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7dfc47517c842... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 7 14:11:39 2012 +0200

Avoid using @ outside BibTex entries.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fe7c00663962... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 7 14:09:41 2012 +0200

Avoid using @ outside BibTex entries.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6936a75a6bf5... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 7 14:04:23 2012 +0200

Missing comma added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88234071d1135... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 7 14:00:05 2012 +0200

Avoid non-ASCII characters.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5234d75213a36... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Apr 7 11:35:41 2012 +0200

Added calls to WEIGHT macros.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=339439dc72b06... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 6 19:21:23 2012 +0200

Weight computation fixed and adjusted.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cab1cdf4cf25... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 6 17:34:28 2012 +0200

Let ppl_unreachable_msg() print a more sensible message.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4ddaf31d0887... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 6 17:16:50 2012 +0200

Punctuation fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bb1700314823... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 6 17:15:23 2012 +0200

Mimic the message given by standard assert.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81a68dd16a56d... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Apr 6 16:48:59 2012 +0200

Added a comment to clarify definition of PPL_ASSERT.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=488490ab24f42... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Apr 6 16:38:44 2012 +0200

Improved error message reporting for assertion failures.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb4ff186479c5... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 6 12:13:14 2012 +0200

Reordered so as to allow compilability with -DPPL_PROFILE_ADD_WEIGHT=1.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=34fa558e18b00... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 6 12:12:45 2012 +0200

Variable name fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04e4cfbf6a817... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 6 12:11:56 2012 +0200

Reference to no longer existing namespace removed. (Wonder why we did not have a Doxygen warning.)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e40494f8f379... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Apr 6 10:41:12 2012 +0200

Clarified reason of assertion failing by adding a message.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b406ba2b5a15f... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Apr 6 10:19:18 2012 +0200

When dumping Linear_Row::Flags with assertions turned off, force the (unavailable) rpi/nnc validity bits as "set".

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=946038b56de1a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 6 09:03:47 2012 +0200

Do not use #define without a value.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3415eb20ae3bd... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 6 09:03:08 2012 +0200

The given problem is not satisfiable (independently verified with other solvers).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36136d48b149f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 6 07:51:20 2012 +0200

Make it easier to reproduce issue [PPL 0000353].

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e570c208e2a15... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 6 07:14:21 2012 +0200

Use add_mul_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a194d47db18a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 5 22:24:58 2012 +0200

Function renamed and documented.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b7bc2428f8ea... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 5 22:03:23 2012 +0200

Indentation fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d6ef34ebb54d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 5 21:50:58 2012 +0200

Indentation fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4ff3e5f5be14... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 5 21:24:47 2012 +0200

Set the validity bits.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=236fc0ca4dcc9... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 5 19:59:53 2012 +0200

To reproduce Mantis issue [PPL 0000353].

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=717a18d0a06e1... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Apr 4 11:31:59 2012 +0200

Made several exception thrower methods static. Renamed throw_generic() as throw_invalid_argument() for consistency. In generalized_affine_{pre}image(), systematically throw an invalid argument exception if relsym == NOT_EQUAL. Corrected several inaccuracies in exception error messages.