[PPL-devel] [GIT] ppl/ppl(ppl-1_0-branch): New commits

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6cf06825bbe8f3434555d9bb697e42621648d552
Merge: da09734808a5377dfd91b691d2cfa41f13049489 6d75839dc6ad19ce268208bd459ba9724efaa562
Author: Roberto Bagnara <bagnara at 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=6d75839dc6ad19ce268208bd459ba9724efaa562
Author: Enea Zaffanella <zaffanella at 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=ec402f20b005730cac93521b9ce89718da352e00
Author: Enea Zaffanella <zaffanella at 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=cd98130f36755b94076e4a870bf399a8cac4b873
Author: Enea Zaffanella <zaffanella at 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=a9c8f53c83cc54b1a29e7a0df6ff691493364152
Author: Enea Zaffanella <zaffanella at 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=0f82172b6a51e2695d730f9f52e1becfd863583d
Author: Enea Zaffanella <zaffanella at 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=a1141d90a6f39a0d473d1489ed5075ec6cb3739b
Author: Roberto Bagnara <bagnara at 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=70be8fa73540f064559b31be993b8f36a212556f
Author: Roberto Bagnara <bagnara at 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=685ee646b27f9f757e912ff3ae53610332292c35
Author: Abramo Bagnara <abramo.bagnara at 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=55575dcac0fa329b196684941eded7123e3c34ff
Author: Roberto Bagnara <bagnara at 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=004c134532a33753997d6a2a5a4b9f8a09ff4622
Author: Roberto Bagnara <bagnara at 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.