Block or report user

Report or block thorstent

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. Liss

    Language Inclusion-based Synchronisation Synthesis

    C 2

  2. ScalaZ3

    Forked from epfl-lara/ScalaZ3

    Binders and more to the Z3 SMT solver for Scala


  3. ConcurrencySwapper

    Implementation of a software that fixes C concurrency bugs by swapping lines in the source code.


  4. maven-repo

    Holds files needed to build the other repositories with the help of maven.


  5. ConRepair

    ConRepair is a synthesis tool to repair concurrent C programs


  6. Limi

    Language Inclusion Modulo Independence


6 contributions in the last year

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

Contribution activity

February - October 2018

thorstent has no activity yet for this period.

January 2018

Created an issue in JonathanSalwan/Triton that received 3 comments

Numerous functions are not implemented and therefore don't link

For example api.checkAstGarbageCollector() is not implemented, but defined in api.h also operandWrapper.getConcreteValue() is defined but not imple…


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