diff options
| author | Albert Magyar | 2020-02-10 18:46:38 -0700 |
|---|---|---|
| committer | GitHub | 2020-02-11 01:46:38 +0000 |
| commit | c1738a1b30e8e1b52c423e603968ef1c9cb8fca9 (patch) | |
| tree | 17c47e6bdefaf49a6f67f451b8c87a3f52b88337 /spec | |
| parent | 1b475c42ebfeb279c0fba013cadbb00545ecaa8f (diff) | |
[spec] Change sub(UInt, UInt) output type to UInt (#1378)
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/spec.pdf | bin | 275421 -> 275420 bytes | |||
| -rw-r--r-- | spec/spec.tex | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/spec/spec.pdf b/spec/spec.pdf Binary files differindex e49441ad..d39d342d 100644 --- a/spec/spec.pdf +++ b/spec/spec.pdf diff --git a/spec/spec.tex b/spec/spec.tex index a8a40da4..361b435f 100644 --- a/spec/spec.tex +++ b/spec/spec.tex @@ -1249,7 +1249,7 @@ The add operation result is the sum of \vv{e1} and \vv{e2} without loss of preci {\ttfamily \begin{tabular}{ |c|c|c|c|c|c| } \opheader -sub & (e1,e2) & () & (UInt,UInt) & SInt & max(w\ts{e1},w\ts{e2})+1\\ +sub & (e1,e2) & () & (UInt,UInt) & UInt & max(w\ts{e1},w\ts{e2})+1\\ &&& (SInt,SInt) & SInt & max(w\ts{e1},w\ts{e2})+1\\ \hline \end{tabular} |