Valentin Robert
Valentin Robert
Looks like I might have broken something on the Lean side too, I'll investigate: https://github.com/riscv/sail-riscv/actions/runs/19080408022/job/54510837967
> FYI, I was able to rebase #905 (as #1382), which removed the measure for `execute` but also broke Lean in a new way (I think). Ah interesting, I'm going...
I have followed the removal of `compressed_measure`, added some comments over the termination measures, and it seems to work well for my purposes.
@pmundkur I have rebased over most recent changes, this is ready for review if CI passes.
In a discussion with the group, we feel like we may just want to always print the hexadecimal version, possibly providing a flag to add a best-effort decimal expansion as...
I ran into a similar issue: ``` ============== ERROR ============== Mismatch in CPU state at line 151347: MINE: A:05 F:C--- B:01 C:00 D:C7 E:BA H:90 L:00 SP:DFFB PC:0051 PCMEM:C9,00,00,00 YOURS:...