Code

Update test-gen-support from master#582

Code

Merged

peterschrammel merged 12 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

peterschrammel:update-from-masterpeterschrammel/cbmc:update-from-masterCopy head branch name to clipboard

Mar 3, 2017

Commits

Commits on Feb 22, 2017

• Conversion utf8 to utf16 and pretty-printing of Java strings

  Show description for 6ef7327
  smowton

  committed
  6ef7327

  Copy full SHA for 6ef7327

• Require libstdc++ from g++-5 to build with Clang

  smowton

  committed
  0541fcd

  Copy full SHA for 0541fcd

• Rework utf16-to-ascii to avoid snprintf

  Show description for e433cd4
  smowton

  committed
  e433cd4

  Copy full SHA for e433cd4

• Style unicode.cpp/h

  Show description for 927d54a
  smowton

  committed
  927d54a

  Copy full SHA for 927d54a

• Cleaning dependencies of the string solver

  Show description for 3cb7bca
  

  romainbrenguier

  authored and

  Romain Brenguier

  committed
  3cb7bca

  Copy full SHA for 3cb7bca

Commits on Mar 1, 2017

• Merge pull request #541 from smowton/string-refine-unicode

  Show description for d1e691e
  

  Daniel Kroening

  authored
  d1e691e

  Copy full SHA for d1e691e

• Introduce java.lang.String when string-refinement is activated

  Show description for ca11bb3
  

  romainbrenguier

  authored and

  smowton

  committed
  ca11bb3

  Copy full SHA for ca11bb3

• Init string constants when refine-string disabled

  Show description for 396f66e
  smowton

  committed
  396f66e

  Copy full SHA for 396f66e

• Style and document Java string-refine integration

  smowton

  committed
  4e4fa87

  Copy full SHA for 4e4fa87

• Merge pull request #549 from romainbrenguier/string-refinement-dependencies

  Show description for 37163d8
  

  Daniel Kroening

  authored
  37163d8

  Copy full SHA for 37163d8

• Merge pull request #559 from smowton/string-refine-java-bytecode

  Show description for c8c9085
  

  Daniel Kroening

  authored
  c8c9085

  Copy full SHA for c8c9085

Commits on Mar 2, 2017

• Merge branch 'master' of github.com:diffblue/cbmc into update-from-master

  peterschrammel

  committed
  1cbd032

  Copy full SHA for 1cbd032