about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2025-07-28lookup_link_section: support arrays of function pointersRalf Jung-8/+7
2025-07-28revert accidental changeRalf Jung-0/+4
2025-07-28Merge commit 'abd9cba5acbcc35fb4cc59ce25580fa1624b5571'Ralf Jung-21/+17
2025-07-27miri: for ABI mismatch errors, say which argument is the problemRalf Jung-21/+17
2025-07-27Merge pull request #4498 from RalfJung/genmc-buildRalf Jung-0/+27
2025-07-27various minor adjustmentsRalf Jung-2/+1
2025-07-27Add support for building and linking against genmcPatrick-6-0/+28
2025-07-27call_function helper: dont ICE on return type mismatchesRalf Jung-0/+51
2025-07-25fix target jsonRalf Jung-1/+1
2025-07-25Merge ref 'b56aaec52bc0' from rust-lang/rustThe Miri Cronjob Bot-13/+7
2025-07-23Remove const deduplication from the interpreter.Camille GILLOT-13/+7
2025-07-22Merge from rustcThe Miri Cronjob Bot-11/+21
2025-07-22Rollup merge of #144080 - jieyouxu:realign, r=BoxyUwU许杰友 Jieyou Xu (Joe)-3/+7
2025-07-21Merge pull request #4481 from RalfJung/read-write-truncateOli Scherer-112/+273
2025-07-21Auto merge of #144238 - jhpratt:rollup-xb8aida, r=jhprattbors-7/+679
2025-07-21Merge from rustcThe Miri Cronjob Bot-4/+29
2025-07-20Rollup merge of #144229 - RalfJung:miri-sync, r=RalfJungJacob Pratt-7/+679
2025-07-20Update Miri TestsScott McMurray-8/+14
2025-07-20Rollup merge of #144190 - scottmcm:spanned-errors-in-mir-validation, r=RalfJungGuillaume Gomez-4/+10
2025-07-20Rollup merge of #144169 - RalfJung:type-id-fix, r=oli-obkMatthias Krüger-0/+19
2025-07-20Merge from rustcThe Miri Cronjob Bot-34/+155
2025-07-19Give a message with a span on validation errorScott McMurray-4/+10
2025-07-19non-deterministically truncate reads/writesRalf Jung-112/+269
2025-07-19don't halt execution when we write to a read-only fileRalf Jung-0/+4
2025-07-19move and update test dependenciesRalf Jung-1/+675
2025-07-19bump ui_testRalf Jung-5/+3
2025-07-19Auto merge of #144166 - matthiaskrgr:rollup-wccepuo, r=matthiaskrgrbors-3/+3
2025-07-19interpret: fix TypeId pointers being considered data pointersRalf Jung-0/+19
2025-07-19Mitigate `#[align]` name resolution ambiguity regression with a renameJieyou Xu-3/+7
2025-07-18make native-lib support compile-time-optional, and centralize cfg usageRalf Jung-1/+1
2025-07-18Show the memory of uninit readsOli Scherer-77/+82
2025-07-17miri sleep tests: increase slackRalf Jung-3/+3
2025-07-17Report the range of uninit bytes in CTFE errorsOli Scherer-29/+145
2025-07-16Auto merge of #144019 - RalfJung:miri-sync, r=RalfJungbors-17/+271
2025-07-16Rollup merge of #143692 - RalfJung:miri-oob, r=oli-obkSamuel Tardieu-0/+53
2025-07-16Merge pull request #4459 from ibraheemdev/ibraheem/global-ctorRalf Jung-2/+48
2025-07-16minor tweaks and commentsRalf Jung-2/+5
2025-07-16Merge pull request #4456 from nia-e/trace-incorporate-eventsRalf Jung-0/+192
2025-07-16hook up native-lib bitsNia Espera-0/+192
2025-07-15add test for global constructorsIbraheem Ahmed-0/+43
2025-07-15Merge pull request #4469 from Patrick-6/add-spinloop-hintsRalf Jung-15/+31
2025-07-15Make spin function naming more consistentPatrick-6-17/+17
2025-07-15Add std::hint::spin_loop()Patrick-6-6/+22
2025-07-14Rollup merge of #143710 - joshtriplett:random-updates, r=joshtriplettSamuel Tardieu-1/+1
2025-07-12./x test miri: fix cleaning the miri_ui directoryRalf Jung-0/+2
2025-07-11Update miri for change to random APIJosh Triplett-1/+1
2025-07-09miri: fix out-of-bounds error for ptrs with negative offsetsRalf Jung-0/+53
2025-07-06Auto merge of #141829 - dvdsk:sleep_until_linux, r=cuviper,RalfJungbors-0/+124
2025-07-06sleep_until: add clock_nanosleep support to Miridvdsk-0/+124
2025-07-05Merge from rustcRalf Jung-2/+2