Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor

Organizations

@nodemcu @cmukgb @AcmeTensorToys

Pinned

  1. My X and XMonad configurations

    Haskell 13 1

  2. GRADE Reporting And Definition Environment

    Haskell 3

  3. Notes, notably cheat-sheets, for category theory

    TeX 2

  4. Forked from CTSRD-CHERI/cheribsd

    nwf's fork of cheribsd; this is *often* push-f'd over, so is unsuitable as an upstream!

    C

522 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri

Contribution activity

August 2020

Created a pull request in CTSRD-CHERI/qemu that received 6 comments

cheri-riscv: csetequalexact

Is there a better way than trying to enumerate all the fields of the decoded structure like this?

+58 −50 6 comments

Created an issue in CTSRD-CHERI/llvm-project that received 6 comments

Cannot select capability-authorized AtomicLoadOr

I suspect this is a known gap in our instruction set (IIRC we don't yet have cap-authorized AMOs?) but maybe it could be transformed out to a loop …

6 comments
3 contributions in private repositories Aug 4 – Aug 22

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.