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.