Skip to content
View s-vde's full-sized avatar
2 followers · 0 following

Achievements

Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report s-vde

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. record-replay record-replay Public

    LLVM instrumentation pass and Scheduler for recording the execution of multithreaded programs and replaying them under a given thread interleaving.

    C++ 4 2

  2. cpp-utils cpp-utils Public

    C++

  3. state-space-explorer state-space-explorer Public

    Framework for exploring the state-space of multithreaded programs.

    C++

  4. multithreaded multithreaded Public

    Small multithreaded program examples.

    C

  5. llvm-pass-development-scripts llvm-pass-development-scripts Public

    Scripts for developing passes using LLVM

    Shell

  6. compiler-rt compiler-rt Public

    Forked from llvm-mirror/compiler-rt

    Mirror of official compiler-rt git repository located at http://llvm.org/git/compiler-rt. Updated every five minutes.

    C