diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-29 15:28:27 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-06-29 15:28:27 -0400 |
| commit | d3ed85e5fd6c7e25ee0a1e4cfd12b4cb9fd9979c (patch) | |
| tree | d929860d94ff12275a9f7c6677859b05d052728f /src/Arithmetic/Saturated.v | |
| parent | 78c524dbc72d846f8bd165886fb2901641a9e12b (diff) | |
change notation `_ == _ ? _ : _ ` to `cmovznz(_, _, _)`
This closes #228
Diffstat (limited to 'src/Arithmetic/Saturated.v')
0 files changed, 0 insertions, 0 deletions