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

have the TermList default constructor zero-initialise #541

Merged
merged 3 commits into from
Apr 8, 2024

Commits on Apr 8, 2024

  1. have the TermList default constructor zero-initialise

    MichaelRawson authored and Martin Suda committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    584e8f3 View commit details
    Browse the repository at this point in the history
  2. initialise to empty() rather than zero

    MichaelRawson authored and Martin Suda committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    a5c4d03 View commit details
    Browse the repository at this point in the history
  3. also remove SPEC_UPPER_BOUND, useless

    MichaelRawson authored and Martin Suda committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    7641014 View commit details
    Browse the repository at this point in the history