Skip to content
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

Update dependency: deps/k_release #6

Merged
merged 41 commits into from
May 24, 2024
Merged

Update dependency: deps/k_release #6

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
41 commits
Select commit Hold shift + click to select a range
ce3d9f0
deps/k_release: Set Version 7.0.71
May 18, 2024
a1e9ff8
Set Version: 0.1.5
May 18, 2024
ba5207c
pyproject.toml: sync pyk version 7.0.71
May 18, 2024
f86cf3b
deps/k_release: Set Version 7.0.72
May 21, 2024
106c659
pyproject.toml: sync pyk version 7.0.72
May 21, 2024
84b2d50
deps/k_release: Set Version 7.0.74
May 21, 2024
392d7c0
pyproject.toml: sync pyk version 7.0.74
May 21, 2024
dedb518
deps/k_release: Set Version 7.0.75
May 21, 2024
2242237
pyproject.toml: sync pyk version 7.0.75
May 21, 2024
2278af4
deps/k_release: Set Version 7.0.76
May 21, 2024
dd77313
pyproject.toml: sync pyk version 7.0.76
May 21, 2024
9382dee
deps/k_release: Set Version 7.0.77
May 21, 2024
91de355
pyproject.toml: sync pyk version 7.0.77
May 21, 2024
20ae12f
deps/k_release: Set Version 7.0.78
May 21, 2024
4c76edc
pyproject.toml: sync pyk version 7.0.78
May 21, 2024
9e9dc7e
deps/k_release: Set Version 7.0.79
May 21, 2024
a4e8417
pyproject.toml: sync pyk version 7.0.79
May 21, 2024
c3a9872
deps/k_release: Set Version 7.0.80
May 22, 2024
ea3fda1
pyproject.toml: sync pyk version 7.0.80
May 22, 2024
665a46d
deps/k_release: Set Version 7.0.81
May 22, 2024
03b7516
pyproject.toml: sync pyk version 7.0.81
May 22, 2024
6ce13ed
deps/k_release: Set Version 7.0.82
May 22, 2024
87b54d9
pyproject.toml: sync pyk version 7.0.82
May 22, 2024
456ec29
deps/k_release: Set Version 7.0.83
May 22, 2024
53658db
pyproject.toml: sync pyk version 7.0.83
May 22, 2024
31f1a4b
deps/k_release: Set Version 7.0.84
May 22, 2024
051b664
pyproject.toml: sync pyk version 7.0.84
May 22, 2024
241e6e7
deps/k_release: Set Version 7.0.85
May 22, 2024
420791f
pyproject.toml: sync pyk version 7.0.85
May 22, 2024
be2c5af
deps/k_release: Set Version 7.0.86
May 23, 2024
5334f86
pyproject.toml: sync pyk version 7.0.86
May 23, 2024
aef85d8
deps/k_release: Set Version 7.0.87
May 23, 2024
789349c
pyproject.toml: sync pyk version 7.0.87
May 23, 2024
56d59b6
deps/k_release: Set Version 7.0.88
May 23, 2024
4997ca4
pyproject.toml: sync pyk version 7.0.88
May 23, 2024
f0007c4
deps/k_release: Set Version 7.0.89
May 23, 2024
1626c57
pyproject.toml: sync pyk version 7.0.89
May 23, 2024
9ba6872
deps/k_release: Set Version 7.0.90
May 24, 2024
b46b103
pyproject.toml: sync pyk version 7.0.90
May 24, 2024
67225cf
deps/k_release: Set Version 7.0.91
May 24, 2024
f737e6d
pyproject.toml: sync pyk version 7.0.91
May 24, 2024
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.0.70
7.0.91
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.4
0.1.5
39 changes: 19 additions & 20 deletions poetry.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

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,7 +4,7 @@ build-backend = "poetry.core.masonry.api"

[tool.poetry]
name = "kriscv"
version = "0.1.4"
version = "0.1.5"
description = "K tooling for the RISC-V architecture"
authors = [
"Runtime Verification, Inc. <[email protected]>",
Expand All @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin"

[tool.poetry.dependencies]
python = "^3.10"
pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.70", subdirectory = "pyk" }
pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.91", subdirectory = "pyk" }

[tool.poetry.group.dev.dependencies]
autoflake = "*"
Expand Down
Loading