about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2023-07-31Rollup merge of #113717 - cuishuang:master, r=NilstriebMatthias Krüger-1/+1
2023-07-31fix alignment handling for Repeat expressionsRalf Jung-0/+24
2023-07-31Auto merge of #3002 - RalfJung:miri-script, r=RalfJungbors-1/+1
2023-07-31fix oversight from new miri-scriptRalf Jung-1/+1
2023-07-31add some interesting tests for alignment corner casesRalf Jung-18/+67
2023-07-31remove repetitive wordscui fliter-1/+1
2023-07-31Auto merge of #2909 - osiewicz:rewrite-miri-script-in-rust-2883, r=RalfJungbors-361/+1016
2023-07-31port to hand-rolled parser, since clap doesn't behave just the right wayRalf Jung-354/+150
2023-07-31miri-script refactorRalf Jung-614/+553
2023-07-30rewrite miri script in RustPiotr Osiewicz-357/+1277
2023-07-30Auto merge of #2997 - RalfJung:test-utils, r=RalfJungbors-112/+77
2023-07-30refactor tests/utils a bit, and move some FS functions thereRalf Jung-112/+77
2023-07-30fmtThe Miri Conjob Bot-1/+1
2023-07-30Merge from rustcThe Miri Conjob Bot-8/+10
2023-07-30Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-07-29Auto merge of #114211 - RalfJung:miri, r=RalfJungbors-233/+336
2023-07-29Auto merge of #2993 - Vanille-N:tb-protector, r=RalfJungbors-151/+264
2023-07-29doc comment suggestionsNeven Villani-25/+57
2023-07-29Adjust some tests for invalid_reference_casting improvementsUrgau-0/+4
2023-07-29Fix test output.Mara Bos-2/+4
2023-07-29Change default panic handler message format.Mara Bos-47/+94
2023-07-29Auto merge of #113422 - Urgau:cast_ref_to_mut-pre-beta, r=Nilstriebbors-2/+2
2023-07-28exract a perform_access, check read-read commutation exhaustivelyNeven Villani-100/+193
2023-07-27Auto merge of #113298 - tgross35:update-bless-envs, r=oli-obkbors-6/+8
2023-07-27fmtRalf Jung-20/+11
2023-07-27Merge from rustcRalf Jung-136/+125
2023-07-27Preparing for merge from rustcRalf Jung-1/+1
2023-07-26Auto merge of #113843 - wesleywiser:replace_rustc_apfloat, r=pnkfelixbors-10/+0
2023-07-26Unite bless environment variables under `RUSTC_BLESS`Trevor Gross-6/+8
2023-07-26Fix miriWesley Wiser-10/+0
2023-07-26we correctly check that the perm is not lazy when triggering protectorsNeven Villani-0/+16
2023-07-26fix protectors so that all reads actually commuteNeven Villani-87/+59
2023-07-26Auto merge of #2991 - rust-lang:rustup-2023-07-26, r=RalfJungbors-159/+151
2023-07-26normalize tree borrow diagnostics across targetsRalf Jung-52/+54
2023-07-26move CI var uses after their declarationRalf Jung-4/+4
2023-07-26sparse registry has been stable for a bit nowRalf Jung-3/+0
2023-07-26move nightly cron job a little earlierRalf Jung-1/+1
2023-07-26fmtThe Miri Conjob Bot-2/+3
2023-07-26Merge from rustcThe Miri Conjob Bot-106/+95
2023-07-26Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-07-25make MPlaceTy non-CopyRalf Jung-12/+12
2023-07-25interpret: make read functions generic over operand typeRalf Jung-45/+45
2023-07-25interpret: make write functions generic over the place typeRalf Jung-71/+71
2023-07-25Auto merge of #114011 - RalfJung:place-projection, r=oli-obkbors-106/+95
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-103/+92
2023-07-24interpret: support projecting into Place::Local without force_allocationRalf Jung-3/+3
2023-07-23Merge from rustcRalf Jung-12/+9
2023-07-23Preparing for merge from rustcRalf Jung-1/+1
2023-07-22fmtThe Miri Conjob Bot-2/+2
2023-07-22Merge from rustcThe Miri Conjob Bot-9/+12