13 May
2009
13 May
'09
8:14 p.m.
Module: ppl/ppl Branch: bounded_arithmetic Commit: 2ee98075c306fdfa4051cb88adb49e68d3123b7d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ee98075c306f...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed May 13 20:13:31 2009 +0200
Checked number policy parameter `check_nan_result' renamed `fpu_check_nan_result'.
---
src/Checked_Number.defs.hh | 8 ++++---- src/Coefficient.types.hh | 2 +- src/checked.defs.hh | 2 +- src/checked_float.inlines.hh | 38 +++++++++++++++++++------------------- 4 files changed, 25 insertions(+), 25 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2ee98075c...