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 BitVector shifts (copy #2731) #2732

Merged

DigitalBrains1 merged 1 commit into 1.8 from mergify/copy/1.8/pr-2731

Jun 2, 2024

Contributor

mergify bot commented May 31, 2024

Fixes #2730 such that (+>>.) and (.<<+) are compliant with (+>>) and (<<+) for bit vectors of zero length, respectively.

Still TODO:

Write a changelog entry (see changelog/README.md)
Check copyright notices are up to date in edited files

This is an automatic copy of pull request #2731 done by [Mergify](https://mergify.com).


          Fix BitVector shifts

05b2c1c

(cherry picked from commit f96795e)

DigitalBrains1 merged commit 6efdf62 into 1.8

15 checks passed

DigitalBrains1 deleted the mergify/copy/1.8/pr-2731 branch

June 2, 2024 10:41

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet