diff options
| author | Alasdair Armstrong | 2018-09-07 16:43:07 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-09-07 16:43:07 +0100 |
| commit | 7d0280d7ad08bbf9e33164c634c538effdd1340b (patch) | |
| tree | 208c4c605e64e01fde3f9bb67a49f4f3d801464e /src/bitfield.ml | |
| parent | a8f2a0ba2b97a0aa2a83b32b44932de876e6b4be (diff) | |
RISCV: Run RISC-V tests using version compiled to C
Current pass rate is 170 out of 181. Looks like there are some issues
with rv64ua-p-lrsc.elf, rv64ua-v-lrsc.elf, and rv64uc-p-rvc.elf which
I think are caused by me not implementing parts of the RISC-V platform
correctly in C. Some of the div and mod tests also fail, which is
probably an issue with using the correct rounding.
Diffstat (limited to 'src/bitfield.ml')
0 files changed, 0 insertions, 0 deletions