Commits

Branch selector

 pull-request/float-to-string-conversion

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 26, 2017

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

  romainbrenguier

  committed
  34936a1

  Copy full SHA for 34936a1

• Replacing hexadecimal float number by decimal

  Show description for 681a59e
  romainbrenguier

  committed
  681a59e

  Copy full SHA for 681a59e

• Replacing magnitude by fraction and improving comments

  romainbrenguier

  committed
  8a80801

  Copy full SHA for 8a80801

• Update comments in string_constraint_generator_valueof.cpp

  romainbrenguier

  committed
  5ed5782

  Copy full SHA for 5ed5782

• Style improvements in string_constraint_generator_float.cpp

  Show description for b02d744
  romainbrenguier

  committed
  b02d744

  Copy full SHA for b02d744

• Renaming add_axioms_from_float to add_axioms_for_string_of_float

  Show description for 2fa69d8
  romainbrenguier

  committed
  2fa69d8

  Copy full SHA for 2fa69d8

• Comment corrections in string_constraint_generator_float

  romainbrenguier

  committed
  1285c34

  Copy full SHA for 1285c34

• Changing assert for PRECONDITION and UNREACHABLE in float to string conversion

  romainbrenguier

  committed
  5644864

  Copy full SHA for 5644864

• Comment corrections in string_constraint_generator_concat

  romainbrenguier

  committed
  f2dc179

  Copy full SHA for f2dc179

• Adding test for the String.valueOf(F) function

  Show description for b7fb827
  romainbrenguier

  committed
  b7fb827

  Copy full SHA for b7fb827

• Allocate array in String result of String.valueOf(F)

  Show description for 7cdfa86
  romainbrenguier

  committed
  7cdfa86

  Copy full SHA for 7cdfa86

• Improve the documentation of the string preprocessing

  Show description for e7a5980
  romainbrenguier

  committed
  e7a5980

  Copy full SHA for e7a5980

• Improving the float to string conversion in the preprocessing

  Show description for f04f792
  romainbrenguier

  committed
  f04f792

  Copy full SHA for f04f792

• Conversion between string and float moved into a new file

  Show description for a7e0f03
  romainbrenguier

  committed
  a7e0f03

  Copy full SHA for a7e0f03

• New file for conversion between floats and strings

  Show description for f0bd35b
  romainbrenguier

  committed
  f0bd35b

  Copy full SHA for f0bd35b

• Adding id for scientific notation of floats

  romainbrenguier

  committed
  96840c5

  Copy full SHA for 96840c5

• Correcting initialization of floatbv_typecast_exprt

  Show description for 6053a77
  romainbrenguier

  committed
  6053a77

  Copy full SHA for 6053a77

• Merge pull request #1036 from romainbrenguier/feature/string-to-lower-case

  Show description for 71ace43
  romainbrenguier

  authored
  71ace43

  Copy full SHA for 71ace43

• Merge pull request #992 from romainbrenguier/bugfix/string-builder-append-object#442

  Show description for 0610b0d
  romainbrenguier

  authored
  0610b0d

  Copy full SHA for 0610b0d

Commits on Jun 23, 2017

• Ordering functions in alphabetic order in initialize conversion table

  romainbrenguier

  committed
  fdb6f2e

  Copy full SHA for fdb6f2e

• Removing comments on non-supported functions in string preprocessing

  Show description for a95e8dc
  romainbrenguier

  committed
  a95e8dc

  Copy full SHA for a95e8dc

• Remove functions that are destined to be modelled in Java

  Show description for b0b21bb
  romainbrenguier

  committed
  b0b21bb

  Copy full SHA for b0b21bb

• Merge pull request #1051 from smowton/smowton/fix/strings_debug_output

  Show description for 9ac5dff
  smowton

  authored
  9ac5dff

  Copy full SHA for 9ac5dff

• Merge pull request #1026 from romainbrenguier/bugfix/string-to-char-array#443

  Show description for fbe8be8
  

  Daniel Kroening

  authored
  fbe8be8

  Copy full SHA for fbe8be8

• Merge pull request #1021 from romainbrenguier/bugfix/object-get-class#272

  Show description for 70a9806
  

  Daniel Kroening

  authored
  70a9806

  Copy full SHA for 70a9806

Commits on Jun 22, 2017

• Merge pull request #922 from romainbrenguier/pull-request/arrays-in-trace

  Show description for 05875e1
  romainbrenguier

  authored
  05875e1

  Copy full SHA for 05875e1

• Always pass namespace to from_expr

  Show description for bc968b0
  smowton

  committed
  bc968b0

  Copy full SHA for bc968b0

• Better test for String.toCharArray

  Show description for 0619f05
  romainbrenguier

  committed
  0619f05

  Copy full SHA for 0619f05

• Improvements in the code for String.toCharArray in preprocessing

  Show description for c745aa7
  romainbrenguier

  committed
  c745aa7

  Copy full SHA for c745aa7

Commits on Jun 21, 2017

• Removing overflow check in quantified formula

  Show description for 50be530
  romainbrenguier

  committed
  50be530

  Copy full SHA for 50be530

• Declaring string expression symbol for each string_exprt

  Show description for fbb5724
  romainbrenguier

  committed
  fbb5724

  Copy full SHA for fbb5724

• Documentation for json_goto_trace in doxygen format

  romainbrenguier

  committed
  f950ffc

  Copy full SHA for f950ffc

• Adding test to check that data field of strings are set in json

  romainbrenguier

  committed
  5cfa413

  Copy full SHA for 5cfa413

• Simplifying array access and expressions with pointer offsets

  Show description for f4fa778
  romainbrenguier

  committed
  f4fa778

  Copy full SHA for f4fa778

• Simplifying expressions of the form &array[0] in json

  Show description for 02b7942
  romainbrenguier

  committed
  02b7942

  Copy full SHA for 02b7942

Pagination

Previous

Next