Block or report user

Report or block mgudemann

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@curry-club-aux @diffblue

Pinned repositories

  1. cbmc

    Forked from diffblue/cbmc

    C Bounded Model Checker

    C++

  2. IC3ref

    Forked from arbrad/IC3ref

    IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.

    C++

  3. aiger_reduce

    Reduce sequential AIGER models via finding equivalence classes

    C++

914 contributions in the last year

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

Contribution activity

July 2018

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

Leave typecasts on variables on stack

Instead of removing all typecasts from variables on the stack, we extract the necessary information of the bare expression from a temporary variabl…

+74 −27 5 comments
21 contributions in private repositories Jul 2 – Jul 18

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