Skip to content

Ensure module attributes are checked against the whitelist#3484

Merged
rv-jenkins merged 9 commits intodevelopfrom
module-attribute-checks
Jul 3, 2023
Merged

Ensure module attributes are checked against the whitelist#3484
rv-jenkins merged 9 commits intodevelopfrom
module-attribute-checks

Conversation

@Scott-Guest
Copy link
Copy Markdown
Contributor

Part of #2625

This PR updates the attribute whitelist logic to also account for attributes on modules.

@Scott-Guest Scott-Guest self-assigned this Jun 26, 2023
@Scott-Guest Scott-Guest requested a review from radumereuta June 27, 2023 16:06
@Scott-Guest Scott-Guest marked this pull request as ready for review June 27, 2023 16:06
Copy link
Copy Markdown
Contributor

@radumereuta radumereuta left a comment

Choose a reason for hiding this comment

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

lgtm, with one question.

Comment thread kore/src/main/scala/org/kframework/attributes/Att.scala
@rv-jenkins rv-jenkins merged commit 5092f9e into develop Jul 3, 2023
@rv-jenkins rv-jenkins deleted the module-attribute-checks branch July 3, 2023 16:28
@Baltoli Baltoli mentioned this pull request Dec 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants