about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass
AgeCommit message (Expand)AuthorLines
2024-05-31Auto merge of #124662 - zetanumbers:needs_async_drop, r=oli-obkbors-0/+5
2024-05-30explain what the open questions are, and add a Miri test for thatRalf Jung-0/+12
2024-05-29Revert miri async drop test but add warnings to each async drop testDaria Sukhonina-50/+34
2024-05-29Bless new async destructor sizes in async drop testsDaria Sukhonina-5/+5
2024-05-29Add size check inside of the async drop testsDaria Sukhonina-29/+50
2024-05-28Add Miri smoke pass test for ptr_metadata intrinsicScott McMurray-1/+7
2024-05-22Auto merge of #117329 - RalfJung:offset-by-zero, r=oli-obk,scottmcmbors-4/+62
2024-05-21Auto merge of #125358 - matthiaskrgr:rollup-mx841tg, r=matthiaskrgrbors-0/+15
2024-05-21Rollup merge of #125266 - workingjubilee:stream-plastic-love, r=RalfJung,nikicMatthias Krüger-0/+15
2024-05-20Fix miri tooMichael Goulet-2/+2
2024-05-19miri: support simd_ctpopJubilee Young-0/+15
2024-05-19various small nitsRalf Jung-15/+16
2024-05-19Directly implement native exception raise methods in miribjorn3-0/+95
2024-05-19make basic things work on AndroidRalf Jung-2/+6
2024-05-16alloc now works on wasi (and some formatting)Ralf Jung-0/+3
2024-05-13offset, offset_from: allow zero-byte offset on arbitrary pointersRalf Jung-4/+62
2024-05-12merge two integer testsRalf Jung-58/+61
2024-05-12merge float tests into oneRalf Jung-66/+67
2024-05-11Auto merge of #3596 - bend-n:support_fstar_algebraic, r=RalfJungbors-0/+32
2024-05-11support `f*_algebraic`bendn-0/+32
2024-05-11Merge from rustcThe Miri Cronjob Bot-6/+6
2024-05-09do not run symlink tests on Windows hostsRalf Jung-73/+65
2024-05-08Use generic `NonZero`.Markus Reiter-6/+6
2024-05-05hello: also ensure stderr worksRalf Jung-0/+2
2024-05-04Auto merge of #3559 - RalfJung:weak-extern-static, r=RalfJungbors-6/+7
2024-05-04make statx a regular function (so we don't need to support the syscall)Ralf Jung-6/+7
2024-05-04make some tests not need output (so they work on wasm)Ralf Jung-10/+6
2024-05-04freebsd: test std threadname and fs APIsRalf Jung-0/+0
2024-05-04move intrinsics implementations and tests into dedicated folderRalf Jung-0/+0
2024-05-04rename integer testRalf Jung-0/+0
2024-05-04move available-parallelism tests into shims/ folderRalf Jung-0/+0
2024-04-26add test for concurrent env var accessRalf Jung-0/+8
2024-04-26Auto merge of #3516 - RalfJung:pathbuf, r=RalfJungbors-37/+60
2024-04-26add smoke tests for basic PathBuf interactionsRalf Jung-37/+60
2024-04-25debuginfo: Stabilize `-Z debug-macros`, `-Z collapse-macro-debuginfo` and `#[...Vadim Petrochenkov-2/+2
2024-04-25fmtThe Miri Cronjob Bot-79/+147
2024-04-25Merge from rustcThe Miri Cronjob Bot-25/+24
2024-04-25Rollup merge of #124335 - ChrisDenton:stabilize-absolute, r=dtolnayMatthias Krüger-1/+0
2024-04-24Stabilize `std::path::absolute`Chris Denton-1/+0
2024-04-24Auto merge of #3492 - eduardosm:intrinsics-x86-avx2, r=oli-obkbors-0/+1613
2024-04-24Fix miri testGary Guo-1/+1
2024-04-24Error on using `yield` without also using `#[coroutine]` on the closureOli Scherer-23/+23
2024-04-24Auto merge of #3507 - RalfJung:let-underscore, r=RalfJungbors-11/+11
2024-04-24avoid 'let _' in tests where we actually want the value to be computedRalf Jung-11/+11
2024-04-24Auto merge of #3502 - RalfJung:GetUserProfileDirectoryW, r=RalfJungbors-1/+1
2024-04-24windows: basic support for GetUserProfileDirectoryWRalf Jung-1/+1
2024-04-24Merge from rustcThe Miri Cronjob Bot-21/+23
2024-04-23Implement LLVM x86 AVX2 intrinsicsEduardo Sánchez Muñoz-0/+1613
2024-04-23chore: fix some typos in commentsforcedebug-2/+2
2024-04-23Auto merge of #3493 - eduardosm:env-set, r=oli-obkbors-0/+7