Code

Unicode support cleanup#868

Code

Merged

kroening merged 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

forejtv:feature/unicode-cleanupCopy head branch name to clipboard

Apr 27, 2017

Commits

Commits on Apr 25, 2017

• Remove an unused conversion function that is broken anyway, and tidy utf32 to utf8.

  forejtv

  committed
  549e589

  Copy full SHA for 549e589

• Change utf8 to utf16 conversion to not require codecvt.

  Show description for 49b77ce
  forejtv

  committed
  49b77ce

  Copy full SHA for 49b77ce