diff options
| author | Tim Hutt <timothy.hutt@codasip.com> | 2023-08-11 16:01:37 +0100 |
|---|---|---|
| committer | Philipp Tomsich <philipp.tomsich@vrull.eu> | 2023-09-12 13:50:59 +0200 |
| commit | 9c6587e4be057c20bdebb535ec926bca41716a03 (patch) | |
| tree | b6f831ec9387d22d46928dc0d7d4e0d00bf37961 | |
| parent | 861bd6f65593013381c905d7a54e538e5382bf31 (diff) | |
| download | sail-riscv-9c6587e4be057c20bdebb535ec926bca41716a03.zip sail-riscv-9c6587e4be057c20bdebb535ec926bca41716a03.tar.gz sail-riscv-9c6587e4be057c20bdebb535ec926bca41716a03.tar.bz2 | |
Remove duplicate xor_vec
This is already provided by Sail.
| -rw-r--r-- | model/prelude.sail | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/model/prelude.sail b/model/prelude.sail index 5ff8a12..9a7aace 100644 --- a/model/prelude.sail +++ b/model/prelude.sail @@ -138,8 +138,6 @@ function string_of_bit(b: bit) -> string = overload BitStr = {string_of_bits, string_of_bit} -val xor_vec = {c: "xor_bits", _: "xor_vec"} : forall 'n. (bits('n), bits('n)) -> bits('n) - val int_power = {ocaml: "int_power", interpreter: "int_power", lem: "pow", coq: "pow", c: "pow_int"} : (int, int) -> int overload operator ^ = {xor_vec, int_power, concat_str} |