remove unstable ptr-to-ref-cast-checks and update submodules

model-checking · Aug 16, 2024 · 24a0b16 · 24a0b16
1 parent 1761d8a
commit 24a0b16
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/library/backtrace b/library/backtrace
diff --git a/library/stdarch b/library/stdarch
diff --git a/scripts/check_kani.sh b/scripts/check_kani.sh
@@ -44,7 +44,7 @@ cargo build-dev --release
 echo "Running tests..."
 echo
 cd "$VERIFY_RUST_STD_DIR"
-$KANI_DIR/scripts/kani verify-std -Z unstable-options $VERIFY_RUST_STD_DIR/library --target-dir "$RUNNER_TEMP" -Z function-contracts -Z mem-predicates -Z ptr-to-ref-cast-checks
+$KANI_DIR/scripts/kani verify-std -Z unstable-options $VERIFY_RUST_STD_DIR/library --target-dir "$RUNNER_TEMP" -Z function-contracts -Z mem-predicates
 
 echo "Tests completed."
 echo
+167 −169		.github/workflows/main.yml
+115 −21		Cargo.lock
+0 −17		Cargo.toml
+63 −0		bindings.txt
+1 −0		crates/as-if-std/Cargo.toml
+8 −8		src/backtrace/dbghelp32.rs
+11 −11		src/backtrace/dbghelp64.rs
+110 −15		src/capture.rs
+71 −129		src/dbghelp.rs
+2 −1		src/lib.rs
+10 −10		src/symbolize/dbghelp.rs
+2 −2		src/symbolize/gimli/libs_windows.rs
+7 −5		src/symbolize/gimli/mmap_windows.rs
+2 −2		src/symbolize/mod.rs
+0 −749		src/windows.rs
+893 −0		src/windows_sys.rs
+3 −3		tests/concurrent-panics.rs
+10 −0		tests/current-exe-mismatch.rs
+8 −5		tests/skip_inner_frames.rs
+21 −19		tests/smoke.rs
+12 −12		crates/core_arch/src/aarch64/neon/mod.rs
+5 −4		crates/core_arch/src/arm/dsp.rs
+48 −52		crates/core_arch/src/arm/neon.rs
+5 −4		crates/core_arch/src/arm/simd32.rs
+37 −37		crates/core_arch/src/arm_shared/neon/generated.rs
+135 −220		crates/core_arch/src/arm_shared/neon/mod.rs
+2 −1		crates/core_arch/src/lib.rs
+12 −36		crates/core_arch/src/loongarch64/lasx/types.rs
+12 −20		crates/core_arch/src/loongarch64/lsx/types.rs
+58 −7		crates/core_arch/src/macros.rs
+187 −217		crates/core_arch/src/mips/msa.rs
+0 −12		crates/core_arch/src/mod.rs
+12 −23		crates/core_arch/src/powerpc/altivec.rs
+6 −8		crates/core_arch/src/powerpc/vsx.rs
+105 −82		crates/core_arch/src/simd.rs
+3 −2		crates/core_arch/src/wasm32/simd128.rs
+3 −3		crates/core_arch/src/x86/avx.rs
+17 −17		crates/core_arch/src/x86/avx512bf16.rs
+11 −11		crates/core_arch/src/x86/avx512fp16.rs
+14 −14		crates/core_arch/src/x86/avxneconvert.rs
+120 −49		crates/core_arch/src/x86/mod.rs
+7 −7		crates/core_arch/src/x86/sse.rs
+3 −3		crates/core_arch/src/x86/sse2.rs
+4 −4		crates/stdarch-gen-arm/src/main.rs