Tim Hutt

Results 711 comments of Tim Hutt

This is done now except for #960 and all of the vector code, which generally needs better types before they are precise enough for the new `to_bits()`.

Finished except for all the `to_bits_unsafe()` in the vector code.

> You can also disable GitHub Actions on your fork (which I thought was the default). It is, but I do want to manually run actions sometimes too so it...

In #792 I am going to move these flags into `AccessType` and change them into an enum so it can be simplified even further.

I'll merge this in a couple of days if nobody objects. I don't think there's really anything controversial here.

@pmundkur are you ok with this merging as it is now with the enums added back in?

This doesn't work yet due to [this issue](https://github.com/rems-project/sail/issues/748).

This should work now. The `recip7` code needs similar changes but it was a little more involved so I will do it later.

Ok maybe not!

I don't think so - you can only access the full 34 bits with Sv32.