Skip to content

SMV: rename STRING_Token, QSTRING_Token and QUOTE_Token #1124

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
May 28, 2025

Conversation

kroening
Copy link
Member

This renames the token identifiers used for SMV identifiers to better match the NuSMV manual.

@kroening kroening added the SMV label May 22, 2025
@kroening kroening force-pushed the smv-identifier-tokens branch from bf8d5c5 to 384dd2a Compare May 22, 2025 16:53
@kroening kroening changed the title SMV: rename STRING_Token and QSTRING_Token SMV: rename STRING_Token, QSTRING_Token and QUOTE_Token May 22, 2025
This renames the token identifiers used for SMV identifiers to better match
the NuSMV manual.
@kroening kroening force-pushed the smv-identifier-tokens branch from 384dd2a to bb805e2 Compare May 22, 2025 16:57
@kroening kroening marked this pull request as ready for review May 22, 2025 16:59
@tautschnig tautschnig merged commit 991d469 into main May 28, 2025
9 checks passed
@tautschnig tautschnig deleted the smv-identifier-tokens branch May 28, 2025 19:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants