Skip to content

Update dependency: deps/k_release #162

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

Open
wants to merge 35 commits into
base: master
Choose a base branch
from
Open

Update dependency: deps/k_release #162

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
35 commits
Select commit Hold shift + click to select a range
7722020
deps/k_release: Set Version 7.1.282
rv-auditor Aug 26, 2025
29b5bae
Set Version: 0.1.120
rv-auditor Aug 26, 2025
75927b0
pyproject.toml: sync pyk version 7.1.282
rv-auditor Aug 27, 2025
c191a2a
deps/k_release: Set Version 7.1.286
rv-auditor Sep 13, 2025
4d1dc11
pyproject.toml: sync pyk version 7.1.286
rv-auditor Sep 13, 2025
e8a691e
deps/k_release: Set Version 7.1.288
rv-auditor Sep 18, 2025
adfbd4d
pyproject.toml: sync pyk version 7.1.288
rv-auditor Sep 18, 2025
9622fda
deps/k_release: Set Version 7.1.289
rv-auditor Oct 1, 2025
fb20f97
pyproject.toml: sync pyk version 7.1.289
rv-auditor Oct 1, 2025
4d540dd
Merge remote-tracking branch 'origin/master' into _update-deps/runtim…
rv-auditor Oct 8, 2025
1ea239a
deps/k_release: Set Version 7.1.296
rv-auditor Oct 8, 2025
6fd90f7
Set Version: 0.1.121
rv-auditor Oct 8, 2025
ff926d0
Sync uv version: uv 0.8.22
rv-auditor Oct 8, 2025
5cddedd
pyproject.toml: sync pyk version 7.1.296
rv-auditor Oct 8, 2025
ba66b4f
deps/k_release: Set Version 7.1.297
rv-auditor Oct 9, 2025
3312e9b
pyproject.toml: sync pyk version 7.1.297
rv-auditor Oct 9, 2025
b5f6f7a
Merge remote-tracking branch 'origin/master' into _update-deps/runtim…
rv-auditor Oct 14, 2025
7043360
deps/k_release: Set Version 7.1.298
rv-auditor Oct 14, 2025
b78ab76
Set Version: 0.1.122
rv-auditor Oct 14, 2025
c23e80e
Sync uv version: uv 0.9.2
rv-auditor Oct 14, 2025
d413239
pyproject.toml: sync pyk version 7.1.298
rv-auditor Oct 14, 2025
8a3d345
deps/k_release: Set Version 7.1.299
rv-auditor Oct 16, 2025
76599c7
pyproject.toml: sync pyk version 7.1.299
rv-auditor Oct 16, 2025
f7edfda
deps/k_release: Set Version 7.1.300
rv-auditor Oct 20, 2025
58c0224
pyproject.toml: sync pyk version 7.1.300
rv-auditor Oct 20, 2025
5ee15f0
deps/k_release: Set Version 7.1.301
rv-auditor Oct 30, 2025
26d76f2
pyproject.toml: sync pyk version 7.1.301
rv-auditor Oct 30, 2025
1ad3a96
deps/k_release: Set Version 7.1.302
rv-auditor Nov 12, 2025
87b3968
pyproject.toml: sync pyk version 7.1.302
rv-auditor Nov 12, 2025
a737dba
Merge remote-tracking branch 'origin/master' into _update-deps/runtim…
rv-auditor Nov 14, 2025
5d29af0
deps/k_release: Set Version 7.1.303
rv-auditor Nov 14, 2025
8e9ade6
Set Version: 0.1.123
rv-auditor Nov 14, 2025
e521d5d
deps/k_release: Set Version 7.1.304
rv-auditor Nov 14, 2025
f06ec47
Sync uv version: uv 0.9.9
rv-auditor Nov 14, 2025
b705e20
pyproject.toml: sync pyk version 7.1.304
rv-auditor Nov 14, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion deps/k_release
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
7.1.280
7.1.304
2 changes: 1 addition & 1 deletion deps/uv_release
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.7.2
0.9.9
2 changes: 1 addition & 1 deletion package/version
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.1.122
0.1.123
4 changes: 2 additions & 2 deletions pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,12 +4,12 @@ build-backend = "hatchling.build"

[project]
name = "kriscv"
version = "0.1.122"
version = "0.1.123"
description = "K tooling for the RISC-V architecture"
readme = "README.md"
requires-python = "~=3.10"
dependencies = [
"kframework==7.1.280",
"kframework==7.1.304",
"filelock>=3.14.0,<4",
"pyelftools>=0.26",
"pyyaml>=6.0.1,<7",
Expand Down
Loading