Commit dfc2a4a
authored
Updating mir-semantics submodule to latest (#105)
- runtimeverification/mir-semantics#811
- runtimeverification/mir-semantics#847
- runtimeverification/mir-semantics#846
- runtimeverification/mir-semantics#840
- runtimeverification/mir-semantics#8391 parent b6ad8c7 commit dfc2a4a
1 file changed
Lines changed: 1 addition & 1 deletion
Submodule mir-semantics updated 26 files
- deps/k_release+1-1
- deps/pyproject-build-systems+1-1
- deps/uv2nix+1-1
- deps/uv_release+1-1
- flake.lock+32-32
- flake.nix+3-3
- kmir/pyproject.toml+1-1
- kmir/src/kmir/kdist/mir-semantics/rt/data.md+110-12
- kmir/src/kmir/kdist/mir-semantics/rt/decoding.md-6
- kmir/src/kmir/kdist/mir-semantics/rt/types.md+45
- kmir/src/kmir/kdist/mir-semantics/symbolic/p-token.md+62-27
- kmir/src/tests/integration/data/exec-smir/pointers/pointer-cast-zst.rs+14
- kmir/src/tests/integration/data/exec-smir/pointers/pointer-cast-zst.smir.json+1
- kmir/src/tests/integration/data/exec-smir/pointers/pointer-cast-zst.state+50
- kmir/src/tests/integration/data/prove-rs/interior-mut2.rs
- kmir/src/tests/integration/data/prove-rs/show/interior-mut-fail.main.expected+3-3
- kmir/src/tests/integration/data/prove-rs/show/interior-mut3-fail.main.expected+28-5
- kmir/src/tests/integration/data/prove-rs/show/transmute-u8-to-enum-changed-discriminant-signed-fail.main.expected+15
- kmir/src/tests/integration/data/prove-rs/show/transmute-u8-to-enum-fail.main.expected+3-3
- kmir/src/tests/integration/data/prove-rs/transmute-try-from-symbolic.rs+40
- kmir/src/tests/integration/data/prove-rs/transmute-u8-to-enum-changed-discriminant-signed-fail.rs+20
- kmir/src/tests/integration/data/prove-rs/transmute-u8-to-enum-changed-discriminant.rs+22
- kmir/src/tests/integration/data/prove-rs/transmute-u8-to-enum-fail.rs+15
- kmir/src/tests/integration/data/prove-rs/transmute-u8-to-enum.rs+15
- kmir/src/tests/integration/test_integration.py+8-1
- kmir/uv.lock+144-141
0 commit comments