summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2023-01-17add miri regression testThe 8472-0/+6
2023-01-14Rollup merge of #106661 - mjguzik:linux_statx, r=Mark-SimulacrumMatthias Krüger-2/+3
2023-01-11Stabilize `::{core,std}::pin::pin!`Daniel Henry-Mantilla-4/+0
2023-01-11Fix up stat test in libc-fs-with-isolationMateusz Guzik-2/+3
2023-01-09add dtors_in_dtors_in_dtorsRalf Jung-0/+57
2023-01-09make env::current_exe work on WindowsRalf Jung-1/+0
2023-01-02tweaks to retag diagnostic handlingRalf Jung-4/+4
2022-12-28test using a JSON target fileRalf Jung-0/+25
2022-12-28handle unknown targets more gracefullyRalf Jung-15/+21
2022-12-24fix warningsRalf Jung-3/+3
2022-12-24Merge from rustcRalf Jung-8/+172
2022-12-23Mention and number the components of a race in the order the interpreter sees...Ben Kimock-105/+105
2022-12-23fix one more unaligned self.ptr, and add testsRalf Jung-0/+14
2022-12-23attempt to clarify what the backtrace belongs to when there could be ambiguityRalf Jung-89/+89
2022-12-23fix IntoIter::drop on high-alignment ZSTRalf Jung-7/+11
2022-12-22Add a (1) and (2) to the data race errorsBen Kimock-110/+110
2022-12-22Auto merge of #103957 - JakobDegen:drop-retag, r=RalfJungbors-0/+146
2022-12-21Fix phrasingBen Kimock-27/+27
2022-12-21Clean up implementation, deduplicate in errorsBen Kimock-226/+81
2022-12-21Don't run `Drop` terminators on types that do not have drop glue in const evalJakob Degen-2/+2
2022-12-21Bless testsJakob Degen-4/+4
2022-12-21Retag argument to `drop_in_place` unconditionallyJakob Degen-19/+5
2022-12-21Retag as FnEntry on `drop_in_place`Jakob Degen-0/+160
2022-12-21Fix typo in reading_half_a_pointer.rsIkko Ashimine-1/+1
2022-12-20Fix span managementBen Kimock-29/+29
2022-12-16Include a Span in VClockBen Kimock-0/+280
2022-12-13implement minimal epoll_create1 shimDebugSteven-26/+6
2022-12-12Auto merge of #2725 - RalfJung:host-to-target-path, r=RalfJungbors-39/+63
2022-12-12make unix path handling on Windows hosts preserve absolutenessRalf Jung-5/+9
2022-12-12More host/target path conversion tests:Ralf Jung-1/+9
2022-12-12expose host-to-target path conversion to interpreted programRalf Jung-38/+50
2022-12-11add provenance-related testRalf Jung-0/+7
2022-12-11add support for variable page sizes to miriNia Espera-0/+20
2022-12-11Merge from rustcRalf Jung-79/+79
2022-12-08add graceful shim for the custom `O_TMPFILE` linux file opening flag plus tes...Pointerbender-1/+31
2022-12-06Bless after rebaseOli Scherer-4/+4
2022-12-06Reintroduce the span printing in miri (plus point to spans where possible)Oli Scherer-419/+419
2022-12-06Remove now-redundant file/line info from const backtracesOli Scherer-492/+492
2022-12-03for now, do not do fake reads on non-Unpin mutable referencesRalf Jung-45/+0
2022-12-03add test for self-referential futureRalf Jung-0/+102
2022-12-01Bump ui_test crateOli Scherer-6/+6
2022-11-28add many-seeds capabilities to CIRalf Jung-0/+8
2022-11-28add scoped thread testRalf Jung-0/+24
2022-11-27Auto merge of #2694 - RalfJung:retag-deref-check, r=saethlinbors-42/+233
2022-11-27make Stacked Borrows retags act like data racesRalf Jung-42/+144
2022-11-27!Unpin retags must still be reads, to check dereferenceableRalf Jung-0/+89
2022-11-26support no_std on WindowsRalf Jung-4/+0
2022-11-22update test_dependenciesRalf Jung-2/+2
2022-11-22ensure current getrandom works with strict provenanceRalf Jung-5/+11
2022-11-20add a weak form of protection that justifies Box noaliasRalf Jung-27/+71
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 19:58:13 +0000