[PPL-devel] [GIT] ppl/ppl(master): New commits

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c07572474d4d02344950138e0a68c049f9a02c62
Merge: 8ad05a7fa1293c23494ebd8c1a8222c8cc39dc0e 089e2db3d5f73dc3ad5c1545dd777671ac583f58
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Feb 22 14:48:11 2010 +0100

    Merge branch 'floating_point'

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=089e2db3d5f73dc3ad5c1545dd777671ac583f58
Merge: 99eaa536d87db8c8a5b34ab451196d11a57aa6a1 537a4928e00e2b811822089da4cf12a1dd4344cf
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Feb 22 10:03:52 2010 +0100

    Merge branch 'master' into floating_point

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99eaa536d87db8c8a5b34ab451196d11a57aa6a1
Author: Roberto Amadini <r.amadini at virgilio.it>
Date:   Sat Feb 20 16:49:27 2010 +0100

    Floating_Point_Expression::absolute_error is now a symmetric interval.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bdae3bb7bff529ab9864b997f66507f20db38719
Author: Roberto Amadini <r.amadini at virgilio.it>
Date:   Sat Feb 20 14:39:08 2010 +0100

    Use build method instead of join_assign to build convex intervals.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8ac7e594ab0bd3e876529339039bc04b9c85b62
Author: Roberto Amadini <r.amadini at virgilio.it>
Date:   Thu Feb 18 17:33:36 2010 +0100

    Changed linearize method interface for Floating Point Expressions.
    Now, it has a bool return type which indicates if the linearization
    succeeded (or not). Thus, Linearization_Failed exception class has
    been removed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=945e8f14d1300e749c15d07eb1f3c5f853ad784a
Author: Roberto Amadini <r.amadini at virgilio.it>
Date:   Thu Feb 18 13:55:09 2010 +0100

    Fixed comments.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c0b14249c7cdb0b190267d0f4d96da6f45e7f79
Author: Roberto Amadini <r.amadini at virgilio.it>
Date:   Thu Feb 18 13:27:55 2010 +0100

    Improved comments.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=86cb551f54cb94e1aa1efd9dfb29c86cb7ffab2b
Author: Roberto Amadini <r.amadini at virgilio.it>
Date:   Thu Feb 18 00:06:40 2010 +0100

    Added and fixed documentation for Var_FP_Expression.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e75fbc5ddcda7410ab9a64d7e213bbc2bb20eca
Author: Fabio <Fabio at C1P4.(none)>
Date:   Wed Feb 17 17:02:05 2010 +0100

    Added "affine from relation" section into definitions.dox.
    Fixed a reference to "affine from relation".

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01e3978bbebd69d01c006ac36404c5a344cd71ab
Merge: 3f6a0a0624328d63cdef17da7e06a8bd31e1f93e eab71496fec3819d941c5c444cb09041aea7eb0f
Author: Fabio <Fabio at C1P4.(none)>
Date:   Wed Feb 17 10:25:20 2010 +0100

    Merge branch 'floating_point' of ssh://git.cs.unipr.it/git/ppl/ppl into floating_point

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f6a0a0624328d63cdef17da7e06a8bd31e1f93e
Author: Fabio <Fabio at C1P4.(none)>
Date:   Wed Feb 17 10:01:15 2010 +0100

    Fixed a type error.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eab71496fec3819d941c5c444cb09041aea7eb0f
Author: Roberto Amadini <r.amadini at virgilio.it>
Date:   Tue Feb 16 15:11:53 2010 +0100

    Fixed Cast_Floating_Point_Expression.inlines.hh and added a test.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2287f9b3cc2518e14d25f41521a673c0398385f9
Author: Roberto Amadini <r.amadini at virgilio.it>
Date:   Mon Feb 15 23:40:43 2010 +0100

    Added classes.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f573312d066d1be8ab101e3675703c716deaf58
Author: Roberto Amadini <r.amadini at virgilio.it>
Date:   Mon Feb 15 23:32:09 2010 +0100

    Added a first implementation of Cast_Floating_Point_Expression classes.