about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass
AgeCommit message (Expand)AuthorLines
2024-08-09Bless MiriBen Kimock-3/+5
2024-08-06miri: make vtable addresses not globally uniqueRalf Jung-2/+14
2024-08-06interpret: refactor function call handling to be better-abstractedRalf Jung-2/+2
2024-08-02Auto merge of #3769 - primoly:miri-start, r=RalfJungbors-0/+20
2024-08-02Add `miri_start` supportprimoly-0/+20
2024-07-29Rollup merge of #128333 - RalfJung:miri-sync, r=RalfJungMatthias Krüger-65/+183
2024-07-27miri: fix offset_from behavior on wildcard pointersRalf Jung-0/+9
2024-07-26Auto merge of #3766 - RalfJung:tree-borrows-int2ptr, r=RalfJungbors-65/+120
2024-07-26better diagnostics for Tree Borrows + int2ptr castsRalf Jung-65/+120
2024-07-26Merge from rustcThe Miri Cronjob Bot-1/+14
2024-07-25Stop using `unsized_const_parameters` in core/stdBoxy-1/+14
2024-07-24show warning when Stacked Borrows skips a reborrow due to 'extern type'Ralf Jung-15/+26
2024-07-24Allow getpid in isolation mode, add gettid supportKonstantinos Andrikopoulos-2/+13
2024-07-24Make unused states of Reserved unrepresentableNeven Villani-36/+36
2024-07-24Merge from rustcThe Miri Cronjob Bot-1/+1
2024-07-23Rollup merge of #125834 - workingjubilee:weaken-thir-unsafeck-for-addr-of-sta...Matthias Krüger-1/+1
2024-07-22miri: fixup for allowing &raw UNSAFE_STATICJubilee Young-1/+1
2024-07-22Add `pread` and `pwrite` shimsАртём Павлов [Artyom Pavlov]-0/+41
2024-07-16Auto merge of #3742 - Vanille-N:master, r=RalfJungbors-1/+1
2024-07-15Rollup merge of #124921 - RalfJung:offset-from-same-addr, r=oli-obkMatthias Krüger-3/+0
2024-07-09Implement fix for reservedim_spurious_write: ignore IM on protectedNeven Villani-1/+1
2024-07-09Auto merge of #3739 - joboet:macos_tls_dtors, r=RalfJungbors-0/+50
2024-07-09Merge from rustcThe Miri Cronjob Bot-8/+47
2024-07-08implement support for multiple TLS destructors on macOSjoboet-0/+50
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-0/+39
2024-07-07add miri tests and a fixmeMaybe Waffle-0/+39
2024-07-06offset_from intrinsic: always allow pointers to point to the same addressRalf Jung-3/+0
2024-07-06Mark format! with must_use hintlukas-8/+8
2024-07-05Merge from rustcThe Miri Cronjob Bot-1/+3
2024-07-04Auto merge of #123781 - RalfJung:miri-fn-identity, r=oli-obkbors-1/+3
2024-07-04Add casting tests for `f16` and `f128`Trevor Gross-0/+66
2024-07-04Refactor float casting testsTrevor Gross-186/+390
2024-07-04Merge from rustcThe Miri Cronjob Bot-9/+18
2024-07-03Implement the `_mm256_zeroupper` and `_mm256_zeroall` intrinsicsTobias Decking-0/+5
2024-07-02Miri function identity hack: account for possible inliningRalf Jung-1/+3
2024-06-29Fix FnMut/Fn shim for coroutine-closures that capture referencesMichael Goulet-9/+18
2024-06-29iter_exported_symbols: also walk used statics in local crateRalf Jung-0/+17
2024-06-29Merge from rustcThe Miri Cronjob Bot-17/+0
2024-06-28Revert "Rollup merge of #126938 - RalfJung:link_section, r=compiler-errors"Rémy Rakic-17/+0
2024-06-27Merge from rustcThe Miri Cronjob Bot-0/+17
2024-06-25miri: make sure we can find link_section statics even for the local crateRalf Jung-0/+17
2024-06-24tests for when a thread-local gets initialized in a tls dtorRalf Jung-58/+91
2024-06-22Auto merge of #3690 - TDecking:adx, r=RalfJungbors-0/+70
2024-06-21Implement LLVM x86 adx intrinsicsTobias Decking-0/+70
2024-06-20Fix ICE caused by seeking past `i64::MAX`Adwin White-0/+21
2024-06-20Auto merge of #3674 - TDecking:bmi, r=RalfJungbors-0/+216
2024-06-20Implement LLVM x86 bmi intrinsicsTobias Decking-0/+216
2024-06-17Auto merge of #3683 - RalfJung:MIRIFLAGS, r=RalfJungbors-12/+9
2024-06-17tell people how to set miri flagsRalf Jung-12/+9