cbmc - Revision 2465: /releases/cbmc-4.1/src/floatbv

• ..
• Makefile
• float_approximation.cpp
• float_approximation.h
• float_utils.cpp
• float_utils.h
• float_utils_test.cpp