about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-06-19Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-06-18Remove redundant argument from `subdiagnostic` methodOli Scherer-1/+1
2024-06-18Merge from rustcThe Miri Cronjob Bot-1/+1
2024-06-18Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-06-17Rollup merge of #126567 - compiler-errors:instance-kind, r=oli-obk,lcnrMatthias Krüger-1/+1
2024-06-17Auto merge of #3683 - RalfJung:MIRIFLAGS, r=RalfJungbors-81/+52
2024-06-17tell people how to set miri flagsRalf Jung-81/+52
2024-06-17Auto merge of #3681 - rust-lang:rustup-2024-06-17, r=RalfJungbors-121/+77
2024-06-17show proper UB when making a too large allocation requestRalf Jung-26/+59
2024-06-17Merge from rustcThe Miri Cronjob Bot-120/+76
2024-06-17Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-06-16Rename InstanceDef -> InstanceKindMichael Goulet-1/+1
2024-06-16std: move `sys_common::backtrace` to `sys`joboet-17/+17
2024-06-15std: refactor the TLS implementationjoboet-3/+3
2024-06-15Auto merge of #126518 - matthiaskrgr:rollup-wb70rzq, r=matthiaskrgrbors-101/+56
2024-06-15Rollup merge of #126512 - RalfJung:miri-sync, r=RalfJungMatthias Krüger-152/+1522
2024-06-15Auto merge of #3672 - RalfJung:cargo-many-seeds, r=RalfJungbors-107/+174
2024-06-14Add `f16` and `f128` support to MiriTrevor Gross-101/+56
2024-06-14add Miri testsRalf Jung-0/+61
2024-06-13Auto merge of #3622 - TDecking:sse4_2, r=RalfJungbors-0/+949
2024-06-13document --many-seeds; set the default range to 0..64Ralf Jung-20/+20
2024-06-13cargo miri: add support for '--many-seeds' to run the program / tests many ti...Ralf Jung-88/+155
2024-06-13add some more CRC testsRalf Jung-0/+20
2024-06-13Implement LLVM x86 SSE4.2 intrinsicsTobias Decking-0/+929
2024-06-13Fix socketpair and epoll_create1's throw_unsup_format wordingtiif-7/+10
2024-06-13fmtThe Miri Cronjob Bot-6/+12
2024-06-13Merge from rustcThe Miri Cronjob Bot-2/+167
2024-06-13Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-06-12Rollup merge of #126328 - RalfJung:is_none_or, r=workingjubileeJubilee-2/+3
2024-06-12use is_none_or in some places in the compilerRalf Jung-2/+3
2024-06-12Rollup merge of #126232 - RalfJung:dyn-trait-equality, r=oli-obkGuillaume Gomez-2/+42
2024-06-11interpret: ensure we check bool/char for validity when they are used in a castRalf Jung-0/+125
2024-06-11interpret: dyn trait metadata check: equate traits in a proper wayRalf Jung-0/+40
2024-06-11check for correct trait in size_and_align_ofRalf Jung-2/+2
2024-06-11use strict_ instead of checked_ in a few more placesRalf Jung-15/+11
2024-06-11fmtRalf Jung-4/+2
2024-06-11Merge from rustcRalf Jung-4/+24
2024-06-11Preparing for merge from rustcRalf Jung-1/+1
2024-06-10Rollup merge of #126184 - RalfJung:interpret-simd-nonpow2, r=oli-obkMatthias Krüger-0/+21
2024-06-10Rollup merge of #126159 - RalfJung:scalarint-size-mismatch, r=oli-obkMatthias Krüger-4/+3
2024-06-10Add socketpair shimtiif-15/+366
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-4/+3
2024-06-09Follow up fix for eventfd shimtiif-23/+30
2024-06-09don't panic if time computaton overflowsRalf Jung-67/+102
2024-06-09Auto merge of #3653 - tiif:bug/futex_ice, r=RalfJungbors-8/+20
2024-06-09Run cargo fmttiif-1/+4
2024-06-09Saturate to u64::MAXtiif-1/+2
2024-06-09Checked add for duration updatebyt-1/+1
2024-06-09Add comment for u128 to u64 conversion.byt-0/+2
2024-06-09Move duration division outtiif-5/+3