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.

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

Improve and fix static types and their ID and string functions #2756

Merged
merged 24 commits into from
Sep 1, 2023

Commits on Aug 30, 2023

  1. Configuration menu
    Copy the full SHA
    8e2492b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    52a7026 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    6abe32a View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    dcf26d3 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    ded9101 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    25c6ce3 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    b21688f View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    0eab597 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    c672a74 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    6e4023c View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    0367e39 View commit details
    Browse the repository at this point in the history
  12. remove unused code

    turbolent committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    97055b6 View commit details
    Browse the repository at this point in the history
  13. clean up ID/String/QualifiedString for restricted type, authorization…

    …s/accesses, and intersection type
    turbolent committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    8468bc2 View commit details
    Browse the repository at this point in the history
  14. remove unnecessary code

    turbolent committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    70886de View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    d7bb1f0 View commit details
    Browse the repository at this point in the history
  16. Configuration menu
    Copy the full SHA
    a578898 View commit details
    Browse the repository at this point in the history
  17. Configuration menu
    Copy the full SHA
    4abf980 View commit details
    Browse the repository at this point in the history
  18. improve type IDs and strings of authorizations, intersection types, a…

    …nd reference type, so it matches sema
    turbolent committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    a5e40d9 View commit details
    Browse the repository at this point in the history
  19. improve authorizations

    turbolent committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    682bc0f View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2023

  1. Configuration menu
    Copy the full SHA
    85484a1 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    703bb14 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    743d93a View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2023

  1. Configuration menu
    Copy the full SHA
    dc70745 View commit details
    Browse the repository at this point in the history
  2. remove unused field

    turbolent committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    9c733bb View commit details
    Browse the repository at this point in the history