Skip to content
Avatar
48 followers · 21 following · 60

Achievements

Mars 2020 Helicopter Contributor
Arctic Code Vault Contributor

Achievements

Mars 2020 Helicopter Contributor
Arctic Code Vault Contributor

Highlights

Organizations

@goblint @weechat
Block or Report

Block or report sim642

Block user

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

Report abuse

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

Report abuse

Pinned

  1. adventofcode

    Advent of Code solutions of 2015, 2016, 2017, 2018, 2019 and 2020 in Scala

    Scala 34 3

  2. whatpulse

    WhatPulse reverse engineered

    Python 30 4

  3. openbose

    Bose Connect reverse-engineered

    Python 13

  4. einstein-js

    Einstein Puzzle 2.0 by Flowix Games ported to the web

    TypeScript 1

  5. weechat/weechat

    The extensible chat client.

    C 2.2k 290

  6. goblint/analyzer

    The goblint static analysis framework

    OCaml 43 29

1,729 contributions in the last year

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

Contribution activity

July 2021

Created 27 commits in 1 repository

Created a pull request in goblint/analyzer that received 13 comments

Change enter, combine, FunctionEntry, Function argument varinfo -> fundec

Many of them use Cilfacade.getdec to look up the fundec anyway, e.g. to check sformals. FromSpec already looked up the existence of fundec as well …

+291 −227 • 13 comments
Opened 4 other pull requests in 1 repository
Reviewed 6 pull requests in 1 repository

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