Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Fix issue with SExpr parser #233

Merged
merged 1 commit into from
Apr 11, 2024
Merged

Fix issue with SExpr parser #233

merged 1 commit into from
Apr 11, 2024

Conversation

adwait
Copy link
Contributor

@adwait adwait commented Mar 28, 2024

  • Fixes fragile construction of Either type for IndexedIdentifiers in the SExprParser. Indexed identifiers are seen in bit-vector declarations (e.g., (_ BitVec 32))
  • Also, removes redundant prefixes in import statements.

@adwait
Fix issue with SExpr parser
4f50ba5 
- also remove redundant prefixes in import statements
@adwait adwait merged commit b508697 into master Apr 11, 2024
2 checks passed
@adwait adwait deleted the adwait-importfix branch April 11, 2024 19:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@polgreen polgreen Awaiting requested review from polgreen polgreen is a code owner

@lsk567 lsk567 Awaiting requested review from lsk567 lsk567 is a code owner

@FedericoAureliano FedericoAureliano Awaiting requested review from FedericoAureliano FedericoAureliano is a code owner

@ymanerka ymanerka Awaiting requested review from ymanerka ymanerka is a code owner

@kkmc kkmc Awaiting requested review from kkmc kkmc is a code owner

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@adwait