Block or report user

Organizations

@diffblue

Popular repositories

  1. llpe

    C++ 26 2

  2. vgallium

    Remoting graphics drivers using Gallium3D, for rendering from virtual machines

    C 11 2

  3. Phoenix---MP

    Phoenix++ converted to use multiple processes

    C++ 8 6

  4. skywriting

    Forked from mrry/skywriting

    Language and execution engine for cloud programming

    Python 3 1

  5. ocaml-abnf

    Forked from avsm/ocaml-abnf

    Experiments in LLVM parsing of ABNF

    OCaml 2 1

  6. xen-pv-windows-evtchn

    Ports of /dev/evtchn and a userspace page granting driver to the Windows PV drivers

    C 2 2

389 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

April 2017

Created a pull request in diffblue/cbmc that received 12 comments

Implement Java array.clone

This simply duplicates the contents of an array. Regrettably it uses a loop to do so at this point because if we use ARRAY_COPY the backend dies wh…

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