Block or report user

Report or block stieglma

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@ONE-LOGIC @sosy-lab @IEEE-SB-Passau

Pinned repositories

  1. sosy-lab/cpachecker

    CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

    C 69 43

  2. nltk/nltk

    NLTK Source

    Python 6.6k 1.9k

  3. sosy-lab/java-smt

    JavaSMT - Unified Java API for SMT solvers.

    Java 41 10

  4. getpelican/pelican-plugins

    Collection of plugins for the Pelican static site generator

    Python 1k 749

  5. Schafkopfauswerter

    An application to make longterm statistics for a group playing the game Schafkopf.


13 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

stieglma has no activity yet for this period.

June 2018

Created an issue in jenkinsci/violation-comments-to-gitlab-plugin that received 10 comments

Commenting/WIPing the merge request doesn't work

After changing the configuration several times (authHeader true/false, private true/false, ...) It seems that I found a configuration for the plugi…


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