Code

Support Unicode-aware regex#4365

Code

Merged

rv-jenkins merged 12 commits intodevelopruntimeverification/k:developfrom regex-unicoderuntimeverification/k:regex-unicodeCopy head branch name to clipboardMay 22, 2024

+540-160

Commits

Commits on May 18, 2024

• Update RegexTranformer to flatten nested concats

  Scott-Guest

  committed
  0dcb0a3

  Copy full SHA for 0dcb0a3

Commits on May 20, 2024

• Make RegexBody.CharClass.Range store codepoints rather than RegexBody.CharClass.Char instances

  Scott-Guest

  committed
  cb92b9e

  Copy full SHA for cb92b9e

• Convert non-ASCII characters in regex to a Flex 8-bit scanner compatible form

  Scott-Guest

  committed
  ee057f9

  Copy full SHA for ee057f9

• Implement visitor for Regex

  Scott-Guest

  committed
  a594bb1

  Copy full SHA for a594bb1

• Make checkLineAnchors sentence-based

  Scott-Guest

  committed
  fdd39a0

  Copy full SHA for fdd39a0

• Refactor CheckLexicalIdentifiers to use RegexVisitor

  Scott-Guest

  committed
  f673951

  Copy full SHA for f673951

• Rename CheckLexicalIdentifiers to CheckRegex

  Scott-Guest

  committed
  92cede2

  Copy full SHA for 92cede2

• Error if there is non-ASCII in negated char classes or char class ranges

  Scott-Guest

  committed
  9732af0

  Copy full SHA for 9732af0

• Check that numeric and character class ranges are well-formed

  Scott-Guest

  committed
  78bea24

  Copy full SHA for 78bea24

• Update comment

  Scott-Guest

  committed
  3d30861

  Copy full SHA for 3d30861

Commits on May 21, 2024

• Merge branch 'develop' into regex-unicode

  Baltoli

  authored
  5766733

  Copy full SHA for 5766733

Commits on May 22, 2024

• Merge branch 'develop' into regex-unicode

  Scott-Guest

  authored
  aaaf2f8

  Copy full SHA for aaaf2f8