Block or report user

Report or block andreamattavelli

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. klee/klee

    KLEE Symbolic Execution Engine

    C++ 968 320

  2. klee/klee.github.io

    Website for the KLEE project: https://klee.github.io/

    HTML 12 35

  3. sbes

    Search-Based synthesis of Equivalent method Sequences

    Java 1

  4. pietrobraione/sushi

    The SUSHI test case generator

    Java 5 1

  5. redundancy-benchmark

    Benchmark of well-known redundant algorithms

    Java

  6. klee/homebrew-klee

    Homebrew tap for KLEE

    Ruby 2 3

149 contributions in the last year

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

Contribution activity

February - November 2018

andreamattavelli has no activity yet for this period.

January 2018

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