diff options
| author | Tim Hutt <timothy.hutt@codasip.com> | 2023-10-10 12:41:22 +0100 |
|---|---|---|
| committer | Bill McSpadden <bill@riscv.org> | 2024-02-01 15:53:16 -0600 |
| commit | 23f18200b771174e601fb58e7a857291fb32d063 (patch) | |
| tree | fea16b2c7634ccb8761edd34648b3291ccff75d1 /model/riscv_types.sail | |
| parent | e7c369d6993d13c1f714f66403267ee19a8ba815 (diff) | |
| download | sail-riscv-23f18200b771174e601fb58e7a857291fb32d063.zip sail-riscv-23f18200b771174e601fb58e7a857291fb32d063.tar.gz sail-riscv-23f18200b771174e601fb58e7a857291fb32d063.tar.bz2 | |
Simplify prelude.sail by including generic_equality.sail and mapping.sail
This change includes `generic_equality.sail` and `mapping.sail` from the Sail standard library which defines a lot of things that were defined in `prelude.sail`.
I also removed `reg_deref` which is no longer required.
The `mapping.sail` and `hex_bits.sail` files are in Sail 0.18 which is not yet released, so they have been temporarily copied here.
Diffstat (limited to 'model/riscv_types.sail')
| -rw-r--r-- | model/riscv_types.sail | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/model/riscv_types.sail b/model/riscv_types.sail index b940286..14916c7 100644 --- a/model/riscv_types.sail +++ b/model/riscv_types.sail @@ -419,11 +419,6 @@ enum extop_zbb = {RISCV_SEXTB, RISCV_SEXTH, RISCV_ZEXTH} enum zicondop = {RISCV_CZERO_EQZ, RISCV_CZERO_NEZ} -val sep : unit <-> string -mapping sep : unit <-> string = { - () <-> opt_spc() ^ "," ^ def_spc() -} - mapping bool_bits : bool <-> bits(1) = { true <-> 0b1, false <-> 0b0 |