summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2023-03-02Rollup merge of #108022 - CraftSpider:align-bytes, r=oli-obkMatthias Krüger-1/+2
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
2023-02-24Use full path to `c_char` in READMELevitatingLion-1/+1
2023-02-24use setup_version_info!klensy-8/+1
2023-02-24bump rustc_tools_utilklensy-3/+3
2023-02-24Add ARM targets to CILevitatingLion-1/+5
2023-02-24Use pointers to `c_char` instead of `i8` in `miri_host_to_target_path`LevitatingLion-16/+28
2023-02-24Add shim for `llvm.arm.hint`LevitatingLion-0/+13
2023-02-24Rename many interner functions.Nicholas Nethercote-1/+1
2023-02-21Avoid formatting dyn* test as rustftm doesn't understand it yet and just dele...Oli Scherer-0/+3
2023-02-21silence clippyRalf Jung-0/+1
2023-02-21Merge from rustcRalf Jung-5/+126
2023-02-21Preparing for merge from rustcRalf Jung-1/+1
2023-02-21Auto merge of #107728 - RalfJung:miri-dyn-star, r=RalfJung,oli-obkbors-5/+126
2023-02-20Minimal changes to make miri workRune Tynan-1/+2
2023-02-20fix Stacked Borrows interaction with dyn*Ralf Jung-2/+4
2023-02-20basic dyn* support for MiriRalf Jung-5/+124
2023-02-20Merge from rustcRalf Jung-2/+2
2023-02-20Preparing for merge from rustcRalf Jung-1/+1
2023-02-18Rename checked_binop_checks_overflow.Camille GILLOT-2/+2
2023-02-18Auto merge of #2784 - bryangarza:future-sizes-tests, r=RalfJungbors-0/+81
2023-02-18fmtRalf Jung-2/+1
2023-02-18Merge from rustcRalf Jung-2/+3
2023-02-18Preparing for merge from rustcRalf Jung-1/+1
2023-02-17Add tests for moving data across await pointBryan Garza-0/+81
2023-02-17Replace more `mk_foo` calls with `infer_foo`.Nicholas Nethercote-1/+1
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+2
2023-02-16Merge from rustcRalf Jung-107/+107
2023-02-16Preparing for merge from rustcRalf Jung-1/+1
2023-02-15Merge from rustcRalf Jung-1/+1
2023-02-15Preparing for merge from rustcRalf Jung-1/+1
2023-02-15Use target instead of machine for mir interpreter integer handling.Oli Scherer-107/+107
2023-02-14s/eval_usize/eval_target_usize/ for clarityOli Scherer-1/+1
2023-02-09don't waste half the address space on AVR targetsRalf Jung-5/+11
2023-02-09Merge from rustcRalf Jung-17/+33
2023-02-09Preparing for merge from rustcRalf Jung-1/+1
2023-02-08Rollup merge of #107429 - tgross35:from-bytes-until-null-stabilization, r=dto...Michael Goulet-1/+0
2023-02-07Rollup merge of #107756 - RalfJung:miri-out-of-addresses, r=oli-obkMatthias Krüger-16/+33
2023-02-07miri: fix ICE when running out of address spaceRalf Jung-16/+33
2023-02-07fmtRalf Jung-2/+1
2023-02-07Merge from rustcRalf Jung-76/+95
2023-02-07Preparing for merge from rustcRalf Jung-1/+1
2023-02-06also do not add noalias on not-Unpin BoxRalf Jung-16/+71
2023-02-06make &mut !Unpin not dereferenceableRalf Jung-60/+24
2023-02-04Bump tokio from 1.23.1 to 1.24.2 in /test_dependenciesdependabot[bot]-3/+3
2023-02-03Auto merge of #2764 - DebugSteven:sleep, r=oli-obkbors-4/+111