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.

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

[minor] Add Property primitive operation for integer shift right. #176

Merged
merged 2 commits into from
Feb 20, 2024

Conversation

mikeurbach
Copy link
Collaborator

This adds the integer shift right operation to the Integer Arithmetic section and list of primitive operations in the grammar. This is defined as signed arithmetic shift right, as opposed to logical shift right, using similar language to the dshr operation.

This adds the integer shift right operation to the Integer Arithmetic
section and list of primitive operations in the grammar. This is
defined as signed arithmetic shift right, as opposed to logical shift
right, using similar language to the dshr operation.
Copy link
Member

@dtzSiFive dtzSiFive left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@mikeurbach mikeurbach merged commit 6680f17 into main Feb 20, 2024
1 check passed
@mikeurbach mikeurbach deleted the mikeurbach/property-integer-arithmetic-shr branch February 20, 2024 18:23
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.

3 participants