Added support for SAW core bitvector notations#1590

Merged

mergify[bot] merged 4 commits intomasterfrom feature/bitvector-notation

Feb 18, 2022

+47

Commits on Feb 17, 2022

added support for SAW core bitvector notation 0xXXXX and 0bBBBBB, both in the SAW core parser and pretty-printer
Eddy Westbrook
committed
Merge branch 'master' into feature/bitvector-notation
Eddy Westbrook
authored

Commits on Feb 18, 2022

re-removing dependency on bv-sized from the saw-core package
Eddy Westbrook
committed
changed ppBitsToHex to panic if its input has the wrong size
Eddy Westbrook
committed