diff options
| author | Albert Magyar | 2020-02-24 16:48:34 -0700 |
|---|---|---|
| committer | GitHub | 2020-02-24 16:48:34 -0700 |
| commit | d44d3f8f1a15f2b15ba338a733ff87a83ecba1ac (patch) | |
| tree | fd9bbb8bd2a7bd6f387245b007fea77d9fe95bc4 /spec | |
| parent | 1a73668cdf530c53811959cceba1619770ea3462 (diff) | |
[spec] clarify that div-by-zero is undefined (#1409)
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/spec.pdf | bin | 275420 -> 275480 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 d39d342d..b60c3cb7 100644 --- a/spec/spec.pdf +++ b/spec/spec.pdf diff --git a/spec/spec.tex b/spec/spec.tex index 361b435f..9aa1e6b4 100644 --- a/spec/spec.tex +++ b/spec/spec.tex @@ -1285,7 +1285,7 @@ div & (num,den) & () & (UInt,UInt) & UInt & w\ts{num}\\ \end{tabular} }} \end{figure} -The divide operation divides \vv{num} by \vv{den}, truncating the fractional portion of the result. This is equivalent to rounding the result towards zero. +The divide operation divides \vv{num} by \vv{den}, truncating the fractional portion of the result. This is equivalent to rounding the result towards zero. The result of a division where \vv{den} is zero is undefined. \subsection{Modulus Operation} |