Murali Vijayaraghavan

Stripping debug info before generating LLVM target

6

For https://github.com/iree-org/iree/issues/9726

Taken branches and Jumps checking if the taken address is less than `topBound-2` is not useful

38

The current scheme requires that the jumps (`CJALR`, etc) or taken branches do not throw an exception only if the capability's `topBound` is at least `redirected address + 2`. This...

Splitting `Zcheri_purecap` into 2 different extensions: `Zcheri_purecap` and `Zcheri_protection_rings`

9

Thanks for submitting the specification draft for CHERI! CHERI allows us to build secure systems where a protection ring (M, H, S, U modes) is subsumed using just capability bounds...

Rename `Zcheri_pte` to `Zcheri_pte_traditional`, and introduce `Zcheri_pte_single_address_space`

16

The traditional virtual memory mapping serves the following purposes: 1. Isolation between processes by giving each process a separate virtual address space (0 to 2^XLEN-1 virtual addresses for each process)....

Extracting [hexDigitToN] in Haskell creates Data.Bits.testBit and Data.Char.ord

1

Since the generated Haskell does not import Data.Bits.testBit and Data.Char.ord, the overall compilation of the Haskell program fails. Any ideas to avoid generating these functions during Extraction?

This should be feature complete - support for arbitrary types and aritie of inputs and outputs.

For CPUs, register [these](http://google3/third_party/py/jax/jaxlib/cpu/cpu_kernels.cc) custom calls. For GPUs, register [these](http://google3/third_party/py/jax/jaxlib/gpu/gpu_kernels.cc) custom calls.