summary refs log tree commit diff
path: root/src/tools/miri/tests/pass
AgeCommit message (Expand)AuthorLines
2024-08-30Merge from rustcThe Miri Cronjob Bot-2/+0
2024-08-29fix wasm testRalf Jung-12/+12
2024-08-29Merge from rustcThe Miri Cronjob Bot-11/+0
2024-08-28Rollup merge of #129401 - workingjubilee:partial-initialization-of-stabilizat...Jubilee-2/+0
2024-08-28Rollup merge of #129613 - RalfJung:interpret-target-feat, r=saethlinMatthias Krüger-11/+0
2024-08-28Merge from rustcThe Miri Cronjob Bot-11/+8
2024-08-27miri: Remove feature(new_uninit)Jubilee Young-2/+0
2024-08-27tree_borrows test: ensure we can actually read the variableRalf Jung-1/+2
2024-08-27Rollup merge of #128942 - RalfJung:interpret-weak-memory, r=saethlinTrevor Gross-11/+8
2024-08-26interpret: do not make const-eval query result depend on tcx.sessRalf Jung-11/+0
2024-08-26Merge from rustcThe Miri Cronjob Bot-4/+4
2024-08-24Rollup merge of #129501 - RalfJung:miri-rust-backtrace, r=NoratriebMatthias Krüger-4/+4
2024-08-24panicking: improve hint for Miri's RUST_BACKTRACE behaviorRalf Jung-4/+4
2024-08-22fix a misleading comment in TB testssun-jacobi-1/+1
2024-08-20Auto merge of #3752 - Kixunil:simd-sha256, r=RalfJungbors-0/+270
2024-08-20Implement SHA256 SIMD intrinsics on x86Martin Habovstiak-0/+270
2024-08-18stabilize raw_ref_opRalf Jung-1/+0
2024-08-17tls_leak_main_thread_allowed: make test check target_thread_localRalf Jung-10/+13
2024-08-16Auto merge of #3754 - Vanille-N:master, r=RalfJungbors-36/+36
2024-08-14Merge from rustcRalf Jung-2/+14
2024-08-13Auto merge of #128742 - RalfJung:miri-vtable-uniqueness, r=saethlinbors-2/+14
2024-08-12miri weak memory emulation: initialize store buffer only on atomic writes; pr...Ralf Jung-11/+8
2024-08-12fix tree borrows Unique testRalf Jung-11/+7
2024-08-12Auto merge of #126793 - saethlin:mono-rawvec, r=scottmcmbors-3/+7
2024-08-10Fixes in various placesNadrieril-0/+2
2024-08-09Add a FIXME to the changed Miri testBen Kimock-0/+2
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