feat(include-qualified): allow renaming directories with (include_subdirs qualified) - #13691
Merged
anmonteiro merged 19 commits intoSep 17, 2026
Merged
Conversation
anmonteiro
force-pushed
the
anmonteiro/include-qualified-rename
branch
from
March 1, 2026 06:59
41011d1 to
4d36d7e
Compare
anmonteiro
changed the title
(include_subdirs qualiied)(include_subdirs qualified)
anmonteiro
force-pushed
the
anmonteiro/include-qualified-rename
branch
from
April 27, 2026 04:34
4d36d7e to
8051e4d
Compare
anmonteiro
force-pushed
the
anmonteiro/include-qualified-rename
branch
from
May 23, 2026 08:50
096e9e1 to
1ddf25d
Compare
anmonteiro
force-pushed
the
anmonteiro/include-qualified-rename
branch
2 times, most recently
from
June 27, 2026 08:38
2a4bd9a to
dba6bd7
Compare
anmonteiro
force-pushed
the
anmonteiro/include-qualified-rename
branch
5 times, most recently
from
June 28, 2026 01:51
a125433 to
731a184
Compare
anmonteiro
force-pushed
the
anmonteiro/include-qualified-rename
branch
from
July 8, 2026 05:10
7fa082a to
5654043
Compare
anmonteiro
force-pushed
the
anmonteiro/include-qualified-rename
branch
from
July 27, 2026 01:36
3b7c982 to
60abbf5
Compare
anmonteiro
force-pushed
the
anmonteiro/include-qualified-rename
branch
from
September 8, 2026 23:51
60abbf5 to
fc911bd
Compare
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
anmonteiro
force-pushed
the
anmonteiro/include-qualified-rename
branch
from
September 14, 2026 03:49
e23af2f to
05b0ae4
Compare
…collisions Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
This was referenced Sep 14, 2026
anmonteiro
added a commit
that referenced
this pull request
Sep 15, 2026
Reproduce generated sources silently replacing other module sources in unqualified groups. Found while reviewing #13691; the extracted fix is in anmonteiro#190. Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
anmonteiro
added a commit
that referenced
this pull request
Sep 16, 2026
…support Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
This was referenced Sep 16, 2026
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
anmonteiro
added
the
include-subdirs-qualified
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
This was referenced Sep 17, 2026
anmonteiro
added a commit
that referenced
this pull request
Sep 17, 2026
Record current failures for dynamic directory remappings. Follow-up to #13691; the implementation and child-directory limitation test will follow separately. Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
anmonteiro
added a commit
that referenced
this pull request
Sep 17, 2026
Support bootstrap info and bootstrap compilation for renamed qualified directories. Follow-up to #13691. --------- Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
anmonteiro
added a commit
that referenced
this pull request
Sep 18, 2026
…16424) Correct inherited grouping, subdirectory stanza restrictions, and Menhir group interface documentation. Split from anmonteiro#189; independent of #13691. --------- Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
anmonteiro
added a commit
that referenced
this pull request
Sep 18, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Allow literal directory mappings in qualified groups. Fixes #7605; follows #16414. Dynamic mappings are split into anmonteiro#191 and bootstrap support into anmonteiro#192.