1 file changed
+1
-1
lines changedSubmodule mir-semantics updated 33 files
- kmir/src/kmir/__main__.py+1-9
- kmir/src/kmir/alloc.py+7-7
- kmir/src/kmir/decoding.py+86-39
- kmir/src/kmir/kdist/mir-semantics/kmir.md+1-1
- kmir/src/kmir/kdist/mir-semantics/lemmas/kmir-lemmas.md+11-15
- kmir/src/kmir/kdist/mir-semantics/rt/decoding.md+4-100
- kmir/src/kmir/kdist/mir-semantics/rt/numbers.md+1-1
- kmir/src/kmir/kdist/mir-semantics/rt/value.md+3
- kmir/src/kmir/kmir.py+23-85
- kmir/src/kmir/options.py-5
- kmir/src/kmir/value.py+63-10
- kmir/src/tests/integration/data/decode-value/str.expected+1
- kmir/src/tests/integration/data/decode-value/str.json+26
- kmir/src/tests/integration/data/exec-smir/allocs/array_const_compare.state+1-1
- kmir/src/tests/integration/data/exec-smir/allocs/array_nest_compare.state+2-2
- kmir/src/tests/integration/data/exec-smir/allocs/enum-two-refs-fail.state+13-13
- kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.state+2-2
- kmir/src/tests/integration/data/exec-smir/arrays/array_indexing.state+1-1
- kmir/src/tests/integration/data/exec-smir/arrays/array_write.state+1-1
- kmir/src/tests/integration/data/exec-smir/intrinsic/raw_eq_simple.state+1-1
- kmir/src/tests/integration/data/exec-smir/pointers/pointer-cast-length-test-fail.state+4-4
- kmir/src/tests/integration/data/exec-smir/references/array_elem_ref.state+1-1
- kmir/src/tests/integration/data/exec-smir/references/doubleRef.state+2-2
- kmir/src/tests/integration/data/exec-smir/references/mutableRef.state+2-2
- kmir/src/tests/integration/data/exec-smir/references/refAsArg.state+1-1
- kmir/src/tests/integration/data/exec-smir/references/refAsArg2.state+1-1
- kmir/src/tests/integration/data/exec-smir/references/refReturned.state+1-1
- kmir/src/tests/integration/data/exec-smir/references/simple.state+1-1
- kmir/src/tests/integration/data/exec-smir/references/weirdRefs.state+5-5
- kmir/src/tests/integration/data/exec-smir/structs-tuples/struct_field_update.state+1-1
- kmir/src/tests/integration/data/exec-smir/structs-tuples/structs-tuples.state+3-3
- kmir/src/tests/integration/data/prove-rs/show/interior-mut-fail.main.expected+1-1
- kmir/src/tests/integration/test_decode_value.py+4
0 commit comments