Block or report user

Report or block mmjb

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
Pro

Organizations

@Microsoft

Pinned repositories

  1. T2

    T2 Temporal Prover

    C 56 13

  2. Microsoft/gated-graph-neural-network-samples

    Sample Code for Gated Graph Neural Networks

    Python 400 102

60 contributions in the last year

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

Contribution activity

January 2019

Created an issue in acr31/features-javac that received 1 comment

Test failures on OpenJDK 10.0.2

Tried mvn test. Environment: Ubuntu 18.04; OpenJDK 10.0.2 Expected Outcome: Things work. Actual Outcome: Running uk.ac.cam.acr31.features.javac.Sym…

1 comment

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