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

[GR-51523] [GR-51674] TRegex bug fixes. #8282

Merged
merged 7 commits into from
Jan 31, 2024
Merged

[GR-51523] [GR-51674] TRegex bug fixes. #8282

merged 7 commits into from
Jan 31, 2024

Commits on Jan 23, 2024

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

Commits on Jan 29, 2024

  1. Configuration menu
    Copy the full SHA
    d854e2a View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    448f5e2 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    b107719 View commit details
    Browse the repository at this point in the history

Commits on Jan 30, 2024

  1. When buildingDFA, use deduplication instead of insideLoops to ensure …

    …termination
    
    This is used only for flavors which need extraEmptyLoopIterations. By
    ignoring insideLoops, we can have as many extra empty loop iterations as
    is needed and termination is ensured by deduplication. In order for
    deduplication to work, we have to bound the number of quantifier guards
    that can be present in a transition. We do this by further normalizing
    the enterZeroWidth quantifier guard.
    jirkamarsik committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    b0dbd88 View commit details
    Browse the repository at this point in the history
  2. Style fixes

    jirkamarsik committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    708d81c View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    a0dd346 View commit details
    Browse the repository at this point in the history