Commit 1bbdf33
authored
Updated mir-semantics (#167)
- More `BinOp::Offset` tests
https://github.com/runtimeverification/mir-semantics/pull/#935
- fix: type of offset for applyBinOp(binOpOffset, ...)
https://github.com/runtimeverification/mir-semantics/pull/#936
- Add type-correcting projections on pointer cast and related operations
https://github.com/runtimeverification/mir-semantics/pull/#937
- Fix metadata on `PtrToPtr` cast
https://github.com/runtimeverification/mir-semantics/pull/#941
- Corrections to Multisig cheatcodes
https://github.com/runtimeverification/mir-semantics/pull/#942
- Handled additional Range constructor in `toSigners` side condition.
https://github.com/runtimeverification/mir-semantics/pull/#944
- Update dependency: deps/stable-mir-json_release
runtimeverification/mir-semantics#938
- Improved `show` printing for leaves
runtimeverification/mir-semantics#946
- Fix/cachix pin no response
runtimeverification/mir-semantics#950
- Hotfix/cachix pin checks
runtimeverification/mir-semantics#951
- fix(rt): remove mutability guard on local variable assignment
runtimeverification/mir-semantics#948
- Makefile `stable-mir-json` command to build release also
runtimeverification/mir-semantics#963
- Add `rust-toolchain.toml`
runtimeverification/mir-semantics#959
- Add cut-point rules for specific functions / intrinsics (via
definition)
runtimeverification/mir-semantics#960
- Update dependency: deps/stable-mir-json_release
runtimeverification/mir-semantics#947
- Updated Solana cheatcodes with `Span` in `Call` `Terminator`
(c17566dc)1 parent 233457b commit 1bbdf33
1 file changed
Lines changed: 1 addition & 1 deletion
Submodule mir-semantics updated 50 files
- .github/scripts/check-cachix-pin.sh+86
- .github/workflows/release.yml+7-2
- .github/workflows/test-cachix-pin.yml+28
- .github/workflows/update-dependencies.yml+3-1
- Makefile+1
- deps/stable-mir-json+1-1
- deps/stable-mir-json_release+1-1
- flake.lock+7-7
- flake.nix+1-1
- kmir/src/kmir/__init__.py+1-1
- kmir/src/kmir/__main__.py+9-1
- kmir/src/kmir/_prove.py+7
- kmir/src/kmir/kdist/mir-semantics/intrinsics.md+13-13
- kmir/src/kmir/kdist/mir-semantics/kmir.md+89-14
- kmir/src/kmir/kdist/mir-semantics/rt/data.md+6-4
- kmir/src/kmir/kdist/mir-semantics/symbolic/p-token.md+57-19
- kmir/src/kmir/kdist/mir-semantics/symbolic/spl-token.md+10-10
- kmir/src/kmir/kdist/mir-semantics/ty.md+2
- kmir/src/kmir/kmir.py+2
- kmir/src/kmir/kompile.py+39-3
- kmir/src/kmir/options.py+5
- kmir/src/kmir/testing/fixtures.py+6-1
- kmir/src/kmir/ty.py+22
- kmir/src/kmir/utils.py+127-1
- kmir/src/tests/integration/data/crate-tests/two-crate-bin/crate2::main.expected+1-1
- kmir/src/tests/integration/data/exec-smir/pointers/pointer-cast-length-test-fail.state+3-3
- kmir/src/tests/integration/data/prove-rs/and_then_closure-fail.rs
- kmir/src/tests/integration/data/prove-rs/break-on-function.rs+15
- kmir/src/tests/integration/data/prove-rs/closure_access_struct-fail.rs
- kmir/src/tests/integration/data/prove-rs/immutable-local-reassign.rs+11
- kmir/src/tests/integration/data/prove-rs/iter_next_2.rs
- kmir/src/tests/integration/data/prove-rs/show/and_then_closure-fail.main.expected+3-3
- kmir/src/tests/integration/data/prove-rs/show/break-on-function.main.cli-break-on-function.expected+50
- kmir/src/tests/integration/data/prove-rs/show/closure_access_struct-fail.main.expected+15
- kmir/src/tests/integration/data/prove-rs/show/interior-mut3-fail.main.expected+9-8
- kmir/src/tests/integration/data/prove-rs/show/offset-u8-fail.main.expected+2-2
- kmir/src/tests/integration/data/prove-rs/show/symbolic-args-fail.main.cli-stats-leaves.expected+4-1
- kmir/src/tests/integration/data/run-smir-random/complex-types/final-0.expected+2-2
- kmir/src/tests/integration/data/run-smir-random/complex-types/final-1.expected+2-2
- kmir/src/tests/integration/data/run-smir-random/complex-types/final-2.expected+2-2
- kmir/src/tests/integration/data/run-smir-random/complex-types/final-3.expected+2-2
- kmir/src/tests/integration/data/run-smir-random/complex-types/final-4.expected+2-2
- kmir/src/tests/integration/data/run-smir-random/complex-types/final-5.expected+2-2
- kmir/src/tests/integration/data/run-smir-random/complex-types/final-6.expected+2-2
- kmir/src/tests/integration/data/run-smir-random/complex-types/final-8.expected+2-2
- kmir/src/tests/integration/data/run-smir-random/complex-types/final-9.expected+2-2
- kmir/src/tests/integration/test_cli.py+42
- kmir/src/tests/integration/test_integration.py+2-1
- kmir/uv.lock+232-206
- rust-toolchain.toml+3
0 commit comments