Implement __builtin_ctz{,l,ll} via count_trailing_zeros_exprt#5881
Merged
tautschnig merged 1 commit intodiffblue:developfrom May 1, 2021
Merged
Implement __builtin_ctz{,l,ll} via count_trailing_zeros_exprt#5881tautschnig merged 1 commit intodiffblue:developfrom
tautschnig merged 1 commit intodiffblue:developfrom
