URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c07572474d4d0... Merge: 8ad05a7fa1293c23494ebd8c1a8222c8cc39dc0e 089e2db3d5f73dc3ad5c1545dd777671ac583f58 Author: Roberto Bagnara bagnara@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=089e2db3d5f73... Merge: 99eaa536d87db8c8a5b34ab451196d11a57aa6a1 537a4928e00e2b811822089da4cf12a1dd4344cf Author: Roberto Bagnara bagnara@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=99eaa536d87db... Author: Roberto Amadini r.amadini@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=bdae3bb7bff52... Author: Roberto Amadini r.amadini@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=b8ac7e594ab0b... Author: Roberto Amadini r.amadini@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=945e8f14d1300... Author: Roberto Amadini r.amadini@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=7c0b14249c7cd... Author: Roberto Amadini r.amadini@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=86cb551f54cb9... Author: Roberto Amadini r.amadini@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=1e75fbc5ddcda... Author: Fabio <Fabio@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=01e3978bbebd6... Merge: 3f6a0a0624328d63cdef17da7e06a8bd31e1f93e eab71496fec3819d941c5c444cb09041aea7eb0f Author: Fabio <Fabio@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=3f6a0a0624328... Author: Fabio <Fabio@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=eab71496fec38... Author: Roberto Amadini r.amadini@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=2287f9b3cc251... Author: Roberto Amadini r.amadini@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=5f573312d066d... Author: Roberto Amadini r.amadini@virgilio.it Date: Mon Feb 15 23:32:09 2010 +0100

Added a first implementation of Cast_Floating_Point_Expression classes.