Skip to content

Added sv-lang version 7.0 and sv-bugpoint#69

Merged
nbdd0121 merged 1 commit intolowRISC:mainfrom
HU90m:sv-bugpoint
Nov 25, 2025
Merged

Added sv-lang version 7.0 and sv-bugpoint#69
nbdd0121 merged 1 commit intolowRISC:mainfrom
HU90m:sv-bugpoint

Conversation

@HU90m
Copy link
Member

@HU90m HU90m commented Nov 14, 2024

Draft because it depends requires a patch to sv-bugpoint, which may be merged upstream reasonably soon.

@HU90m HU90m force-pushed the sv-bugpoint branch 2 times, most recently from fe08f1d to b947dd4 Compare November 22, 2024 12:59
@HU90m HU90m marked this pull request as ready for review November 22, 2024 12:59
@HU90m HU90m requested a review from nbdd0121 November 22, 2024 13:00
@nbdd0121 nbdd0121 added this pull request to the merge queue Nov 25, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 25, 2025
@nbdd0121 nbdd0121 added this pull request to the merge queue Nov 25, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 25, 2025
@nbdd0121 nbdd0121 enabled auto-merge November 25, 2025 19:02
@nbdd0121 nbdd0121 added this pull request to the merge queue Nov 25, 2025
Merged via the queue into lowRISC:main with commit 5ce9f21 Nov 25, 2025
3 checks passed
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.

2 participants