diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-11-03 14:12:25 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-11-03 14:12:43 -0400 |
| commit | 72c98dafbf44a8681193330c9c393fb26ba27409 (patch) | |
| tree | 398f6a7a7edb42e7f777a2cc0fff8c964082705d /src/Spec/ModularArithmetic.v | |
| parent | d157a1040c67846b6afd922127247a94eb9c700e (diff) | |
Add preformatting for casts of mulx
Diffstat (limited to 'src/Spec/ModularArithmetic.v')
0 files changed, 0 insertions, 0 deletions