Commit 8bd9f9a

authored

Update dependency: deps/kriscv_release (#20)

Update `kriscv` to version `0.1.82`. * Includes update according to runtimeverification/k#4808 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Tamás Tóth <[email protected]>

1 parent 7524f60 commit 8bd9f9aCopy full SHA for 8bd9f9a

5 files changed

+171

-181

lines changed

deps
- k_release
- kriscv_release
poetry.lock
pyproject.toml
src/tests/integration
- test_prove.py

5 files changed

+171

-181

lines changed

`‎deps/k_release`

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-7.1.249`
	`1`	`+7.1.257`

`‎deps/kriscv_release`

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-0.1.71`
	`1`	`+0.1.82`

Comments

(0)