diff options
author | 2017-11-03 14:12:25 -0400 | |
---|---|---|
committer | 2017-11-03 14:12:43 -0400 | |
commit | 72c98dafbf44a8681193330c9c393fb26ba27409 (patch) | |
tree | 398f6a7a7edb42e7f777a2cc0fff8c964082705d /src/LegacyArithmetic/BarretReduction.v | |
parent | d157a1040c67846b6afd922127247a94eb9c700e (diff) |
Add preformatting for casts of mulx
Diffstat (limited to 'src/LegacyArithmetic/BarretReduction.v')
0 files changed, 0 insertions, 0 deletions