Code

Refactor functions in string solver#1430

Code

Merged

kroening merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:refactor/gather_indicesromainbrenguier/cbmc:refactor/gather_indicesCopy head branch name to clipboard

Nov 2, 2017

Commits

Commits on Nov 2, 2017

• Refactor gather_indices to use for_each instead of visitor

  romainbrenguier

  committed
  e125e8a

  Copy full SHA for e125e8a

• Correct constraints added for char_set

  Show description for 9d1aa99
  romainbrenguier

  committed
  9d1aa99

  Copy full SHA for 9d1aa99

• Refactor universal_only_in_index to use expression iterators

  romainbrenguier

  committed
  f5991ee

  Copy full SHA for f5991ee

• Style: Disabling clang-format in get

  Show description for d378980
  romainbrenguier

  committed
  d378980

  Copy full SHA for d378980