Commit d19ea27
1 file changed
+1
-1
lines changedSubmodule mir-semantics updated 64 files
- Makefile+6-1
- kmir/src/kmir/kdist/mir-semantics/kmir.md+15-1
- kmir/src/kmir/kdist/mir-semantics/lemmas/kmir-lemmas.md+19
- kmir/src/kmir/kdist/mir-semantics/rt/data.md+61-4
- kmir/src/kmir/kdist/mir-semantics/rt/numbers.md-25
- kmir/src/kmir/kdist/mir-semantics/rt/types.md+75
- kmir/src/kmir/kdist/mir-semantics/rt/value.md+4-1
- kmir/src/kmir/kdist/mir-semantics/symbolic/spl-token.md+110-21
- kmir/src/kmir/kdist/mir-semantics/ty.md+6-2
- kmir/src/kmir/kmir.py+6-1
- kmir/src/kmir/linker.py+1
- kmir/src/kmir/testing/fixtures.py+6
- kmir/src/kmir/ty.py+13
- kmir/src/tests/integration/data/exec-smir/allocs/array_const_compare.smir.json+115-115
- kmir/src/tests/integration/data/exec-smir/allocs/array_nest_compare.smir.json+59-59
- kmir/src/tests/integration/data/exec-smir/allocs/enum-two-refs-fail.smir.json+572-572
- kmir/src/tests/integration/data/exec-smir/allocs/enum-two-refs-fail.state+10-10
- kmir/src/tests/integration/data/exec-smir/allocs/option_consts.smir.json+638-638
- kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.smir.json+15-15
- kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic.smir.json+3-3
- kmir/src/tests/integration/data/exec-smir/arithmetic/unary.smir.json+2-2
- kmir/src/tests/integration/data/exec-smir/arrays/array_indexing.smir.json+49-49
- kmir/src/tests/integration/data/exec-smir/arrays/array_inlined.smir.json+65-65
- kmir/src/tests/integration/data/exec-smir/arrays/array_write.smir.json+4-4
- kmir/src/tests/integration/data/exec-smir/assign-cast/assign-cast.smir.json+2-2
- kmir/src/tests/integration/data/exec-smir/call-with-args/closure-call.smir.json+84-84
- kmir/src/tests/integration/data/exec-smir/call-with-args/main-a-b-with-int.smir.json+9-9
- kmir/src/tests/integration/data/exec-smir/enum/enum.smir.json+9-9
- kmir/src/tests/integration/data/exec-smir/intrinsic/blackbox.smir.json+72-72
- kmir/src/tests/integration/data/exec-smir/intrinsic/blackbox_function_symbols.expected.json+1-1
- kmir/src/tests/integration/data/exec-smir/intrinsic/raw_eq_simple.smir.json+8-8
- kmir/src/tests/integration/data/exec-smir/main-a-b-c/main-a-b-c.smir.json+3-3
- kmir/src/tests/integration/data/exec-smir/newtype-pubkey/newtype-pubkey.smir.json+81-81
- kmir/src/tests/integration/data/exec-smir/niche-enum/niche-enum.smir.json+217-217
- kmir/src/tests/integration/data/exec-smir/pointers/offset_get_unchecked.smir.json+221-221
- kmir/src/tests/integration/data/exec-smir/pointers/offset_read.smir.json+79-79
- kmir/src/tests/integration/data/exec-smir/pointers/offset_struct_field_read.smir.json+80-80
- kmir/src/tests/integration/data/exec-smir/pointers/offset_struct_field_write.smir.json+51-51
- kmir/src/tests/integration/data/exec-smir/pointers/offset_write.smir.json+50-50
- kmir/src/tests/integration/data/exec-smir/pointers/pointer-cast-length-test-fail.smir.json+9-9
- kmir/src/tests/integration/data/exec-smir/pointers/pointer-cast-zst.smir.json+3.6k-1
- kmir/src/tests/integration/data/exec-smir/pointers/ref_ptr_cases.smir.json+486-486
- kmir/src/tests/integration/data/exec-smir/references/array_elem_ref.smir.json+8-8
- kmir/src/tests/integration/data/exec-smir/references/doubleRef.smir.json+50-50
- kmir/src/tests/integration/data/exec-smir/references/mutableRef.smir.json+50-50
- kmir/src/tests/integration/data/exec-smir/references/refAsArg.smir.json+49-49
- kmir/src/tests/integration/data/exec-smir/references/refAsArg2.smir.json+4-4
- kmir/src/tests/integration/data/exec-smir/references/refReturned.smir.json+49-49
- kmir/src/tests/integration/data/exec-smir/references/simple.smir.json+13-13
- kmir/src/tests/integration/data/exec-smir/references/weirdRefs.smir.json+21-21
- kmir/src/tests/integration/data/exec-smir/struct-multi/struct-multi.smir.json+283-283
- kmir/src/tests/integration/data/exec-smir/structs-tuples/struct_field_update.smir.json+9-9
- kmir/src/tests/integration/data/exec-smir/structs-tuples/structs-tuples.smir.json+9-9
- kmir/src/tests/integration/data/prove-rs/align_and_size.rs+208
- kmir/src/tests/integration/data/prove-rs/arith.smir.json+50-50
- kmir/src/tests/integration/data/prove-rs/iterator-simple-fail.rs+1-1
- kmir/src/tests/integration/data/prove-rs/maybe-uninit.rs+7
- kmir/src/tests/integration/data/prove-rs/show/arith.smir.cli-info.expected+1-1
- kmir/src/tests/integration/data/prove-rs/show/unions-fail.main.expected+16
- kmir/src/tests/integration/data/prove-rs/spl_token_domain_data.rs+409-21
- kmir/src/tests/integration/data/prove-rs/unions-fail.rs+16
- kmir/src/tests/integration/data/run-smir-random/complex-types/test.smir.json+579-575
- kmir/src/tests/integration/data/run-smir-random/simple-types/test.smir.json+95-95
- kmir/src/tests/integration/test_integration.py+2-1
0 commit comments