diff options
| author | Jon French | 2018-09-14 15:07:25 +0100 |
|---|---|---|
| committer | Jon French | 2018-09-14 15:08:55 +0100 |
| commit | bd7c2be6fe9cb955e25e04d59c5af089a04bcf9e (patch) | |
| tree | 4c7dcd0026d7b45318703c2ac29504cbc881315b /riscv | |
| parent | 3e052aa29f38316648b05757f95ed67ed49c8806 (diff) | |
Sail_lib and RISCV prelude: functions for bitwise operations on ints
Diffstat (limited to 'riscv')
| -rw-r--r-- | riscv/prelude.sail | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/riscv/prelude.sail b/riscv/prelude.sail index abdb3da0..a073b20f 100644 --- a/riscv/prelude.sail +++ b/riscv/prelude.sail @@ -373,8 +373,10 @@ overload operator % = {modulus} val Real = {ocaml: "Num.num_of_big_int", lem: "realFromInteger"} : int -> real val shl_int = "shl_int" : (int, int) -> int - val shr_int = "shr_int" : (int, int) -> int +val lor_int = "lor_int" : (int, int) -> int +val land_int = "land_int" : (int, int) -> int +val lxor_int = "lxor_int" : (int, int) -> int val min_nat = {ocaml: "min_int", lem: "min", c: "min_int"} : (nat, nat) -> nat |