Skip to content

Fix complexity overwrite (see #35) - #36

Merged
Datseris merged 3 commits into
mainfrom
35-overwrites-complexity
Aug 4, 2026
Merged

Datseris merged 3 commits into
mainfrom
35-overwrites-complexity

Conversation

@gabriel-ferr

Copy link
Copy Markdown
Member
  • Fix the complexity function overwrites.
  • Add a using ComplexityMeasures to runtests.jl to check future overwrites.

@gabriel-ferr gabriel-ferr linked an issue Aug 4, 2026 that may be closed by this pull request
@gabriel-ferr gabriel-ferr mentioned this pull request Aug 4, 2026
Datseris
Datseris previously approved these changes Aug 4, 2026

@Datseris Datseris left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great work @gabriel-ferr , thanks a lot for the quick fix! Remember, whenever you do a PR that fixes a bug, increase the Project.toml patch version. Each time a PR is merged, a new release should be tagged!

@Datseris
Datseris merged commit f694a8f into main Aug 4, 2026
@Datseris
Datseris deleted the 35-overwrites-complexity branch August 4, 2026 17:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Overwrites complexity

2 participants