Skip to content

Update dependency: deps/kriscv_release #49

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
tothtamas28 merged 17 commits into from
Jul 24, 2025
Merged

Update dependency: deps/kriscv_release #49

tothtamas28 merged 17 commits into from
Jul 24, 2025

Conversation

@rv-jenkins
Copy link
Contributor

@rv-jenkins rv-jenkins commented Jun 23, 2025 •
edited by tothtamas28
Loading

Update kriscv to version 0.1.118.

@rv-jenkins rv-jenkins requested a review from tothtamas28 June 23, 2025 12:58
rv-auditor added 16 commits June 23, 2025 12:58
@rv-auditor
pyproject.toml: Sync Version 0.1.112
045f848
@rv-auditor
Merge remote-tracking branch 'origin/master' into _update-deps/runtim…
85d28c9 
…everification/riscv-semantics
@rv-auditor
deps/kriscv_release: Set Version 0.1.113
143161a
@rv-auditor
pyproject.toml: Sync Version 0.1.113
ce7d781
@rv-auditor
Merge remote-tracking branch 'origin/master' into _update-deps/runtim…
57f6238 
…everification/riscv-semantics
@rv-auditor
deps/kriscv_release: Set Version 0.1.114
8869f56
@rv-auditor
pyproject.toml: Sync Version 0.1.114
3d37406
@rv-auditor
deps/kriscv_release: Set Version 0.1.115
c8fb484
@rv-auditor
pyproject.toml: Sync Version 0.1.115
4af8b80
@rv-auditor
deps/kriscv_release: Set Version 0.1.116
39e149b
@rv-auditor
pyproject.toml: Sync Version 0.1.116
e550fa6
@rv-auditor
deps/kriscv_release: Set Version 0.1.117
c403cd5
@rv-auditor
pyproject.toml: Sync Version 0.1.117
bb90b97
@rv-auditor
deps/kriscv_release: Set Version 0.1.118
45ed3cc
@rv-auditor
pyproject.toml: Sync Version 0.1.118
2d16da9
@rv-auditor
deps/k_release: Set Version 7.1.280
7e94078
@tothtamas28 tothtamas28 merged commit 2e0643c into master Jul 24, 2025
3 checks passed
@tothtamas28 tothtamas28 deleted the _update-deps/runtimeverification/riscv-semantics branch July 24, 2025 09:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@tothtamas28 tothtamas28 tothtamas28 approved these changes

Assignees

@tothtamas28 tothtamas28

Labels

automerge

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@rv-jenkins @tothtamas28 @rv-auditor