-
Notifications
You must be signed in to change notification settings - Fork 99
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Int8/16/32/64 documentation and unit tests (#475)
Improve `Int8.mo`, `Int16.mo`, `Int32.mo`, and `Int64.mo`: * Documentation * Unit tests * Related to: #473 Possible improvements for Int8/16/32/64 (#476): * Minimum value and maximum value constants are missing. * `bitnot()` has a superfluous second argument: `bitnot(x, y)` should be `bitnot(x)`. * Inconsistent naming of functions, e.g. `bitrotLeft` (instead of `bitRotLeft`). * Inconsistent type of second argument in bit operations: `bitshiftLeft` uses `Int64` but `bittest` uses `Nat`.
- Loading branch information
1 parent
98c96a5
commit 4f8d37b
Showing
8 changed files
with
10,787 additions
and
126 deletions.
There are no files selected for viewing
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.