Skip to content

New expression: count_leading_zeros_exprt#5879

Merged
tautschnig merged 3 commits intodiffblue:developfrom
tautschnig:clz-expression
Mar 10, 2021
Merged

New expression: count_leading_zeros_exprt#5879
tautschnig merged 3 commits intodiffblue:developfrom
tautschnig:clz-expression

Commits

Commits on Mar 10, 2021