about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2023-10-20Merge from rustcRalf Jung-1/+1
2023-10-20Preparing for merge from rustcRalf Jung-1/+1
2023-10-19clarify commentRalf Jung-3/+7
2023-10-19remove allocations from int_to_ptr_map and exposed when they get freedRalf Jung-16/+35
2023-10-19switch intptrcast to helper trait pattern like everything elseRalf Jung-88/+87
2023-10-19intptrcast: only find strictly in-bounds pointers when we are not hitting the...Ralf Jung-2/+5
2023-10-19fmtRalf Jung-4/+1
2023-10-19Auto merge of #115214 - Urgau:rfc-3127-trim-paths, r=compiler-errorsbors-1/+1
2023-10-19Merge from rustcRalf Jung-25/+48
2023-10-19Preparing for merge from rustcRalf Jung-1/+1
2023-10-19Rollup merge of #116650 - RalfJung:miri-intptrcast, r=oli-obkMatthias Krüger-25/+48
2023-10-18Bump rustix from 0.38.17 to 0.38.19 in /miri-scriptdependabot[bot]-2/+2
2023-10-18Bump rustix from 0.38.17 to 0.38.19 in /cargo-miridependabot[bot]-2/+2
2023-10-18Bump rustix from 0.38.17 to 0.38.19dependabot[bot]-2/+2
2023-10-17Auto merge of #3124 - eduardosm:fix-sse41-round, r=RalfJungbors-5/+64
2023-10-17Fix rounding mode check in SSE4.1 round functionsEduardo Sánchez Muñoz-5/+64
2023-10-17[RFC 3127 - Trim Paths]: Fix building tools (rustdoc, clippy, ...)Urgau-1/+1
2023-10-17fmtThe Miri Conjob Bot-49/+14
2023-10-17Merge from rustcThe Miri Conjob Bot-297/+393
2023-10-17Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-10-16triagebot: re-enable merge commit checkRalf Jung-4/+3
2023-10-15Auto merge of #3118 - eduardosm:intrinsics-x86-sse41, r=RalfJungbors-0/+581
2023-10-15Implement `llvm.x86.sse41.*` intrinsicsEduardo Sánchez Muñoz-0/+581
2023-10-15separate bounds-check from alignment checkRalf Jung-24/+13
2023-10-15more precise error for 'based on misaligned pointer' caseRalf Jung-50/+55
2023-10-15place evaluation: require the original pointer to be aligned if an access hap...Ralf Jung-8/+55
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-220/+264
2023-10-14Rollup merge of #116576 - eduardosm:const-eval-wasm-target-features, r=RalfJungGuillaume Gomez-2/+13
2023-10-14const-eval: allow calling functions with targat features disabled at compile ...Eduardo Sánchez Muñoz-2/+13
2023-10-14Merge from rustcThe Miri Conjob Bot-16/+2
2023-10-14Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-10-14Auto merge of #115524 - RalfJung:misalign, r=wesleywiserbors-16/+2
2023-10-13Clean up unchecked_math, separate out unchecked_shiftsltdk-2/+2
2023-10-13doc comment for Provenance::WildcardRalf Jung-0/+18
2023-10-13add some comments and some cleanup around Miri intptrcastRalf Jung-25/+30
2023-10-12Fix identation of a `rustfmt::skip`ed statementEduardo Sánchez Muñoz-6/+6
2023-10-12Remove from miri LLVM intrinsics that are no longer neededEduardo Sánchez Muñoz-220/+1
2023-10-12fmtRalf Jung-6/+6
2023-10-12Merge from rustcRalf Jung-20/+480
2023-10-12Preparing for merge from rustcRalf Jung-1/+1
2023-10-10avoid confusing loop in catch_panic testRalf Jung-5/+6
2023-10-09Auto merge of #3101 - eduardosm:x86-aes-intrinsics, r=RalfJungbors-0/+539
2023-10-09Implement `llvm.x86.aesni.*` intrinsicsEduardo Sánchez Muñoz-0/+539
2023-10-09return_pointer_aliasing2 should also run with SBRalf Jung-2/+45
2023-10-09add test to ensure RET assignments do not get propagated on unwindingRalf Jung-0/+74
2023-10-09add test for self-assignment on call through referenceRalf Jung-0/+16
2023-10-09float-to-float casts also have non-deterministic NaN resultsRalf Jung-10/+121
2023-10-09ensure unary minus propagates NaN payloads exactlyRalf Jung-0/+8
2023-10-08miri: make NaN generation non-deterministicRalf Jung-20/+361
2023-10-07Merge from rustcThe Miri Conjob Bot-2/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 16:31:34 +0000