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
The concats for zero length bit vectors arise from updateXER in semmc-ppc, which updates a bit in a bit vector by chopping off a prefix and suffix and then concatenating them around the updated bit:
See changes to
concat
wrapper here:3e550be#diff-bdb3fbaccee9cbaf2b422b3b48835e18R849
The concats for zero length bit vectors arise from
updateXER
in semmc-ppc, which updates a bit in a bit vector by chopping off a prefix and suffix and then concatenating them around the updated bit:semmc/semmc-ppc/src/SemMC/Architecture/PPC/Base/Core.hs
Line 371 in 626fae7
The text was updated successfully, but these errors were encountered: