Skip to content
View marcoeilers's full-sized avatar
19 followers · 2 following
  • ETH Zürich

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report marcoeilers

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

Pinned Loading

  1. nagini Public

    Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.

    Python 243 8

  2. nagini-pycharm Public

    PyCharm plugin for Nagini

    Java 4

  3. scion Public

    Forked from scionproto/scion

    SCION Internet Architecture

    Python 1 1

  4. xtend-compiler Public

    Just-for-fun implementation of a compiler from Xtend2 source to JVM bytecode

    Xtend 1

  5. xtend-generics Public

    An active annotation enabling reified generics in Xtend

    Xtend 1

552 contributions in the last year

Contribution Graph
Day of Week March April May June July August September October November December January February March
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Learn how we count contributions
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Contribution activity

March 2025

Created 19 commits in 6 repositories

Created a pull request in viperproject/silicon that received 2 comments

Fixing issue #903

The underlying issue was that fresh values introduced by state consolidation during function verification were made global variables that were then…

+14 −11 lines changed • 2 comments
Opened 15 other pull requests in 5 repositories
Reviewed 1 pull request in 1 repository
viperproject/silver 1 pull request

Created an issue in viperproject/silicon that received 1 comment

Information following from field access receiver not known when checking for permission

The following program verifies in Carbon but not in Silicon (with or without MCE): field f: Int function flag(): Bool function assuming(b: Bool, r:…

1 comment
39 contributions in private repositories Mar 11 – Mar 26
Loading