about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2023-03-21Have the miri cronjob link to the failed run.Oli Scherer-1/+6
2023-03-21Merge from rustcRalf Jung-69/+68
2023-03-21Preparing for merge from rustcRalf Jung-1/+1
2023-03-21Auto merge of #108262 - ChrisDenton:libntdll, r=Mark-Simulacrumbors-69/+68
2023-03-20move reject with isolation for fcntl under F_FULLFSYNCDebugSteven-17/+26
2023-03-19Merge from rustcBen Kimock-1/+1
2023-03-19Preparing for merge from rustcBen Kimock-1/+1
2023-03-19Auto merge of #2816 - oli-obk:💤, r=RalfJungbors-6/+27
2023-03-19Update the virtual clock in isolation mode to step forward with around the sa...Oli Scherer-6/+27
2023-03-18Rollup merge of #109234 - tmiasko:overflow-checks, r=cjgillotMatthias Krüger-1/+1
2023-03-18sort flags alphabeticallyRalf Jung-2/+2
2023-03-18tweak messageRalf Jung-2/+2
2023-03-17Emit a warning when Miri is used with optimizationsBen Kimock-2/+20
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 21:23:50 +0000