diff options
| author | Tim Hutt <timothy.hutt@codasip.com> | 2024-05-14 14:51:57 +0100 |
|---|---|---|
| committer | Alasdair Armstrong <alasdair.armstrong@googlemail.com> | 2024-05-17 21:13:45 +0100 |
| commit | 2259041cd6ef4d4e5acc6c8232e623e79476f408 (patch) | |
| tree | f7cceff753bc624d6f995b07bd42a4b70cbcc28f /coq-sail-riscv.opam | |
| parent | 3688e5b0a3e594613c0dec4b9e8ba166a365cec8 (diff) | |
| download | sail-riscv-2259041cd6ef4d4e5acc6c8232e623e79476f408.zip sail-riscv-2259041cd6ef4d4e5acc6c8232e623e79476f408.tar.gz sail-riscv-2259041cd6ef4d4e5acc6c8232e623e79476f408.tar.bz2 | |
Replace some bits(12)s with csreg
Very minor. Uses an existing type alias.
Diffstat (limited to 'coq-sail-riscv.opam')
0 files changed, 0 insertions, 0 deletions