Code

RFC: Unicode strings and characters#13

Code

Open

robin-aws wants to merge 15 commits intodafny-lang:masterdafny-lang/rfcs:masterfrom robin-aws:unicode-stringsrobin-aws/dafny-rfcs:unicode-stringsCopy head branch name to clipboard

+445

Commits

Commits on Jul 7, 2022

• First start

  robin-aws

  committed
  f64cd44

  Copy full SHA for f64cd44

Commits on Jul 12, 2022

• Finished front half

  robin-aws

  committed
  098ccbd

  Copy full SHA for 098ccbd

• Progress

  robin-aws

  committed
  efc0ba8

  Copy full SHA for efc0ba8

Commits on Jul 13, 2022

• Most alternatives done

  robin-aws

  committed
  2c5ae54

  Copy full SHA for 2c5ae54

• Remaining alternatives todo

  robin-aws

  committed
  1c9ecda

  Copy full SHA for 1c9ecda

Commits on Jul 14, 2022

• Everything filled in

  robin-aws

  committed
  9a636ed

  Copy full SHA for 9a636ed

• Trailing fix ups

  robin-aws

  committed
  5f7d0e0

  Copy full SHA for 5f7d0e0

Commits on Aug 2, 2022

• Apply suggestions from code review

  Show description for d347572
  

  3 peopleauthored
  d347572

  Copy full SHA for d347572

• Half-open intervals

  robin-aws

  committed
  16f6a97

  Copy full SHA for 16f6a97

• Clarified representation of string literals

  robin-aws

  committed
  04d2553

  Copy full SHA for 04d2553

• More details in Prior Art

  robin-aws

  committed
  931d679

  Copy full SHA for 931d679

Commits on Sep 26, 2022

• Don’t support \uXXXX with \unicodeChar:1

  robin-aws

  committed
  3b87491

  Copy full SHA for 3b87491

• Addressing remaining comments

  robin-aws

  committed
  30c7ea7

  Copy full SHA for 30c7ea7

• Lingering edits

  robin-aws

  committed
  cbb491e

  Copy full SHA for cbb491e

Commits on Sep 28, 2022

• Apply suggestions from code review

  Show description for 560f395
  

  robin-aws

  and

  davidcok

  authored
  560f395

  Copy full SHA for 560f395