about summary refs log tree commit diff
path: root/src/tools
AgeCommit message (Expand)AuthorLines
2023-09-19chore(miri): bump env_logger to 0.10Martin Kröning-1/+1
2023-09-19chore(Cargo.lock): bump colored and tracing-treeMartin Kröning-1/+1
2023-09-19Auto merge of #3054 - Vanille-N:spurious-fail, r=RalfJungbors-146/+917
2023-09-19Issue of the current model: spurious reads are not possibleNeven Villani-146/+917
2023-09-19Auto merge of #115865 - RalfJung:mir-mod, r=oli-obkbors-2/+2
2023-09-19Rollup merge of #112725 - notriddle:notriddle/advanced-search, r=GuillaumeGomezGuillaume Gomez-1/+3
2023-09-19move ConstValue into mirRalf Jung-2/+2
2023-09-19Merge from rustcThe Miri Conjob Bot-3065/+6264
2023-09-19Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-09-19Auto merge of #115644 - danakj:catalyst-asan, r=cjgillot,thomccbors-0/+5
2023-09-19Rollup merge of #115943 - ehuss:compiletest-errors, r=compiler-errorsMatthias Krüger-8/+8
2023-09-19Rollup merge of #115869 - ferrocene:pa-fix-tests-cargo-remap, r=compiler-errorsMatthias Krüger-0/+10
2023-09-18Auto merge of #115940 - matthiaskrgr:rollup-5ps9ln1, r=matthiaskrgrbors-19/+0
2023-09-18Auto merge of #115748 - RalfJung:post-mono, r=oli-obkbors-11/+10
2023-09-18compiletest: Don't swallow some error messages.Eric Huss-8/+8
2023-09-18Rollup merge of #115494 - RalfJung:primitive_docs, r=Mark-SimulacrumMatthias Krüger-19/+0
2023-09-18Auto merge of #115927 - lnicola:sync-from-ra, r=lnicolabors-2740/+5763
2023-09-18Prototype using const generic for simd_shuffle IDX arrayOli Scherer-2/+36
2023-09-18Auto merge of #115795 - Kobzol:opt-dist-custom, r=Mark-Simulacrumbors-270/+348
2023-09-18Enable ASAN/LSAN/TSAN for *-apple-ios-macabidanakj-0/+5
2023-09-18Fix build on WindowsJakub Beránek-0/+1
2023-09-18Merge commit '258b15c506a2d3ad862fd17ae24eaf272443f477' into sync-from-raLaurențiu Nicola-2740/+5763
2023-09-18get rid of duplicate primitive_docsRalf Jung-19/+0
2023-09-18Update cargoWeihang Lo-0/+0
2023-09-17Rollup merge of #115477 - kellerkindt:stabilized_int_impl, r=dtolnayDylan DPC-1/+1
2023-09-16miri: reduce code duplication in SSE2 pmulh.w and pmulhu.wEduardo Sánchez Muñoz-27/+27
2023-09-16miri: reduce code duplication in SSE2 pavg.b and pavg.wEduardo Sánchez Muñoz-40/+54
2023-09-16miri: fix commentEduardo Sánchez Muñoz-1/+1
2023-09-16miri: reduce code duplication in SSE2 cvtpd2ps/cvtps2pdEduardo Sánchez Muñoz-35/+14
2023-09-16miri: reduce code duplication in SSE/SSE2 cvt{,t}s{s,d}2si{,64}Eduardo Sánchez Muñoz-62/+14
2023-09-16miri: use `copy_op` in `unary_op_ss`Eduardo Sánchez Muñoz-4/+5
2023-09-16miri: reduce code duplication in SSE cvtsi2ss/cvtsi642ssEduardo Sánchez Muñoz-37/+12
2023-09-16miri: reduce code duplication in SSE/SSE2 bin_op_* functionsEduardo Sánchez Muñoz-306/+186
2023-09-16triagebot exclude_labels -> exclude_titlesPeter Jaszkowiak-4/+4
2023-09-16Auto merge of #115829 - notriddle:notriddle/rustdoc-theme-css-merge, r=Guilla...bors-16/+129
2023-09-16Update cargoWeihang Lo-0/+0
2023-09-15rustdoc: merge theme css into rustdoc.cssMichael Howell-16/+129
2023-09-15avoid blessing cargo deps's source code in ui testsPietro Albini-0/+10
2023-09-15Auto merge of #115851 - Alexendoo:clippy-doc-hidden-headers, r=flip1995bors-1/+20
2023-09-15Merge from rustcThe Miri Conjob Bot-1772/+4847
2023-09-15Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-09-14don't point at const usage site for resolution-time errorsRalf Jung-6/+6
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-5/+4
2023-09-14Auto merge of #115677 - matthewjasper:let-expr-recovery, r=b-naberbors-4/+4
2023-09-14Ignore `#[doc(hidden)]` functions in clippy doc lintsAlex Macleod-1/+20
2023-09-14Auto merge of #115817 - fee1-dead-contrib:fix-codegen, r=oli-obkbors-1/+1
2023-09-14fix clippy (and MIR printing) handling of ConstValue::Indirect slicesRalf Jung-13/+4
2023-09-14treat host effect params as erased generics in codegenDeadbeef-1/+1
2023-09-14make it more clear which functions create fresh AllocIdRalf Jung-6/+6
2023-09-14cleanup op_to_const a bit; rename ConstValue::ByRef → IndirectRalf Jung-2/+2