about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
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
2023-06-29Auto merge of #2947 - oli-obk:gha_mk_pr, r=RalfJungbors-0/+3
2023-06-29Checking for a cached value without having a cache is uselessOli Scherer-4/+1
2023-06-29Bashy Mc BashfaceOli Scherer-0/+6
2023-06-29Merge from rustcRalf Jung-8/+8
2023-06-29Preparing for merge from rustcRalf Jung-1/+1
2023-06-28Auto merge of #2936 - Vanille-N:unique, r=RalfJungbors-39/+524
2023-06-28Unique gets special treatment when -Zmiri-unique-is-uniqueNeven Villani-13/+486
2023-06-28Auto merge of #2945 - oli-obk:gha_mk_pr, r=RalfJungbors-1/+25
2023-06-28Try running a sync automaticallyOli Scherer-1/+25
2023-06-28Rollup merge of #111571 - jhpratt:proc-macro-span, r=m-ou-seDylan DPC-8/+8
2023-06-28fmtOli Scherer-2/+2
2023-06-28Merge from rustcOli Scherer-11/+14
2023-06-28Preparing for merge from rustcOli Scherer-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 12:28:10 +0000