summary refs log tree commit diff
path: root/src/tools/miri/tests/pass
AgeCommit message (Expand)AuthorLines
2024-11-17Likely unlikely fixJiri Bobek-1/+1
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
2024-09-21fmt (with a huge diff for some reason)Ralf Jung-15/+18
2024-09-21Merge from rustcRalf Jung-0/+20
2024-09-20Auto merge of #124895 - obeis:static-mut-hidden-ref, r=compiler-errorsbors-0/+20
2024-09-17Use `@only-target` in SSE and SSE2 tests tooEduardo Sánchez Muñoz-1784/+1760
2024-09-16Bump ui testOli Scherer-197/+113
2024-09-13Update tests for hidden references to mutable staticObei Sideg-0/+20
2024-09-16Merge from rustcThe Miri Cronjob Bot-6/+33
2024-09-15Rollup merge of #129828 - RalfJung:miri-data-race, r=saethlinMatthias Krüger-1/+33
2024-09-15test std::time APIs on FreeBSD and SolarishRalf Jung-3/+3
2024-09-14simd_shuffle: require index argument to be a vectorRalf Jung-5/+0
2024-09-12Merge from rustcThe Miri Cronjob Bot-0/+8
2024-09-11miri: support vector index arguments in simd_shuffleRalf Jung-0/+8
2024-09-11Merge from rustcThe Miri Cronjob Bot-9/+9
2024-09-10Auto merge of #129403 - scottmcm:only-array-simd, r=compiler-errorsbors-9/+9
2024-09-10miri: treat non-memory local variables properly for data race detectionRalf Jung-1/+33
2024-09-10fmtRalf Jung-2/+4
2024-09-09Update the MIRI testsScott McMurray-9/+9
2024-09-09union padding computation: add fast-path for ZSTRalf Jung-0/+15
2024-09-08interpret: reset padding during validationRalf Jung-0/+38
2024-09-08interpret: reset provenance on typed copiesRalf Jung-0/+22
2024-09-08Auto merge of #129313 - RalfJung:coroutine-niches, r=compiler-errorsbors-0/+66
2024-09-05Rollup merge of #129664 - adetaylor:arbitrary-self-types-pointers-feature-gat...Matthias Krüger-1/+1
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