Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

RFC: Unicode strings and characters #13

Open
wants to merge 15 commits into
base: master
Choose a base branch
from
Open

RFC: Unicode strings and characters #13

wants to merge 15 commits into from

Commits on Jul 7, 2022

  1. First start

    @robin-aws
    robin-aws committed Jul 7, 2022
    Configuration menu
    Copy the full SHA
    f64cd44 View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2022

  1. Finished front half

    @robin-aws
    robin-aws committed Jul 12, 2022
    Configuration menu
    Copy the full SHA
    098ccbd View commit details
    Browse the repository at this point in the history

  2. Progress

    @robin-aws
    robin-aws committed Jul 12, 2022
    Configuration menu
    Copy the full SHA
    efc0ba8 View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2022

  1. Most alternatives done

    @robin-aws
    robin-aws committed Jul 13, 2022
    Configuration menu
    Copy the full SHA
    2c5ae54 View commit details
    Browse the repository at this point in the history

  2. Remaining alternatives todo

    @robin-aws
    robin-aws committed Jul 13, 2022
    Configuration menu
    Copy the full SHA
    1c9ecda View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2022

  1. Everything filled in

    @robin-aws
    robin-aws committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    9a636ed View commit details
    Browse the repository at this point in the history

  2. Trailing fix ups

    @robin-aws
    robin-aws committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    5f7d0e0 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2022

  1. Apply suggestions from code review 

    Co-authored-by: Rustan Leino <[email protected]>
Co-authored-by: Clément Pit-Claudel <[email protected]>
    @robin-aws @RustanLeino @cpitclaudel
    3 people committed Aug 2, 2022
    Configuration menu
    Copy the full SHA
    d347572 View commit details
    Browse the repository at this point in the history

  2. Half-open intervals

    @robin-aws
    robin-aws committed Aug 2, 2022
    Configuration menu
    Copy the full SHA
    16f6a97 View commit details
    Browse the repository at this point in the history

  3. Clarified representation of string literals

    @robin-aws
    robin-aws committed Aug 2, 2022
    Configuration menu
    Copy the full SHA
    04d2553 View commit details
    Browse the repository at this point in the history

  4. More details in Prior Art

    @robin-aws
    robin-aws committed Aug 2, 2022
    Configuration menu
    Copy the full SHA
    931d679 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2022

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

    @robin-aws
    robin-aws committed Sep 26, 2022
    Configuration menu
    Copy the full SHA
    3b87491 View commit details
    Browse the repository at this point in the history

  2. Addressing remaining comments

    @robin-aws
    robin-aws committed Sep 26, 2022
    Configuration menu
    Copy the full SHA
    30c7ea7 View commit details
    Browse the repository at this point in the history

  3. Lingering edits

    @robin-aws
    robin-aws committed Sep 26, 2022
    Configuration menu
    Copy the full SHA
    cbb491e View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2022

  1. Apply suggestions from code review 

    Co-authored-by: David Cok <[email protected]>
    @robin-aws @davidcok
    robin-aws and davidcok committed Sep 28, 2022
    Configuration menu
    Copy the full SHA
    560f395 View commit details
    Browse the repository at this point in the history