Code

[DO NOT MERGE] String refine unicode#540

Code

Closed

smowton wants to merge 7 commits intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:string-refine-unicodesmowton/cbmc:string-refine-unicodeCopy head branch name to clipboard

Commits

Commits on Feb 13, 2017

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

  Show description for 0700bdb
  smowton

  committed
  0700bdb

  Copy full SHA for 0700bdb

• Update travis file for using libc++ with clang compiler

  

  Romain Brenguier

  authored and

  smowton

  committed
  37ca8de

  Copy full SHA for 37ca8de

• Requiering libc++ in travis file

  

  romainbrenguier

  authored and

  smowton

  committed
  a77a85a

  Copy full SHA for a77a85a

• Ask Clang to use libstdc++ instead of libc++

  

  romainbrenguier

  authored and

  smowton

  committed
  3fd0736

  Copy full SHA for 3fd0736

• Requiering package libstdc++-5-dev

  

  romainbrenguier

  authored and

  smowton

  committed
  6bda7dc

  Copy full SHA for 6bda7dc

• Fix travis.yml

  smowton

  committed
  03166c3

  Copy full SHA for 03166c3

• Switch to libc++

  smowton

  committed
  e48731b

  Copy full SHA for e48731b