about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-01-06Sometimes return the same AllocId for a ConstAllocationBen Kimock-2/+88
2024-01-06cargo updateRalf Jung-355/+493
2024-01-06./miri build: also build tests, to avoid rebuilds laterRalf Jung-6/+4
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-23/+47
2024-01-06fmtThe Miri Conjob Bot-2/+11
2024-01-06Merge from rustcThe Miri Conjob Bot-25/+25
2024-01-06Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2024-01-05remove redundant cloneMatthias Krüger-1/+1
2024-01-05Rollup merge of #119538 - nnethercote:cleanup-errors-5, r=compiler-errorsMichael Goulet-2/+2
2024-01-05Merge from rustcThe Miri Conjob Bot-31/+33
2024-01-05Preparing for merge from rustcThe Miri Conjob Bot-1/+1
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-308/+765
2024-01-04miri: do not forward RUSTFLAGS to deps buildRalf Jung-0/+2
2024-01-04Remove `is_lint` field from `Level::Error`.Nicholas Nethercote-1/+1
2024-01-03Rename some `Diagnostic` setters.Nicholas Nethercote-1/+1
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/+52
2023-12-29undo some lockfile changes, add explicit types to testsDrMeepster-109/+91
2023-12-28Fix integer overflow ICEs from round_up_to_next_multiple_ofBen Kimock-17/+44
2023-12-28Auto merge of #3244 - RalfJung:nan-nondet, r=RalfJungbors-197/+488
2023-12-28don't test unspecified caseRalf Jung-22/+0
2023-12-28NaN non-determinism for SIMD intrinsicsRalf Jung-75/+145
2023-12-28add NaN-nondet to libm functionsRalf Jung-47/+101
2023-12-28make float intrinsics return non-deterministic NaNRalf Jung-75/+238
2023-12-27Auto merge of #3240 - Jefffrey:tempfile, r=RalfJungbors-16/+181
2023-12-28Support for tempfile crate on UNIX hostsPointerbender-16/+181
2023-12-27fast_math: detect non-finite resultsRalf Jung-1/+27
2023-12-26custom mir: make it clear what the return block isRalf Jung-31/+31
2023-12-26Merge from rustcThe Miri Conjob Bot-16/+16
2023-12-26Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-12-25have windows tests use windows-sysDrMeepster-156/+212
2023-12-24Merge from rustcThe Miri Conjob Bot-6/+7
2023-12-24Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-12-24Remove more `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-15/+15
2023-12-22Rollup merge of #119171 - nnethercote:cleanup-errors-4, r=compiler-errorsMichael Goulet-5/+7
2023-12-23Remove all uses of `DiagnosticBuilder::forget_guarantee()`.Nicholas Nethercote-5/+7
2023-12-22implement and test simd_masked_load and simd_masked_storeRalf Jung-0/+72
2023-12-22simd_scatter/gather: test OOB cases and the order of writesRalf Jung-6/+39
2023-12-22update cfg(bootstrap)sPietro Albini-1/+0
2023-12-21Merge from rustcRalf Jung-0/+33
2023-12-21Preparing for merge from rustcRalf Jung-1/+1
2023-12-21another trophyRalf Jung-0/+1
2023-12-20Auto merge of #119037 - RalfJung:repr-c-abi-mismatch, r=scottmcmbors-0/+33
2023-12-19Merge from rustcThe Miri Conjob Bot-13/+13
2023-12-19Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-12-18Auto merge of #3220 - saethlin:strict-mmap, r=RalfJungbors-138/+29