Skip to content

rounding shift rights should use rounding halving add#6494

Merged
abadams merged 2 commits intomasterfrom abadams/rounding_shift_right_use_averageDec 13, 2021
+204-54

Commits

Commits on Dec 11, 2021

Commits on Dec 13, 2021