URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01eee00d67840... Merge: 46f8f37cd5bae3620a949e82dd700d2dbb466519 c098c056b375b809087be22be43abf29ee516d63 Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Tue Apr 17 12:42:06 2012 +0200 Merge branch 'master' into sparse_matrices Conflicts: src/Linear_Row.cc src/Linear_Row.inlines.hh src/PIP_Tree.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c098c056b375b... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Mon Apr 16 22:04:46 2012 +0200 Fixed a few copy&paste errors in documentation. 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].