diff options
| author | Jordan Carlin <jordanmcarlin@gmail.com> | 2024-05-18 00:49:23 -0700 |
|---|---|---|
| committer | Jordan Carlin <jordanmcarlin@gmail.com> | 2024-05-18 00:49:23 -0700 |
| commit | 7aace27dcd8a2fa7b56610b56b031e4a0a87c19e (patch) | |
| tree | 7371f733f8ab9c358c8f378d1993bd9ed5c1d678 /coq-sail-riscv.opam | |
| parent | 2259041cd6ef4d4e5acc6c8232e623e79476f408 (diff) | |
| download | sail-riscv-7aace27dcd8a2fa7b56610b56b031e4a0a87c19e.zip sail-riscv-7aace27dcd8a2fa7b56610b56b031e4a0a87c19e.tar.gz sail-riscv-7aace27dcd8a2fa7b56610b56b031e4a0a87c19e.tar.bz2 | |
Remove unused (f)reg_name_abi functions
Diffstat (limited to 'coq-sail-riscv.opam')
0 files changed, 0 insertions, 0 deletions