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

Add check for manual declaration of isSort #3356

Merged
merged 7 commits into from
Apr 24, 2023
Merged

Add check for manual declaration of isSort #3356

merged 7 commits into from
Apr 24, 2023

Conversation

Scott-Guest
Copy link
Contributor

Closes #3329

This PR adds a check to report an error if the user does both of the following:

  • declares a sort syntax S
  • declares a symbol syntax Bool ::= isS ( _ )

@rv-jenkins rv-jenkins changed the base branch from master to develop April 20, 2023 21:09
@Scott-Guest Scott-Guest self-assigned this Apr 20, 2023
@Scott-Guest Scott-Guest marked this pull request as ready for review April 20, 2023 22:20
@rv-jenkins rv-jenkins merged commit 4e6e383 into develop Apr 24, 2023
@rv-jenkins rv-jenkins deleted the isSort-check branch April 24, 2023 12:48
@radumereuta radumereuta mentioned this pull request May 10, 2023
Closed
5 tasks
@Baltoli Baltoli mentioned this pull request Dec 12, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@radumereuta radumereuta radumereuta approved these changes

@Baltoli Baltoli Awaiting requested review from Baltoli

Assignees

@Scott-Guest Scott-Guest

Labels
automerge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Incorrect code generated when redeclaring sort predicate
3 participants
@Scott-Guest @radumereuta @rv-jenkins