Code

Refactor String model class#119

Code

Merged

cyrille-artho merged 3 commits intojavapathfinder:java-10javapathfinder/jpf-core:java-10from gayanW:java-10_118gayanW/jpf-core:java-10_118Copy head branch name to clipboardJul 23, 2018

+51-22

Commits

Commits on Jul 23, 2018

• Add support for JEP 254: Compact Strings

  Show description for 9fad766
  gayanW

  committed
  9fad766

  Copy full SHA for 9fad766

• Update String#contentEquals(java.lang.CharSequence)

  Show description for ed880f4
  gayanW

  committed
  ed880f4

  Copy full SHA for ed880f4

• Fix invalid assignments of java.lang.String#hash

  Show description for 0d80f08
  gayanW

  committed
  0d80f08

  Copy full SHA for 0d80f08