Code

String refine option#429

Code

Closed

romainbrenguier wants to merge 15 commits intodiffblue:masterdiffblue/cbmc:masterfrom

romainbrenguier:string-refine-optionromainbrenguier/cbmc:string-refine-optionCopy head branch name to clipboard

Commits

Commits on Mar 17, 2017

• Preprocessing of goto programs for string refinement

  romainbrenguier

  committed
  1aede78

  Copy full SHA for 1aede78

• Moving is_java_string_type functions to string_preprocess

  Show description for 3a2e210
  romainbrenguier

  committed
  3a2e210

  Copy full SHA for 3a2e210

• Moving refined_string_type to util

  Show description for 70af9ce
  romainbrenguier

  committed
  70af9ce

  Copy full SHA for 70af9ce

• Removed distinction between c string type and refined string type

  romainbrenguier

  committed
  2929d7f

  Copy full SHA for 2929d7f

• Removed mention of c string type

  Show description for 5cb0e5e
  romainbrenguier

  committed
  5cb0e5e

  Copy full SHA for 5cb0e5e

Commits on Mar 22, 2017

• Making add_string_type more generic

  Show description for 32cecfb
  romainbrenguier

  committed
  32cecfb

  Copy full SHA for 32cecfb

• new identifier for converting char pointer to array

  romainbrenguier

  committed
  c97d82f

  Copy full SHA for c97d82f

• Many corrections in preprocessing of strings

  Show description for 37650c9
  romainbrenguier

  committed
  37650c9

  Copy full SHA for 37650c9

• Many corrections in string refinement

  Show description for b75d745
  romainbrenguier

  committed
  b75d745

  Copy full SHA for b75d745

• Need to assign length before calls since it can be overwritten by functions with side-effect

  romainbrenguier

  committed
  03c5660

  Copy full SHA for 03c5660

• Adding refined_string_type to util Makefile

  romainbrenguier

  committed
  b01c356

  Copy full SHA for b01c356

• Adding string preprocessing of goto-programs to Makefile

  romainbrenguier

  committed
  bdabff7

  Copy full SHA for bdabff7

• Adding string solver cpp files to Makefile

  romainbrenguier

  committed
  1ca18b5

  Copy full SHA for 1ca18b5

• Adding the string refinement option to the CBMC solvers

  Show description for 2b83d48
  romainbrenguier

  committed
  2b83d48

  Copy full SHA for 2b83d48

Commits on Mar 27, 2017

• Change option name to --refine-strings

  

  Joel Allred

  authored and

  romainbrenguier

  committed
  fb91e6d

  Copy full SHA for fb91e6d