You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
rounder: Fix invalid creation of zero-size bit-vector.
This fixes an issue where the rounder attempts to generate a bit-vector
of size 0 in fixedPositionRound() when converting an FP to an unsigned
BV of size 1.
This has been submitted as PR
martin-cs#9.
0 commit comments