Murali Vijayaraghavan
Murali Vijayaraghavan
> However, I do not expect that this requires changing the split of the CHERI extensions. Wouldn't it be sufficient to simply add clarifications to the current spec as needed?...
I think word_omega does this conversion wrt Nat. I agree that having a principles approach is beneficial in the long run. But Nat is probably a better target On Sat,...
Finished first task and trying to finish the second task.
Is it this:https://jax.readthedocs.io/en/latest/jax.experimental.host_callback.html ?
Can this issue be closed
https://github.com/vmurali/iree/tree/CustomCallInputConversion
@allieculp These are sub-issues of https://github.com/openxla/iree/issues/12410, and I have scheduled these sub-issues in the dropdown menu on the right. If that timeline can be replicated in the sprints/taskflow, that will...
Note, I did read https://proofgeneral.github.io/doc/master/userman/Coq-Proof-General/#Indentation-tweaking, but I am not sure how to change them for my use case. Removing ";" seems to not indent properly, and keeping it while removing...
Right - that's another thing we should talk about (in the future); I am not convinced not having "pseudolocality" is a good idea :), especially if you are somehow restricting...