summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2023-04-13Rollup merge of #110072 - joshtriplett:stabilize-is-terminal, r=Mark-SimulacrumMatthias Krüger-4/+0
2023-04-10rustupBen Kimock-14/+10
2023-04-10Turn off the alignment check pass, remove the panic test for itBen Kimock-11/+3
2023-04-10Merge from rustcBen Kimock-40/+84
2023-04-10Preparing for merge from rustcBen Kimock-1/+1
2023-04-10Stabilize IsTerminalJosh Triplett-4/+0
2023-04-07Auto merge of #102906 - nbdd0121:mir, r=wesleywiser,tmiaskobors-39/+84
2023-04-06Stabilize is_some_andJonas Platte-1/+0
2023-04-06Add miri tests for terminate terminatorGary Guo-4/+58
2023-04-06Bless testsGary Guo-9/+9
2023-04-06Fix new usage of old apiGary Guo-4/+1
2023-04-06Add `UnwindAction::Unreachable`Gary Guo-20/+14
2023-04-06Refactor unwind from Option to a new enumGary Guo-2/+2
2023-04-04Update Cargo.lockOli Scherer-4/+4
2023-04-04Merge from rustcOli Scherer-12/+81
2023-04-04Preparing for merge from rustcOli Scherer-1/+1
2023-04-03Auto merge of #109771 - uweigand:s390x-miri-libffi, r=oli-obkbors-1/+1
2023-04-03Increase libffi version to 3.2 to support s390xUlrich Weigand-1/+1
2023-03-31Auto merge of #98112 - saethlin:mir-alignment-checks, r=oli-obkbors-11/+53
2023-03-28add link for tree borrows similar to stacked borrowsYerke Tulibergenov-4/+5
2023-03-24miri: fix raw pointer dyn receiversRalf Jung-0/+27
2023-03-24Merge from rustcRalf Jung-5/+7
2023-03-24Preparing for merge from rustcRalf Jung-1/+1
2023-03-23A MIR transform that checks pointers are alignedBen Kimock-11/+53
2023-03-23Merge from rustcOli Scherer-1/+1
2023-03-23Preparing for merge from rustcOli Scherer-1/+1
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-22Auto merge of #2821 - RalfJung:rustup, r=RalfJungbors-4/+4
2023-03-22fmtRalf Jung-1/+1
2023-03-22Auto merge of #2822 - oli-obk:rustup, r=oli-obkbors-1/+1
2023-03-22Correctly quote env vars in single quoted string in bashOli Scherer-1/+1
2023-03-22Merge from rustcRalf Jung-3/+3
2023-03-22Preparing for merge from rustcRalf Jung-1/+1
2023-03-21LocalCrate keyMichael Goulet-1/+2
2023-03-21Use local key in providersMichael Goulet-3/+2
2023-03-21Auto merge of #2820 - oli-obk:rustup, r=RalfJungbors-1/+6
2023-03-21Add a layout argument to `enforce_validity`.Oli Scherer-1/+1
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