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

Separate pattern for every instance of <anyElement> — fixes #631 (I hope) #632

Merged
merged 7 commits into from
Nov 9, 2023

Commits on Oct 7, 2023

  1. Fix #631 (I hope):

    Generate a different RELAX NG pattern (and reference to it) for every occurence of an anyElement element, and update tests to match. (Previously we were trying to generate one for every content model in which an anyElement occurred, but were generation one for every content model in which an anyElement element occurred only once.)
    sydb committed Oct 7, 2023
    Configuration menu
    Copy the full SHA
    522e84e View commit details
    Browse the repository at this point in the history
  2. remove some debugging code

    sydb committed Oct 7, 2023
    Configuration menu
    Copy the full SHA
    e5caa3f View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2023

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

Commits on Oct 26, 2023

  1. Finally add comment to help future maintainers with debugging 3-pass …

    …RELAX NG pattern reduction code (which I wrote > 2 weeks ago).
    sydb committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    a720792 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2023

  1. merge 'dev'

    HelenaSabel committed Oct 28, 2023
    Configuration menu
    Copy the full SHA
    c8b088e View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d066194 View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2023

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