Skip to content

Improve various machine features - #294

Merged
Saloed merged 7 commits into
mainfrom
saloed/jvm-improvement
Jul 4, 2025
Merged

Improve various machine features#294
Saloed merged 7 commits into
mainfrom
saloed/jvm-improvement

Conversation

@Saloed

@Saloed Saloed commented Jun 19, 2025

Copy link
Copy Markdown
Collaborator

No description provided.

@Saloed
Saloed force-pushed the saloed/jvm-improvement branch from b51585a to f71453a Compare June 20, 2025 11:19

@github-advanced-security github-advanced-security AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

detekt found more than 20 potential problems in the proposed changes. Check the Files changed tab for more details.

@Saloed
Saloed requested a review from CaelmBleidd June 20, 2025 11:49
Comment thread usvm-core/src/main/kotlin/org/usvm/api/EngineApi.kt
Comment thread usvm-core/src/main/kotlin/org/usvm/api/EngineApi.kt
@Saloed
Saloed force-pushed the saloed/jvm-improvement branch from 3364c20 to 2f2a14e Compare July 4, 2025 09:27
@Saloed
Saloed merged commit 8c5c0fa into main Jul 4, 2025
6 checks passed
@Saloed
Saloed deleted the saloed/jvm-improvement branch July 4, 2025 09:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants