Skip to content

Check for duplicates - #184

Draft
CIGbalance wants to merge 18 commits into
mainfrom
update/validate
Draft

Check for duplicates#184
CIGbalance wants to merge 18 commits into
mainfrom
update/validate

Conversation

@CIGbalance

@CIGbalance CIGbalance commented Apr 28, 2026

Copy link
Copy Markdown
Collaborator

Added a group filter now, need to actually update tests and update github action. But at least it is very modifiable what should be checked for duplicates (and what should be done with that). Current plan for default setting:

  • Error on duplicate implementation link
  • Warning on duplicate reference, since that is still a field
  • Error on duplicate name across generator + suite

Can probably remove the validate.py - at least the extra checks. they should move to the schema validator. Needs proper testing, last time just did merging

olafmersmann and others added 15 commits April 22, 2026 15:18
Rudimentary design document and reference for the new schema that attempts to
summarize the discussion at the OPL hackathon in April. The core structure was
written by the author, then fleshed out using Claude and finally reviewed by
again the author.

Co-Authored-By: Claude Opus 4.7
Adds an LLM generated generator for the problems defined in the old
problem.yaml to generate a new style problem.yaml. For future fixes, it is
probably best to update examples/problem.py, regenerate the yaml and then merge
it with the old yaml by replacing entries based on id. That way additional
entries added later are not clobbbered.
Adds an LLM generated generator for the problems defined in the old
problem.yaml to generate a new style problem.yaml. For future fixes, it is
probably best to update examples/problem.py, regenerate the yaml and then merge
it with the old yaml by replacing entries based on id. That way additional
entries added later are not clobbbered.
@CIGbalance CIGbalance changed the title Update/validate Check for duplicates Jul 28, 2026
@CIGbalance
CIGbalance changed the base branch from push-zmvqzzrwnlup to main July 28, 2026 13:52
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.

2 participants