Skip to content

cleanup: simplify implementation of Check - #32

Merged
dhalilov merged 7 commits into
epfl-systemf:mainfrom
dhalilov:simplify-grammar
Sep 14, 2026
Merged

dhalilov merged 7 commits into
epfl-systemf:mainfrom
dhalilov:simplify-grammar

Conversation

@dhalilov

Copy link
Copy Markdown
Member

By splitting Check into Check_expression and Check_module, we can remove special cases from the grammar file and use Main.compile_snippet everywhere.

@dhalilov dhalilov added this to the 0.1 milestone Sep 14, 2026
@dhalilov
dhalilov merged commit 4125e55 into epfl-systemf:main Sep 14, 2026
6 checks passed
@dhalilov
dhalilov deleted the simplify-grammar branch September 14, 2026 16:19
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.

1 participant