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

Experimental support for unicode identifiers. #1407

Draft
wants to merge 20 commits into
base: master
Choose a base branch
from
Draft

Experimental support for unicode identifiers. #1407

wants to merge 20 commits into from

Commits on Mar 19, 2024

  1. First pass at unicode support

    @WardBrian
    WardBrian committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    b2ba21a View commit details
    Browse the repository at this point in the history

  2. Fast path for ASCII

    @WardBrian
    WardBrian committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    cfca484 View commit details
    Browse the repository at this point in the history

  3. Hide feature behind flag, more testing

    @WardBrian
    WardBrian committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    a966af4 View commit details
    Browse the repository at this point in the history

  4. Add flag to jenkins

    @WardBrian
    WardBrian committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    2ec1330 View commit details
    Browse the repository at this point in the history

  5. Split utf-16 tests to improve output readability

    @WardBrian
    WardBrian committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    4d14656 View commit details
    Browse the repository at this point in the history

  6. Reorganize, code-gen UCNs

    @WardBrian
    WardBrian committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    cd06dc5 View commit details
    Browse the repository at this point in the history

  7. Update CI

    @WardBrian
    WardBrian committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    430bfbb View commit details
    Browse the repository at this point in the history

  8. Also update dune-project

    @WardBrian
    WardBrian committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    fb5cf12 View commit details
    Browse the repository at this point in the history

  9. Fix jenkins?

    @WardBrian
    WardBrian committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    848b82d View commit details
    Browse the repository at this point in the history

  10. stancjs flag added

    @WardBrian
    WardBrian committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    b75e8a8 View commit details
    Browse the repository at this point in the history

  11. Update install_build_deps_windows.sh

    @WardBrian
    WardBrian committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    aa3a3bd View commit details
    Browse the repository at this point in the history

  12. Jenkins: debug

    @WardBrian
    WardBrian committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    c734177 View commit details
    Browse the repository at this point in the history

  13. Try Jenkins again

    @WardBrian
    WardBrian committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    cce3a52 View commit details
    Browse the repository at this point in the history

  14. Rebuild static

    @WardBrian
    WardBrian committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    8490153 View commit details
    Browse the repository at this point in the history

  15. More tests

    @WardBrian
    WardBrian committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    f0551fa View commit details
    Browse the repository at this point in the history

  16. Functions test

    @WardBrian
    WardBrian committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    7247f65 View commit details
    Browse the repository at this point in the history

  17. Add some notes on potential further validation 

    Likely needs more library support: dbuenzli/uucp#25
    @WardBrian
    WardBrian committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    e4e11e3 View commit details
    Browse the repository at this point in the history

  18. Rewrite with a fold

    @WardBrian
    WardBrian committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    4a0c18b View commit details
    Browse the repository at this point in the history

  19. Renames

    @WardBrian
    WardBrian committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    2865cca View commit details
    Browse the repository at this point in the history

  20. Update docker name

    @WardBrian
    WardBrian committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    450cad4 View commit details
    Browse the repository at this point in the history