diff options
| author | Eric Kunze <eric.kunze@arm.com> | 2021-03-16 14:27:56 -0700 |
|---|---|---|
| committer | Eric Kunze <eric.kunze@arm.com> | 2021-03-18 11:03:05 -0700 |
| commit | c30004c4a865c709c65b441031ab3fed9a4be5bc (patch) | |
| tree | 4310970bfd4f5aa5895adf851e0158a4567071ed /Makefile | |
| parent | 71b02b19a1bc9c73b3f2ac9b65086151588e3e27 (diff) | |
| download | specification-c30004c4a865c709c65b441031ab3fed9a4be5bc.tar.gz | |
Add integer DIV operator
Integer divide is not commonly used, but would have been difficult to
implement using the existing operators.
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: I8fb3919cd7a0f1a1fa95074d921d200d23e2f249
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions