The Wayback Machine - https://web.archive.org/web/20210815124105/https://github.com/mchalupa
Skip to content
Avatar
27 followers · 13 following · 121
  • Masaryk University
  • Brno

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@staticafi
Block or Report

Block or report mchalupa

Report abuse

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

Report abuse

Popular repositories

  1. dg

    [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

    C++ 268 76

  2. wldbg

    Tool for processing wayland connections

    C 27 6

  3. LLVMSlicer

    Forked from jirislaby/LLVMSlicer

    Static Slicer for LLVM

    C++ 2

  4. wayland

    Core Wayland protocol and libraries [fork]

    C 1

  5. wayland-integration-tests Archived

    [OBSOLETE] most of this project has been merged to the Wayland upstream test-suite, this is a dead project now. || Wayland integration tests. Tests using a little framework for creating wayland com…

    C 1 1

  6. llvm-slicing

    Forked from zhangyz/llvm-slicing

    Symbolic Program Slicing with LLVM

    Haskell 1

526 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Learn how we count contributions
Less More
Activity overview
Contributed to mchalupa/dg, staticafi/symbiotic, sosy-lab/sv-benchmarks and 5 other repositories

Contribution activity

August 2021

Created 11 commits in 2 repositories
Reviewed 6 pull requests in 3 repositories