Tim Hutt
Tim Hutt
> I am not sure if it wouldn't be better to share the code by folding the information into HART_ACTIVE(state), though. Yeah you might be right about that. > I...
I was thinking they'd all be arguments, and also things like Store Conditional failures.
Yeah we could also do getters and setters. Both would definitely work, and there are pros and cons so let's see...
That's a good point. I was sort of vaguely aware of that. I guess in theory you could still write it in Sail as long as it was a completely...
> Or just emulator since the ocaml one no longe exists? I think I originally did that when the OCaml emulator was removed but people wanted to keep the `c_`....
Rebased. That was fairly painful so I'm afraid I had to remove the reservation printing option. I don't think it's too bad since it didn't really exist until very recently....
It caught a couple of very minor issues at least...
Ok I'll give it a good few days, seeing as this is a pretty huge change, and then merge it.
Ok I deleted those and also 3 more which had no additional commits: `cookbook_br`, `update-copyright-headers` and `billmcspadden-riscv`. That leaves: | Branch | Age |Commits| First unique commit | |--------------------------------|----------|-------|---------------------| |...
I suggest deleting at least: * `c2_emu` - definitely obsolete and the c2 backend doesn't exist any more. * `cheri`, `cheri-merge`, `cheri_lite` - definitely obsolete * `new_test_2`, `new_test_3` - these...