Skip to content

fix(cli): Enforce symbols being only alphanumeric+underscore - #275

Merged
tperami merged 1 commit into
mainfrom
symbols-cleanup
Oct 4, 2026
Merged

tperami merged 1 commit into
mainfrom
symbols-cleanup

Conversation

@tperami

@tperami tperami commented Oct 2, 2026 •

Copy link
Copy Markdown
Collaborator

This also fixes a bug where LLVM auto-generated name ended-up being
visible from test such as $x. This could even fail tests due to
duplication of auto-generated symbols

This PR is part of a stack containing 2 PRs:

  1. main
  2. "fix(cli): Enforce symbols being only alphanumeric+underscore" (this PR)
  3. chore: Update to Rocq 9.1/Ocaml 5.4/Sail 0.20.3/stdpp 0.13 #274

This also fixes a bug where LLVM auto-generated name ended-up being
visible from test such as `$x`. This could even fail tests due to
duplication of auto-generated symbols
@tperami
tperami added this pull request to stack #276 October 2, 2026 14:24
@tperami
tperami added this pull request to the merge queue Oct 4, 2026
Merged via the queue into main with commit 502d9bc Oct 4, 2026
2 checks passed
@tperami
tperami deleted the symbols-cleanup branch October 7, 2026 11:38
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