about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-07-26diagnostics: add a macro to make things a bit easier to readRalf Jung-76/+59
2024-07-26better diagnostics for Tree Borrows + int2ptr castsRalf Jung-70/+150
2024-07-26Merge from rustcThe Miri Cronjob Bot-1/+14
2024-07-26Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-07-26Rollup merge of #128150 - BoxyUwU:std_only_sized_const_params, r=workingjubileeMatthias Krüger-1/+14
2024-07-25Stop using `unsized_const_parameters` in core/stdBoxy-1/+14
2024-07-25Merge from rustcThe Miri Cronjob Bot-3/+3
2024-07-25Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-07-24show warning when Stacked Borrows skips a reborrow due to 'extern type'Ralf Jung-27/+83
2024-07-24Rollup merge of #127733 - GrigorenkoPV:don't-forget, r=AmanieuMatthias Krüger-3/+3
2024-07-24Allow getpid in isolation mode, add gettid supportKonstantinos Andrikopoulos-7/+60
2024-07-24Make unused states of Reserved unrepresentableNeven Villani-134/+200
2024-07-24Merge from rustcThe Miri Cronjob Bot-4/+4
2024-07-24Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-07-23Rollup merge of #125834 - workingjubilee:weaken-thir-unsafeck-for-addr-of-sta...Matthias Krüger-4/+4
2024-07-22miri: fixup for allowing &raw UNSAFE_STATICJubilee Young-4/+4
2024-07-22Auto merge of #3743 - newpavlov:pread_pwrite, r=RalfJungbors-21/+205
2024-07-22Add `pread` and `pwrite` shimsАртём Павлов [Artyom Pavlov]-21/+205
2024-07-22Fix testАртём Павлов [Artyom Pavlov]-1/+1
2024-07-22Add `O_NOFOLLOW` flag supportАртём Павлов [Artyom Pavlov]-3/+55
2024-07-20Merge from rustcThe Miri Cronjob Bot-6/+8
2024-07-20Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-07-19Rollup merge of #127856 - RalfJung:interpret-cast-sanity, r=oli-obkMatthias Krüger-6/+8
2024-07-18interpret: add sanity check in dyn upcast to double-check what codegen doesRalf Jung-6/+8
2024-07-16Auto merge of #3742 - Vanille-N:master, r=RalfJungbors-6/+211
2024-07-16Merge from rustcThe Miri Cronjob Bot-4/+1
2024-07-16Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-07-15Rollup merge of #124921 - RalfJung:offset-from-same-addr, r=oli-obkMatthias Krüger-3/+0
2024-07-15lib: replace some `mem::forget`'s with `ManuallyDrop`Pavel Grigorenko-3/+3
2024-07-15Make normalization regex less exactChris Denton-1/+1
2024-07-14Auto merge of #3745 - joboet:os_unfair_lock, r=RalfJungbors-7/+284
2024-07-14implement the `os_unfair_lock` functions on macOSjoboet-7/+284
2024-07-14add test for intermediate reference in '&(*x).0 as *const i32'Ralf Jung-0/+40
2024-07-13Leave a trace of the current suboptimal status of foreign_writeNeven Villani-0/+6
2024-07-12Clarify comment in tests/fail/tree_borrows/reservedim_spurious_write.rsNeven Villani-2/+3
2024-07-10Second byte is not involved in the example; use a Cell<()> insteadNeven Villani-16/+19
2024-07-10Auto merge of #3720 - safinaskar:read, r=RalfJungbors-1/+83
2024-07-09Fix libc::read shim: make it write to a buffer correct amount of bytes. Add t...Askar Safin-1/+83
2024-07-09Apply suggestionsNeven Villani-18/+52
2024-07-09Implement fix for reservedim_spurious_write: ignore IM on protectedNeven Villani-7/+59
2024-07-09This pattern using lazy protected Reserved IM prevents spurious writesNeven Villani-0/+109
2024-07-09Auto merge of #3739 - joboet:macos_tls_dtors, r=RalfJungbors-30/+87
2024-07-09Merge from rustcThe Miri Cronjob Bot-12/+120
2024-07-09Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-07-08implement support for multiple TLS destructors on macOSjoboet-30/+87
2024-07-08Rollup merge of #127355 - aceArt-GmbH:126475, r=oli-obkMatthias Krüger-8/+8
2024-07-08Auto merge of #113128 - WaffleLapkin:become_trully_unuwuable, r=oli-obk,RalfJungbors-4/+112
2024-07-07Fixup a typo in a comment in a testMaybe Lapkin-1/+1
2024-07-07Fix conflicts after rebaseMaybe Lapkin-2/+2
2024-07-07make `StackPop` field names less confusingMaybe Waffle-4/+4