diff options
| author | Bill McSpadden <bill@riscv.org> | 2024-05-21 08:53:18 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-21 08:53:18 -0500 |
| commit | 5168ced75fc185567590e1fba893fdb3d30707a9 (patch) | |
| tree | 5c014c38b18d43f5457331f8196ce513cd205d84 /coq-sail-riscv.opam | |
| parent | c2b5fb728cc7193a728222d12a5cbdc396116158 (diff) | |
| parent | 7aace27dcd8a2fa7b56610b56b031e4a0a87c19e (diff) | |
| download | sail-riscv-5168ced75fc185567590e1fba893fdb3d30707a9.zip sail-riscv-5168ced75fc185567590e1fba893fdb3d30707a9.tar.gz sail-riscv-5168ced75fc185567590e1fba893fdb3d30707a9.tar.bz2 | |
Merge pull request #479 from jordancarlin/remove_unused_reg_name_functions
Remove unused (f)reg_name_abi functions
Diffstat (limited to 'coq-sail-riscv.opam')
0 files changed, 0 insertions, 0 deletions