about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2023-09-26Add tests for simd_shuffle{_generic}Oli Scherer-1/+20
2023-09-25Auto merge of #3085 - RalfJung:test-norm, r=RalfJungbors-5/+33
2023-09-25Auto merge of #3083 - saethlin:gc-history, r=oli-obkbors-0/+27
2023-09-25fix normalization in backtrace-api testsRalf Jung-5/+33
2023-09-25Auto merge of #3008 - oli-obk:ui_test_progress_bars, r=RalfJungbors-64/+165
2023-09-25Explain single element vectorOli Scherer-0/+2
2023-09-25Document new env varOli Scherer-0/+2
2023-09-25remove some dead codeRalf Jung-51/+1
2023-09-25Auto merge of #3075 - eduardosm:x86-addcarry-subborrow, r=RalfJungbors-1789/+1948
2023-09-25Use `cfg` gates in x86 SSE and SSE2 testsEduardo Sánchez Muñoz-1752/+1762
2023-09-25Implement `llvm.x86.subborrow.32` and `llvm.x86.subborrow.64`Eduardo Sánchez Muñoz-0/+68
2023-09-25Fix the carry semantics of `_addcarry_u32` and `_addcarry_u64`Eduardo Sánchez Muñoz-8/+21
2023-09-25Implement `llvm.x86.addcarry.32` by refactoring `llvm.x86.addcarry.64` to mak...Eduardo Sánchez Muñoz-16/+45
2023-09-25Move `llvm.x86.*` implementations into `shims::x86`Eduardo Sánchez Muñoz-36/+75
2023-09-24GC the Stacked Borrows allocation historyBen Kimock-0/+27
2023-09-24Put AVX512 tests togetherEduardo Sánchez Muñoz-126/+85
2023-09-24Complete miri test.Camille GILLOT-3/+16
2023-09-24Do not assume anything about repeated reification of generic functions.Camille GILLOT-1/+0
2023-09-24fmtThe Miri Conjob Bot-2/+2
2023-09-24Merge from rustcThe Miri Conjob Bot-7/+8
2023-09-24Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-09-23Merge from rustcThe Miri Conjob Bot-25/+25
2023-09-23Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-09-23Auto merge of #116052 - oli-obk:ceci_nest_pas_une_query, r=WaffleLapkinbors-7/+8
2023-09-23Auto merge of #3072 - eduardosm:llvm.ctpop, r=saethlinbors-0/+280
2023-09-22Merge `ExternProviders` into the general `Providers` structOli Scherer-7/+8
2023-09-22Bump ui_test crateOli Scherer-39/+61
2023-09-22Allow limiting the number of threads running in parallelOli Scherer-1/+5
2023-09-22Bump ui_test crateOli Scherer-1/+1
2023-09-22Move `fail` tests that need dependencies into their own folder, so that wasm ...Oli Scherer-0/+6
2023-09-22Bump ui test crateOli Scherer-50/+115
2023-09-22Auto merge of #115696 - RalfJung:closure-ty-print, r=oli-obkbors-25/+25
2023-09-22Auto merge of #3074 - rust-lang:rustup-2023-09-22, r=RalfJungbors-110/+97
2023-09-22clippyRalf Jung-2/+0
2023-09-22fmtThe Miri Conjob Bot-25/+15
2023-09-22Merge from rustcThe Miri Conjob Bot-97/+96
2023-09-22Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-09-22run the cron job a bit earlierRalf Jung-1/+1
2023-09-21adjust how closure/generator types and rvalues are printedRalf Jung-25/+25
2023-09-21Implement `llvm.ctpop.v*` intrinsicsEduardo Sánchez Muñoz-0/+280
2023-09-21Auto merge of #3071 - RalfJung:deprecate-disable-abi, r=oli-obk,saethlinbors-1/+13
2023-09-21Auto merge of #116010 - RalfJung:more-typed-immediates, r=oli-obkbors-97/+96
2023-09-21Auto merge of #3069 - rust-lang:rustup-2023-09-21, r=RalfJungbors-566/+373
2023-09-21deprecate -Zmiri-disable-abi-checkRalf Jung-1/+13
2023-09-21fix clippy lintsRalf Jung-7/+4
2023-09-21remove atty dependency by updating coloredRalf Jung-26/+6
2023-09-21disable no-merges check for nowRalf Jung-2/+3
2023-09-21update lockfileRalf Jung-11/+47
2023-09-21fmtThe Miri Conjob Bot-4/+1
2023-09-21Merge from rustcThe Miri Conjob Bot-523/+320