about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass
AgeCommit message (Expand)AuthorLines
2024-12-13Stabilize async closuresMichael Goulet-4/+4
2024-12-12Merge from rustcRalf Jung-92/+0
2024-12-12solarish stat following-up, supports for readdir.David Carlier-6/+8
2024-12-09Rollup merge of #134055 - RalfJung:interpret-alloc-dedup, r=oli-obkLeón Orell Valerian Liehr-92/+0
2024-12-09interpret: clean up deduplicating allocation functionsRalf Jung-92/+0
2024-12-07add weak memory consistency test for mixing SC accesses and fencesRalf Jung-0/+30
2024-12-07Merge from rustcThe Miri Cronjob Bot-10/+4
2024-12-06remove a no-longer-needed work-aroundRalf Jung-6/+2
2024-12-06add testRalf Jung-1/+41
2024-12-06Merge pull request #4057 from RalfJung/scfixRalf Jung-10/+87
2024-12-06Merge from rustcThe Miri Cronjob Bot-0/+4
2024-12-05Stabilize noop_wakerEric Holk-10/+4
2024-12-05make SC fences stronger, to be correct wrt C++20Ralf Jung-10/+87
2024-12-05Rollup merge of #118833 - Urgau:lint_function_pointer_comparisons, r=cjgillotLeón Orell Valerian Liehr-0/+4
2024-12-04implement simd_relaxed_fmaRalf Jung-30/+83
2024-12-04Merge from rustcThe Miri Cronjob Bot-2/+2
2024-12-02Allow fn pointers comparisons lint in UI testsUrgau-0/+4
2024-12-02Gate async fn trait bound modifier on async_trait_boundsMichael Goulet-2/+2
2024-11-28Merge from rustcThe Miri Cronjob Bot-0/+18
2024-11-26filesystem support for solarish.David Carlier-2/+5
2024-11-25miri: implement `TlsFree`joboet-0/+18
2024-11-20Merge pull request #4026 from eduardosm/soft-sqrtRalf Jung-2/+12
2024-11-20miri: implement square root without relying on host floatsEduardo Sánchez Muñoz-2/+12
2024-11-18Merge from rustcThe Miri Cronjob Bot-1/+1
2024-11-17Likely unlikely fixJiri Bobek-1/+1
2024-11-11stacked borrows tests: add those that fail under TBRalf Jung-0/+36
2024-11-09Merge from rustcThe Miri Cronjob Bot-0/+24
2024-11-04miri: update ABI compat checks to accept Option-like typesRalf Jung-0/+24
2024-11-02teach clippy about IeeeFloat, and make all 'allow' into 'expect'Ralf Jung-1/+1
2024-10-26Adjust the vpclmulqdq test caseTobias Decking-3/+7
2024-10-26Implement LLVM x86 vpclmulqdq intrinsicsTobias Decking-0/+189
2024-10-22Merge from rustcThe Miri Cronjob Bot-18/+3
2024-10-21move strict provenance lints to new feature gate, remove old feature gatesRalf Jung-18/+3
2024-10-20fmtThe Miri Cronjob Bot-1/+2
2024-10-20Merge from rustcThe Miri Cronjob Bot-0/+55
2024-10-18Add more testsJules Bertholet-0/+55
2024-10-17miri: improve support for `f16` and `f128`Eduardo Sánchez Muñoz-9/+151
2024-10-14Merge from rustcRalf Jung-2/+111
2024-10-13rework threadname test for more consistencyRalf Jung-0/+13
2024-10-11intrinsics.fmuladdf{16,32,64,128}: expose llvm.fmuladd.* semanticsJed Brown-0/+62
2024-10-05Fix up testsMichael Goulet-2/+49
2024-10-04Implement LLVM x86 gfni intrinsicsTobias Decking-0/+518
2024-10-02bless miri testsjoboet-4/+4
2024-09-30Auto merge of #131036 - RalfJung:miri-sync, r=RalfJungbors-62/+49
2024-09-29let rustfmt format importsRalf Jung-59/+41
2024-09-28Further clarificarion for atomic and UnsafeCell docs:Ralf Jung-0/+17
2024-09-28allow mixed-size atomic readsRalf Jung-0/+21
2024-09-28miri: no longer complain about read-read racesRalf Jung-1/+37
2024-09-25avoid using HashMap in fs testRalf Jung-3/+3
2024-09-25add test for std::randomRalf Jung-0/+5