
10 Mar
2010
10 Mar
'10
3:25 p.m.
Andrew Sutton wrote:
As a quick followup, we've also had SafeInt proposed as an idea a couple of times. The purpose of this was to trap (except?) overflow and underflow. Would this be a worthwhile project?
Such work is currently being done here: http://www-pequan.lip6.fr/cadna// Current interface is in C and FORRAN but they started writing a C++ tempalte based binding. Algorithms include overflow/underflow as well as roundign errors an cancellation detection. So maybe if this turns into a GSoC project, such reference could be used as a startng point.