about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-2/+2
2023-07-12Auto merge of #112945 - compiler-errors:tighten-span-of-adjustment-error, r=o...bors-15/+8
2023-07-11fix handling of alignment for dyn-sized placesRalf Jung-5/+6
2023-07-11miri tree borrows: skip retag_reference early if there is no NewPermissionRalf Jung-13/+15
2023-07-11miri: protect Move() function arguments during the callRalf Jung-85/+422
2023-07-10Do not set up wrong span for adjustmentsMichael Goulet-15/+8
2023-07-10Merge from rustcRalf Jung-0/+43
2023-07-10Preparing for merge from rustcRalf Jung-1/+1
2023-07-09test and fix return place alias restrictionsRalf Jung-2/+124
2023-07-09Auto merge of #113488 - RalfJung:miri, r=RalfJungbors-98/+251
2023-07-08Merge from rustcThe Miri Conjob Bot-1/+1
2023-07-08Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-07-07Rollup merge of #113441 - RalfJung:assign-no-overlap, r=oli-obkMichael Goulet-0/+43
2023-07-07miri: check that assignments do not self-overlapRalf Jung-0/+43
2023-07-07Auto merge of #2969 - oli-obk:run-dep, r=RalfJungbors-10/+11
2023-07-07MIRIFLAGS are already passed in the `./miri` wrapperOli Scherer-5/+0
2023-07-07Remove a now-useless flagOli Scherer-1/+0
2023-07-07Silence all the boilerplate around `./miri run` and `./miri run-dep`Oli Scherer-1/+1
2023-07-07Use new std::simd fn in miri testsJubilee Young-1/+1
2023-07-07fmtThe Miri Conjob Bot-19/+26
2023-07-07Merge from rustcThe Miri Conjob Bot-14/+17
2023-07-07Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-07-06Stop parsing ui_test annotations in `run-dep` modeOli Scherer-10/+17
2023-07-06Ignore test on appleOli Scherer-0/+1
2023-07-05C "memcpy" shim: ensure the pointers are validRalf Jung-0/+108
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-14/+17
2023-07-04Auto merge of #2960 - oli-obk:run_filter, r=oli-obkbors-1/+2
2023-07-04Auto merge of #2963 - RalfJung:start, r=RalfJungbors-2/+6
2023-07-04Restore test filtering by substring.Oli Scherer-1/+2
2023-07-04better error on missing #[start]Ralf Jung-2/+6
2023-07-04Auto merge of #2957 - RalfJung:zulip, r=oli-obkbors-5/+11
2023-07-03vec tets: ensure pointer is still writeableRalf Jung-6/+6
2023-07-03remove outdated commentRalf Jung-1/+0
2023-07-03send link to PR to ZulipRalf Jung-4/+11
2023-07-03Silence clippy on FIXME'd code and fix the new lints otherwiseOli Scherer-2/+4
2023-07-03fmtThe Miri Conjob Bot-35/+53
2023-07-03Merge from rustcThe Miri Conjob Bot-1/+2
2023-07-03Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-07-02can't seem to avoid repeating the branch name...Ralf Jung-3/+3
2023-07-02more CI yml cleanupRalf Jung-7/+6
2023-07-02sadly 'gh' doesnt support all git upstream branch configsRalf Jung-2/+4
2023-07-02cronjob auto-PR: try to fix setting the remote branchRalf Jung-4/+2
2023-07-02Auto merge of #2950 - icewind1991:cargo-miri-rustc-error, r=RalfJungbors-1/+5
2023-07-02cron auto-PR: need to set upstream branchRalf Jung-2/+2
2023-07-02cargo-miri: better error message when RUSTC is not setRobin Appelman-1/+5
2023-07-02CI cleanupRalf Jung-8/+3
2023-07-02cronjob auto-PR: fetch more of the historyRalf Jung-2/+2
2023-07-02cronjob auto-PR: make sure we are on a branchRalf Jung-2/+6
2023-07-01Put `LayoutError` behind reference to shrink resultNilstrieb-1/+1
2023-06-29Use a valid `target` directory in miri ui testsOli Scherer-0/+1