The Wayback Machine - https://web.archive.org/web/20220920180915/https://github.com/just-max
Skip to content
Avatar
14 followers · 11 following
  • Munich

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report just-max

Report abuse

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

Report abuse

Pinned

  1. exzellenz Public

    An especially excellent font.

    Python 8

  2. TUM-Live Public

    Forked from joschahenningsen/TUM-Live

    Lecture streaming service of the TUM (development fork)

    Go

64 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

September 2022

Created 2 commits in 1 repository
Created 1 repository

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

Draft: Fuzzy CFG Matching with Unchanged RHS Skipping

In incremental runs, match the CFGs for partially changed functions on a "best effort" basis. Then, in the solver, destabilize the entire function …

+290 −33 • 4 comments
Opened 2 other pull requests in 1 repository
Opened 1 issue in 1 repository
likeazir/owo 1 closed