Code

Load string functions on demand#1644

Code

Merged

smowton merged 7 commits intodiffblue:developdiffblue/cbmc:developfrom

NathanJPhillips:feature/string-functions-on-demandNathanJPhillips/cbmc:feature/string-functions-on-demandCopy head branch name to clipboard

Dec 7, 2017

Commits

Commits on Dec 5, 2017

• Rename things to better reflect true meaning

  NathanJPhillips

  committed
  c69b00d

  Copy full SHA for c69b00d

• Use optionalt instead of safe_pointer

  NathanJPhillips

  committed
  4b245f8

  Copy full SHA for 4b245f8

• Don't store pointers to symbols in map

  NathanJPhillips

  committed
  0ac4d28

  Copy full SHA for 0ac4d28

• Replace map to pair with a more specialized type

  Show description for ada4475
  NathanJPhillips

  committed
  ada4475

  Copy full SHA for ada4475

• Make string solver functions get converted correctly first time

  Show description for d556380
  NathanJPhillips

  committed
  d556380

  Copy full SHA for d556380

• Initialise string solver function parameter names

  Show description for 0e71658
  NathanJPhillips

  committed
  0e71658

  Copy full SHA for 0e71658

Commits on Dec 6, 2017

• Collect string solver function calls

  Show description for ea7646b
  NathanJPhillips

  committed
  ea7646b

  Copy full SHA for ea7646b