Commit 6d91599
1 file changed
+1
-1
lines changedSubmodule mir-semantics updated 34 files
- deps/k_release+1-1
- deps/stable-mir-json+1-1
- flake.lock+7-7
- flake.nix+1-1
- kmir/pyproject.toml+1-1
- kmir/src/kmir/__main__.py+142
- kmir/src/kmir/kast.py+24-10
- kmir/src/kmir/kdist/mir-semantics/kmir.md+13-12
- kmir/src/kmir/kdist/mir-semantics/rt/data.md+17-26
- kmir/src/kmir/kmir.py+79-4
- kmir/src/kmir/options.py+90
- kmir/src/tests/integration/data/exec-smir/enum/enum.state+1-1
- kmir/src/tests/integration/data/run-smir-random/complex-types/init-0.expected+1-1
- kmir/src/tests/integration/data/run-smir-random/complex-types/init-1.expected+1-1
- kmir/src/tests/integration/data/run-smir-random/complex-types/init-2.expected+1-1
- kmir/src/tests/integration/data/run-smir-random/complex-types/init-3.expected+1-1
- kmir/src/tests/integration/data/run-smir-random/complex-types/init-4.expected+1-1
- kmir/src/tests/integration/data/run-smir-random/complex-types/init-5.expected+1-1
- kmir/src/tests/integration/data/run-smir-random/complex-types/init-6.expected+1-1
- kmir/src/tests/integration/data/run-smir-random/complex-types/init-7.expected+1-1
- kmir/src/tests/integration/data/run-smir-random/complex-types/init-8.expected+1-1
- kmir/src/tests/integration/data/run-smir-random/complex-types/init-9.expected+1-1
- kmir/src/tests/integration/data/run-smir-random/simple-types/init-0.expected+1-1
- kmir/src/tests/integration/data/run-smir-random/simple-types/init-1.expected+1-1
- kmir/src/tests/integration/data/run-smir-random/simple-types/init-2.expected+1-1
- kmir/src/tests/integration/data/run-smir-random/simple-types/init-3.expected+1-1
- kmir/src/tests/integration/data/run-smir-random/simple-types/init-4.expected+1-1
- kmir/src/tests/integration/data/run-smir-random/simple-types/init-5.expected+1-1
- kmir/src/tests/integration/data/run-smir-random/simple-types/init-6.expected+1-1
- kmir/src/tests/integration/data/run-smir-random/simple-types/init-7.expected+1-1
- kmir/src/tests/integration/data/run-smir-random/simple-types/init-8.expected+1-1
- kmir/src/tests/integration/data/run-smir-random/simple-types/init-9.expected+1-1
- kmir/src/tests/integration/test_run_smir_random.py+2-8
- kmir/uv.lock+13-15
0 commit comments