diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/jib.ott | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/language/jib.ott b/language/jib.ott index 058c50d2..447b25e3 100644 --- a/language/jib.ott +++ b/language/jib.ott @@ -70,6 +70,8 @@ op :: '' ::= | gteq :: :: igteq | add :: :: iadd | sub :: :: isub + | unsigned nat :: :: unsigned + | signed nat :: :: signed % Bitvector ops | bvnot :: :: bvnot | bvor :: :: bvor @@ -83,6 +85,7 @@ op :: '' ::= | sign_extend nat :: :: sign_extend | slice nat :: :: slice | sslice nat :: :: sslice + | set_slice :: :: set_slice | replicate nat :: :: replicate cval :: 'V_' ::= |