URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6cf06825bbe8f... Merge: da09734808a5377dfd91b691d2cfa41f13049489 6d75839dc6ad19ce268208bd459ba9724efaa562 Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Wed Sep 5 08:24:39 2012 +0200 Merge branch 'master' into ppl-1_0-branch URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d75839dc6ad1... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Thu Aug 30 16:56:38 2012 +0200 Updated news. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec402f20b0057... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Thu Aug 30 15:15:47 2012 +0200 Added a Java testcase for method drop_some_non_integer_points(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd98130f36755... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Thu Aug 30 15:14:19 2012 +0200 Fixed a precision problem in method Polyhedron::drop_some_non_integer_points(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9c8f53c83cc5... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Thu Aug 30 15:10:40 2012 +0200 Added a new test showing a precision problem in one of the methods Polyhedron::drop_some_non_integer_points(); URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f82172b6a51e... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Thu Aug 30 14:50:27 2012 +0200 Fixed Java interface issues for method drop_some_non_integer_points(), reported by Zell (Zhoulai). Corrected the declaration of the method by letting it accept a Complexity_Class enumeration value (rather than a plain integer). Also renamed the version taking a set of variables as input, which was using the suffix "_2", so as to exploit overloading. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1141d90a6f39... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon Aug 27 08:21:22 2012 +0200 Added test invocations that were left out by mistake. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70be8fa73540f... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon Aug 27 08:03:44 2012 +0200 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=685ee646b27f9... Author: Abramo Bagnara <abramo.bagnara@bugseng.com> Date: Sat Aug 25 11:46:06 2012 +0200 Avoided user defined and implementation define behaviors of left and right shift. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=55575dcac0fa3... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Wed Aug 22 16:30:51 2012 +0200 Avoided some "magic constants". Detected by ECLAIR service nomagicc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=004c134532a33... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Wed Aug 22 15:45:11 2012 +0200 Fixed float_ieee754_half::POS_INF and float_ieee754_half::NEG_INF. They were swapped.