Skip to content

Commit

Permalink
update Miri
Browse files Browse the repository at this point in the history
  • Loading branch information
@RalfJung
RalfJung committed Jan 25, 2021
1 parent d3163e9 commit 26e67ad
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/miri
Submodule miri updated 19 files
+7 −2 .github/workflows/ci.yml
+4 −0 README.md
+109 −45 cargo-miri/bin.rs
+1 −1 ci.sh
+1 −1 rust-version
+0 −3 src/lib.rs
+12 −0 src/shims/foreign_items.rs
+0 −33 src/shims/intrinsics.rs
+1 −0 src/shims/posix/foreign_items.rs
+6 −6 src/shims/posix/macos/foreign_items.rs
+0 −1 src/shims/windows/dlsym.rs
+35 −0 src/shims/windows/foreign_items.rs
+1 −1 test-cargo-miri/run-test.py
+4 −0 test-cargo-miri/subcrate/Cargo.toml
+2 −0 test-cargo-miri/subcrate/src/lib.rs
+1 −0 test-cargo-miri/test.stderr-proc-macro.ref
+0 −2 tests/compile-fail/check_arg_count_too_few_args.rs
+0 −2 tests/compile-fail/check_arg_count_too_many_args.rs
+6 −0 tests/run-pass/vec.rs

0 comments on commit 26e67ad

Please sign in to comment.