Skip to content

Conversation

schmi710
Copy link

@schmi710 schmi710 commented Jul 4, 2020

I believe that the bug has been fixed. Given that tests are still buggy on my machine, I'm putting my fate in the hands of Travis.

schmi710 added 9 commits June 26, 2020 18:58
I hope I didn't mess anything up.
hopefully
Fixed the masking for bit operations that was causing bits to appear outside the "official" BitVector bits for short BitVectors.
Previously, a resize which decreased the number of fields would not properly clear the values in the last field if the number of bits was not evenly divisible by 64.
This bug persisted for long BitVectors.
added a section to check for overflow in a variety of cases and methods.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants