Pull request/float to string conversion#1017

Merged

romainbrenguier merged 15 commits intodiffblue:test-gen-supportfrom

romainbrenguier:pull-request/float-to-string-conversion

Jun 30, 2017

Commits on Jun 30, 2017

Correcting initialization of floatbv_typecast_exprt
romainbrenguier
committed
Adding id for scientific notation of floats
romainbrenguier
committed
New file for conversion between floats and strings
romainbrenguier
committed
Conversion between string and float moved into a new file
romainbrenguier
committed
Improving the float to string conversion in the preprocessing
romainbrenguier
committed
Improve the documentation of the string preprocessing
romainbrenguier
committed
Allocate array in String result of String.valueOf(F)
romainbrenguier
committed
Adding test for the String.valueOf(F) function
romainbrenguier
committed
Comment corrections in string_constraint_generator_concat
romainbrenguier
committed
Changing assert for PRECONDITION and UNREACHABLE in float to string conversion
romainbrenguier
committed
Comment corrections in string_constraint_generator_float
romainbrenguier
committed
Renaming add_axioms_from_float to add_axioms_for_string_of_float
romainbrenguier
committed
Style improvements in string_constraint_generator_float.cpp
romainbrenguier
committed
Update comments in string_constraint_generator_valueof.cpp
romainbrenguier
committed
Adding tests for String.valueOf float
romainbrenguier
committed