Skip to content
View jgarci40's full-sized avatar
20 followers · 18 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report jgarci40

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 Loading

  1. arch-prediction-tools arch-prediction-tools Public

    software architectural decay prediction scripts and data

    R 6

  2. heros heros Public

    Forked from soot-oss/heros

    IFDS/IDE Solver for Soot

    Java

  3. jasmin jasmin Public

    Forked from Sable/jasmin

    Java

  4. soot soot Public

    Forked from soot-oss/soot

    Soot - A Java optimization framework

    Java

  5. soot-infoflow soot-infoflow Public

    Forked from malaverdiere/soot-infoflow

    Data flow tracking components for Java

    Java

  6. arff arff Public

    Automatically exported from code.google.com/p/arff

    Python

Contribution activity

April 2025

Created an issue in SVF-tools/SVF that received 2 comments

SVF Build Error With Z3Expr on MacBook Pro M3 Max

I am trying to build SVF from source on my MacBook Pro 14-inch, Nov 2023, running on Apple M3 Max and macOS Sequoia 15.3.1. However, I encountered …

2 comments
Loading