Skip to content

[spectec] Automate extraction of validation rules for prose generation#2147

Open
f52985 wants to merge 15 commits intomainfrom
soundness.spectec
Open

[spectec] Automate extraction of validation rules for prose generation#2147
f52985 wants to merge 15 commits intomainfrom
soundness.spectec

Conversation

@f52985
Copy link
Copy Markdown
Collaborator

@f52985 f52985 commented Apr 22, 2026

This PR automates the extraction of validation rules as targets for prose generation, as discussed in PR #2125.

Copy link
Copy Markdown
Member

@rossberg rossberg left a comment

Choose a reason for hiding this comment

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

Thanks!

@rossberg
Copy link
Copy Markdown
Member

There are still changes to test expectations for test-splice. They actually look somewhat suspicious.

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