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.