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

Add reflexivity axiom for vecEq to SAWCore prelude #1853

Merged
merged 1 commit into from
Apr 11, 2023
Merged

Conversation

bboston7
Copy link
Contributor

@bboston7 bboston7 commented Apr 7, 2023

This change adds an axiom for reflexivity of vecEq, much like the existing bvEq_refl axiom.

This change adds an axiom for reflexivity of `vecEq`, much like the
existing `bvEq_refl` axiom.
@bboston7 bboston7 added type: enhancement Issues describing an improvement to an existing feature or capability subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem labels Apr 7, 2023
@bboston7 bboston7 requested review from eddywestbrook and m-yac April 7, 2023 21:52
@bboston7 bboston7 self-assigned this Apr 7, 2023
@m-yac m-yac added the PR: ready to merge Magic flag for pull requests to ask Mergify to merge given an approval and a successful CI run label Apr 11, 2023
@mergify mergify bot merged commit e099af5 into master Apr 11, 2023
@mergify mergify bot deleted the bb/veceq-refl branch April 11, 2023 18:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
PR: ready to merge Magic flag for pull requests to ask Mergify to merge given an approval and a successful CI run subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem type: enhancement Issues describing an improvement to an existing feature or capability
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants