CBMC

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

  1. Git
  2. lp:cbmc
  3. pull-request/float-to-string-conversion
Last commit made on 2017-06-26
Get this branch:
git clone -b pull-request/float-to-string-conversion https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
pull-request/float-to-string-conversion
Repository:
lp:cbmc

Recent commits

34936a1... by Romain Brenguier

Editing TODO in string of float which should be part of specifications

681a59e... by Romain Brenguier

Replacing hexadecimal float number by decimal

Hexadecimals are not supported by all compilers

8a80801... by Romain Brenguier

Replacing magnitude by fraction and improving comments

5ed5782... by Romain Brenguier

Update comments in string_constraint_generator_valueof.cpp

b02d744... by Romain Brenguier

Style improvements in string_constraint_generator_float.cpp

Defining a constant for the maximal value not using scientific notation

Adding precondition on the max_size given to fractional part

Renaming i argument to int_expr

Making comments correspond to added axioms in float to string conversion

2fa69d8... by Romain Brenguier

Renaming add_axioms_from_float to add_axioms_for_string_of_float

This function name is more explicit about what the function does

1285c34... by Romain Brenguier

Comment corrections in string_constraint_generator_float

5644864... by Romain Brenguier

Changing assert for PRECONDITION and UNREACHABLE in float to string conversion

f2dc179... by Romain Brenguier

Comment corrections in string_constraint_generator_concat

b7fb827... by Romain Brenguier

Adding test for the String.valueOf(F) function

Add and enable a test for a float to string conversion.