about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2023-03-31Auto merge of #98112 - saethlin:mir-alignment-checks, r=oli-obkbors-11/+53
2023-03-24miri: fix raw pointer dyn receiversRalf Jung-0/+27
2023-03-23A MIR transform that checks pointers are alignedBen Kimock-11/+53
2023-03-22Add `CastKind::Transmute` to MIRScott McMurray-5/+7
2023-03-23Rollup merge of #109435 - oli-obk:🇨🇭🥚_copy_op, r=RalfJungDylan DPC-1/+1
2023-03-21LocalCrate keyMichael Goulet-1/+2
2023-03-21Use local key in providersMichael Goulet-3/+2
2023-03-21Add a layout argument to `enforce_validity`.Oli Scherer-1/+1
2023-03-21Auto merge of #108262 - ChrisDenton:libntdll, r=Mark-Simulacrumbors-69/+68
2023-03-18Rollup merge of #109234 - tmiasko:overflow-checks, r=cjgillotMatthias Krüger-1/+1
2023-03-16Auto merge of #2817 - saethlin:rustup, r=saethlinbors-1/+1
2023-03-16Preparing for merge from rustcBen Kimock-1/+1
2023-03-16Tweak implementation of overflow checking assertionsTomasz MiÄ…sko-1/+1
2023-03-16TB: select tests to run both TB and SBNeven Villani-5/+116
2023-03-16TB: new testsNeven Villani-0/+888
2023-03-16TB: document TB changes in READMENeven Villani-118/+218
2023-03-16TB: integrationNeven Villani-16/+54
2023-03-16TB: Reborrow policy and connection to the main machineNeven Villani-1/+608
2023-03-16TB: error and tree formattingNeven Villani-0/+592
2023-03-16TB: tree traversalNeven Villani-0/+339
2023-03-16TB: public interface to permissionsNeven Villani-0/+93
2023-03-16TB: Tree structureNeven Villani-0/+215
2023-03-16TB: Util: an efficient mapping for permissionsNeven Villani-0/+304
2023-03-16TB: encoding of the underlying state machineNeven Villani-0/+214
2023-03-15Auto merge of #2806 - saethlin:better-install, r=RalfJungbors-17/+15
2023-03-15use date-based cache keyRalf Jung-4/+4
2023-03-14Merge from rustcBen Kimock-74/+23
2023-03-14Preparing for merge from rustcBen Kimock-1/+1
2023-03-14Don't use CI caches from before this branchBen Kimock-4/+4
2023-03-14Update docs to matchBen Kimock-10/+7
2023-03-12Auto merge of #2811 - saethlin:readme-nextest, r=RalfJungbors-0/+20
2023-03-12tweak readmeRalf Jung-3/+3
2023-03-12Add a section on using nextestBen Kimock-0/+20
2023-03-12Remove uses of `box_syntax` in rustc and toolsclubby789-38/+15
2023-03-11Implement intrinsics for round_ties_evenBen Kimock-0/+35
2023-03-10Merge from rustcBen Kimock-1/+4
2023-03-10Preparing for merge from rustcBen Kimock-1/+1
2023-03-09Install binaries to the miri toolchain's sysrootBen Kimock-4/+5
2023-03-09replace legacy copyright annotations in submodulesPietro Albini-36/+8
2023-03-08Auto merge of #108312 - michaelwoerister:hash-set-not-hash-stable, r=eholkbors-1/+4
2023-03-05Merge from rustcBen Kimock-1/+2
2023-03-05Preparing for merge from rustcBen Kimock-1/+1
2023-03-02Rollup merge of #108022 - CraftSpider:align-bytes, r=oli-obkMatthias Krüger-1/+2
2023-03-01Use LocalDefIdSet instead of FxHashSet for reachable_set query.Michael Woerister-1/+4
2023-02-26replace as_file_handle by as_anyRalf Jung-14/+38
2023-02-26a bit of FileDescriptor trait cleanupRalf Jung-31/+35
2023-02-26Merge from rustcRalf Jung-1/+1
2023-02-26Preparing for merge from rustcRalf Jung-1/+1
2023-02-25Auto merge of #2798 - LevitatingLion:master, r=oli-obkbors-17/+46
2023-02-24CI: Move `arm-unknown-linux-gnueabi` tests to Windows hostLevitatingLion-1/+1