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_step.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_step.sail')
0 files changed, 0 insertions, 0 deletions