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

Rename refactoring for grammars #418

Merged
merged 34 commits into from
Oct 11, 2024
Merged

Commits on Aug 20, 2024

  1. Configuration menu
    Copy the full SHA
    08dfef9 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    fde839a View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    95e4f5e View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    04b0eec View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    953887f View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    850b6b3 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    fa6f779 View commit details
    Browse the repository at this point in the history
  8. Merge remote-tracking branch 'origin/feature/rename-refactoring/cross…

    …-module' into feature/rename-refactoring/grammars
    toinehartman committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    91a1c75 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2024

  1. Configuration menu
    Copy the full SHA
    218ab24 View commit details
    Browse the repository at this point in the history
  2. Add metavariable test.

    toinehartman committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    2692f92 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    44f4e6c View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2024

  1. Configuration menu
    Copy the full SHA
    1067f86 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2024

  1. Configuration menu
    Copy the full SHA
    786a6b7 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    0dc06dd View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    7d6a26b View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    e37ca5b View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    f8e6722 View commit details
    Browse the repository at this point in the history
  6. Fix memo annotations.

    toinehartman committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    1d018b5 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    d8aecb8 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    cf68cfd View commit details
    Browse the repository at this point in the history
  9. Remove unused import.

    toinehartman committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    9a7437f View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    09599df View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2024

  1. Apply suggestions from code review

    h/t @rodinaarssen
    
    Co-authored-by: Rodin Aarssen <rodin.aarssen@swat.engineering>
    toinehartman and rodinaarssen authored Oct 2, 2024
    Configuration menu
    Copy the full SHA
    cbf42c0 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    86ae6cc View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    c66c1d1 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    3250903 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2024

  1. Configuration menu
    Copy the full SHA
    537db4c View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    b72d60d View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2024

  1. Configuration menu
    Copy the full SHA
    2dee9f0 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    489b9fb View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    ed782c3 View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2024

  1. Configuration menu
    Copy the full SHA
    d91efd5 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    825d30c View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2024

  1. Configuration menu
    Copy the full SHA
    ff97330 View commit details
    Browse the repository at this point in the history