Update dependency: deps/kriscv_release (#83)

rv-jenkins · rv-auditor · tothtamas28 · web-flow · commit c92f5f45ba74 · 2025-08-21T12:04:17.000+02:00
Update `kriscv` to version `0.1.119`.

---------

Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
Co-authored-by: Tamás Tóth &lt;tothtamas28@users.noreply.github.com&gt;
diff --git a/deps/kriscv_release b/deps/kriscv_release
@@ -1 +1 @@
-0.1.118
+0.1.119
diff --git a/pyproject.toml b/pyproject.toml
@@ -9,7 +9,7 @@ description = ""
 readme = "README.md"
 requires-python = "~=3.10"
 dependencies = [
-    "kriscv@git+https://github.com/runtimeverification/riscv-semantics.git@v0.1.118"
+    "kriscv@git+https://github.com/runtimeverification/riscv-semantics.git@v0.1.119"
 ]
 
 [[project.authors]]
diff --git a/uv.lock b/uv.lock

Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@ description = ""`
`9`	`9`	`readme = "README.md"`
`10`	`10`	`requires-python = "~=3.10"`
`11`	`11`	`dependencies = [`
`12`		`- "kriscv@git+https://github.com/runtimeverification/[email protected].118"`
	`12`	`+ "kriscv@git+https://github.com/runtimeverification/[email protected].119"`
`13`	`13`	`]`
`14`	`14`
`15`	`15`	`[[project.authors]]`