summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2024-03-04Improve wording of static_mut_refObei Sideg-6/+6
2024-01-29Auto merge of #120451 - RalfJung:miri, r=RalfJungbors-1/+0
2024-01-28Auto merge of #3181 - devnexen:stat_calls_fbsd, r=RalfJungbors-1/+0
2024-01-26interpret: project_downcast: do not ICE for uninhabited variantsRalf Jung-0/+16
2024-01-25Auto merge of #119911 - NCGThompson:is-statically-known, r=oli-obkbors-0/+15
2024-01-24Auto merge of #118336 - saethlin:const-to-op-cache, r=RalfJungbors-0/+38
2024-01-22Revert "Auto merge of #118133 - Urgau:stabilize_trait_upcasting, r=WaffleLapkin"Oli Scherer-1/+8
2024-01-20Rollup merge of #120150 - Jules-Bertholet:stabilize-round-ties-even, r=cuviperMatthias Krüger-1/+0
2024-01-19Stabilize `round_ties_even`Jules Bertholet-1/+0
2024-01-19Add new intrinsic `is_constant` and optimize `pow`Catherine Flores-0/+15
2024-01-19Rollup merge of #119984 - kpreid:waker-noop, r=dtolnayMatthias Krüger-12/+6
2024-01-19Auto merge of #120121 - matthiaskrgr:rollup-razammh, r=matthiaskrgrbors-2/+2
2024-01-18Remove no-longer-needed `allow(dead_code)` from Miri testsJake Goulding-2/+2
2024-01-19Fix typo in munmap_partial.rsIkko Eltociear Ashimine-1/+1
2024-01-17Remove unnecessary `let`s and borrowing from `Waker::noop()` usage.Kevin Reid-12/+6
2024-01-11std: update miri testsjoboet-28/+28
2024-01-09Rollup merge of #117556 - obeis:static-mut-ref-lint, r=davidtwcoGuillaume Gomez-0/+7
2024-01-07Update test for `E0796` and `static_mut_ref` lintObei Sideg-0/+7
2024-01-07Auto merge of #3256 - RalfJung:rounding, r=RalfJungbors-158/+169
2024-01-06Sometimes return the same AllocId for a ConstAllocationBen Kimock-0/+38
2024-01-06these should be exactRalf Jung-8/+8
2024-01-06merge intrinsics-math into float testsRalf Jung-166/+161
2024-01-06implement the rounding intrinsics using apfloat roundingRalf Jung-1/+17
2024-01-06fmtThe Miri Conjob Bot-2/+11
2024-01-05Auto merge of #118297 - shepmaster:warn-dead-tuple-fields, r=WaffleLapkinbors-23/+23
2024-01-04Rollup merge of #119574 - RalfJung:miri, r=oli-obkMatthias Krüger-80/+286
2024-01-04miri: do not forward RUSTFLAGS to deps buildRalf Jung-0/+2
2024-01-02Allow unused tuple struct fields in Miri testsJake Goulding-23/+23
2023-12-30Auto merge of #3239 - beepster4096:windows_sys_tests, r=RalfJungbors-80/+48
2023-12-29undo some lockfile changes, add explicit types to testsDrMeepster-65/+47
2023-12-28Fix integer overflow ICEs from round_up_to_next_multiple_ofBen Kimock-0/+21
2023-12-28Auto merge of #3244 - RalfJung:nan-nondet, r=RalfJungbors-0/+194
2023-12-28don't test unspecified caseRalf Jung-22/+0
2023-12-28NaN non-determinism for SIMD intrinsicsRalf Jung-1/+57
2023-12-28add NaN-nondet to libm functionsRalf Jung-0/+40
2023-12-28make float intrinsics return non-deterministic NaNRalf Jung-0/+98
2023-12-28Support for tempfile crate on UNIX hostsPointerbender-0/+21
2023-12-27fast_math: detect non-finite resultsRalf Jung-0/+22
2023-12-26custom mir: make it clear what the return block isRalf Jung-31/+31
2023-12-25have windows tests use windows-sysDrMeepster-100/+86
2023-12-22implement and test simd_masked_load and simd_masked_storeRalf Jung-0/+24
2023-12-22simd_scatter/gather: test OOB cases and the order of writesRalf Jung-6/+39
2023-12-21Merge from rustcRalf Jung-0/+33
2023-12-20Auto merge of #119037 - RalfJung:repr-c-abi-mismatch, r=scottmcmbors-0/+33
2023-12-18Auto merge of #3220 - saethlin:strict-mmap, r=RalfJungbors-102/+13
2023-12-18Auto merge of #3221 - RalfJung:edition, r=RalfJungbors-1/+1
2023-12-17Make mmap not use expose semanticsBen Kimock-102/+13
2023-12-17do not allow ABI mismatches inside repr(C) typesRalf Jung-0/+33
2023-12-16Visit the AllocIds and BorTags in borrow state FrameExtraBen Kimock-0/+17
2023-12-15Auto merge of #3226 - saethlin:deadpool-test, r=RalfJungbors-0/+16