diff options
| author | Alasdair Armstrong | 2018-04-05 18:10:09 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-04-05 18:40:36 +0100 |
| commit | 650d7affe4704959d177579957bef749c5499158 (patch) | |
| tree | f17d98cfb99afdfa9d6564c6d303f3664f10d35b /lib/arith.sail | |
| parent | 9c9e2dc78c44823b271252b88d5d96f4c5a2b6ae (diff) | |
Fix precedence printing and update aarch64 spec
More work on Latex output
Diffstat (limited to 'lib/arith.sail')
| -rw-r--r-- | lib/arith.sail | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/arith.sail b/lib/arith.sail index d1132d5b..fa091772 100644 --- a/lib/arith.sail +++ b/lib/arith.sail @@ -55,6 +55,8 @@ val div_int = { c: "div_int" } : (int, int) -> int +overload operator / = {div_int} + val mod_int = { smt: "mod", ocaml: "modulus", @@ -62,6 +64,8 @@ val mod_int = { c: "mod_int" } : (int, int) -> int +overload operator % = {mod_int} + val abs_int = { smt : "abs", ocaml: "abs_int", |